mathematically

5 ms·

1.
On advertising and what it does to us(niklasblog.com)
3 points by mathematically 5y ago|1 comments
2.
by mathematically 5y ago
> Part of me even thinks it’s a more straightforward “data science”-problem when you ask the user what they want instead of playing the guessing game with tensors. Instead of worrying about an optimal recommendation, maybe there’s someth
3.
by mathematically 5y ago
We're not actually and assuming that is the case is why we're in the mess we're in right now facing an existential risk from global warming and potential ecological collapse.
4.
An Ecology of Ideas(nickburdick.substack.com)
1 points by mathematically 5y ago|0 comments
5.
by mathematically 5y ago
Yes, that's the usual assumption when working with Turing machines and proofs. But I guess you could also allow infinite inputs and it wouldn't make that much difference, e.g. computing exp(x) for some real x as input.
6.
by mathematically 5y ago
It's very fun. Thanks for putting it together.
7.
by mathematically 5y ago
Yup, transposition error.
8.
by mathematically 5y ago
Related: https://theanarchistlibrary.org/library/david-graeber-after-... . It's cool to see people waking up and getting organized.
9.
by mathematically 5y ago
Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.
10.
by mathematically 5y ago
I mean by looking at the source code for the neural network someone can give an upper bound on how many steps will be required before the entire network halts and gives an answer and they can prove that their upper bound is really an upper
11.
by mathematically 5y ago
Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.
12.
by mathematically 5y ago
At the rate things are going large parts of India will become uninhabitable: https://phys.org/news/2021-06-india-climate.html , https://www.dw.com/en/india-climate-change-ipcc/a-58822174 . Simi
13.
Propositional logic exercises with the lean theorem prover(github.com)
54 points by mathematically 5y ago|8 comments
14.
by mathematically 5y ago
So then in the statement of the theorem the agent A can determine how many cycles the unit will run before halting, correct?
15.
Every Model Learned by Gradient Descent Is Approximately a Kernel Machine(medium.com)
13 points by mathematically 5y ago|0 comments
16.
by mathematically 5y ago
So how do you get a value out of an LSTM?
17.
by mathematically 5y ago
Ya, it's not looking good.
18.
by mathematically 5y ago
Have you read the referenced article?
19.
by mathematically 5y ago
Unrelated to the article but I ran across an interesting result recently that is related to AI (and the hype surrounding it): Let A be an agent and let S be a Turing machine deductive system. If A correctly understands S, then A can correct
20.
Knowledge does not protect against illusory truth(psycnet.apa.org)
2 points by mathematically 5y ago|0 comments
21.
by mathematically 5y ago
Direct link: https://www.city-journal.org/california-switch-to-primarily-... Really nice analysis of the non-viability of wind and solar: > Such realities expose the silliness of the oft-repeated claim that solar or wind
22.
by mathematically 5y ago
2 years and still recovering.
23.
Minds and Machines(springer.com)
1 points by mathematically 5y ago|0 comments
24.
by mathematically 5y ago
Good example. TypeScript is a great language.
25.
Arctic Azolla Event(theazollafoundation.org)
2 points by mathematically 5y ago|0 comments
26.
Biological Batteries (1995)(elasmo-research.org)
32 points by mathematically 5y ago|4 comments
27.
Conspiracy Theories: Evolved Functions and Psychological Mechanisms(firebasestorage.googleapis.com)
3 points by mathematically 5y ago|0 comments
28.
Adventures in Category Theory – The algebra of types (2018)(miklos-martin.github.io)
66 points by mathematically 5y ago|12 comments
29.
The Dawn of Cybernetic Civilization(permaculturenews.org)
7 points by mathematically 5y ago|2 comments
30.
Scala 3: Introduction(docs.scala-lang.org)
3 points by mathematically 5y ago|0 comments

More ›