baanist

5 ms·

1.
by baanist 2y ago
I doubt you are going to change anyone's mind on this who is already convinced that computers can think and reason and all that's required is the right sequence of numbers. Moreover, the internet is awash with bots and AIs working
2.
How Net Zero Killed 1.5C [video](youtube.com)
1 points by baanist 2y ago|0 comments
3.
There Is No Energy Transition – Interview with Mark Mills [video](youtube.com)
1 points by baanist 2y ago|0 comments
4.
by baanist 2y ago
Most of what you've said is true but what exactly does it mean to "break barriers"? We can not escape the laws of chemistry, physics, and thermodynamics because we live on a compact manifold with finite resources which must b
5.
BP abandons goal to cut oil output, resets strategy(reuters.com)
77 points by baanist 2y ago|86 comments
6.
by baanist 2y ago
Like most things in software the use cases are the limits of one's imagination. The browser has always been a Turing complete development environment so this is just another demonstration.
7.
by baanist 2y ago
Type Theory and Formal Proof ( https://www.cambridge.org/core/books/type-theory-and-formal-... )
8.
by baanist 2y ago
I think it has already started¹. 1: https://neurosciencenews.com/microplastics-brain-health-2779...
9.
by baanist 2y ago
It's easier to take drugs even if it costs a lot of money.
10.
Physicists Pinpoint the Quantum Origin of the Greenhouse Effect(quantamagazine.org)
4 points by baanist 2y ago|0 comments
11.
by baanist 2y ago
Neural networks are Turing complete, i.e. there is a universal neural network that can compute any effectively computable function¹. Incidentally, when this is combined with Rice's theorem² it means that safety research is essentially
12.
by baanist 2y ago
I thought the whole point of neural networks was that they were good at searching through these spaces. I'm pretty sure OpenAI is pruning their models behind the scenes to reduce their costs because that's the only way they can ke
13.
by baanist 2y ago
Why aren't AI researchers automating the search for efficient architectures?
14.
by baanist 2y ago
No need to get angry and sarcastic.
15.
by baanist 2y ago
Are all fruit fry brains the same? Does anyone know what has actually been mapped and why it would generalize from one fruit fly to the next?
16.
by baanist 2y ago
He was right that scaling would not achieve abstract reasoning and he's been right so far on basically every new hyped development. The closed research labs like OpenAI are hoping to reduce all the gaps in their models by constantly pa
17.
by baanist 2y ago
These algorithms are not capable of symbolic reasoning and abstract interpretation. The most obvious demonstration of this is that no algorithm on the market currently can solve sudoku puzzles even though they have spent billions of dollars
18.
by baanist 2y ago
I don't have any subscriptions to the latest models but what improvements have you noticed in scaling and language understanding? Last I checked people were still discussing "9.9 > 9.1" and "How many 'r's ar
19.
by baanist 2y ago
What is he wrong about?
20.
by baanist 2y ago
I think he does a pretty good job of it. I know who he is and I read what he has to say on all the latest hype trends in AI.
21.
Benevolent Artificial Anti-Natalism (BAAN) (2017)(edge.org)
3 points by baanist 2y ago|1 comments