Thariq wrote "personal software was a bit early in 2020 but in 2026, it really can be as personal as a home cooked meal, or a handwritten letter." Excuse me??? Vibe-coding personal software is not a homecooked meal or a…
Even in early 2023 people were talking about this as a use case for ChatGPT copy-paste coding. Arvind Naranyan (AI As Normal Technology) used it to build edutainment applets for his kids.
What an asshole: On the other side of the AI-reasoning fence, the disdain seems to be mutual. “These ‘scientific’ papers from last summer — I would put this in big, big air quotes,” said Sébastien Bubeck, a member of…
I strongly suspect it's closer to the latter; CNBC says they had to sell rapidly to meet margin requirements and it couldn't be confirmed if they actually succeeded. Suggests there was a lot more than $250m in…
Hmm, fair enough - I checked Wikipedia. My mind completely erased the "sophon" bit or whatever it was called, it just got erased again. Not a fan of that particular fairy dust. I thought they were referring to the…
But I think this has to be judged against an adversarial influx of LLM-assisted pseudomathematics slop vendors. A sorry-free proof in Lean (or Rocq!) whose top-level types check out is not good enough. You gotta check…
I believe the alien scientists were depressed by the guaranteed collapse of their civilization, not the difficulty of certain differential equations. So it's more like a doctor getting weird results while working on a…
The problem is that this doesn't distinguish LLMs from other forms of software! The whole point of computers is to offload tasks requiring reasoning, and they've always helped us understand complex nonlinear systems is…
It's plausible quite a few smaller datacenters have modern engineered wood frames. Wood is pretty high-tech these days. Engineered wood is cheap, lightweight, preserves as well as reinforced concrete, and increasingly…
But bugs like this aren't because natural language is ambiguous, it's because the LLM/etc has inadequate safeguards against unambiguously malicious text. If LLMs were capable of understanding human language and only…
Philosophically no, but that shouldn't be a distraction from the issue with LLMs. This really is closer to "Outlook runs an untrusted VBA macro" than "intelligent entity gets confused by inherent ambiguity in human…
No, it's an honest thing to say. If you're not able to read a graduate-level textbook and teach yourself category theory then you don't have the mathematical maturity to understand category theory. You need to start…
To be fair I think Cherny is high on his own supply, not cynically trying to sell us something. He is absolutely stoked that Claude Code is an overengineered piece of junk he doesn't understand.
I believe if you need a human tutor to understand category theory or Lean then you don't have the requiste math/CS background, and a human/LLM tutor won't be able to meaningfully teach you anything. Note I said…
This seems like a bit of an overstatement: Despite HAWK having survived two rounds of expert human review over a period of two years, Mythos was able to improve the best-known attack on it in just 60 hours of…
I don't think this is AI-generated. It is focused and direct. It reads like anodyne albeit totally human academic manager writing.
I don't think it makes sense to say anything except "computable real" - the computable / uncomputable distinction seems totally immaterial for the purposes of most real analysis, or even "pathological" topology and set…
It has always been ridiculous to suppose that some organization spent $500m on a microbiology / genetics lab, but ran out of money for scientists, so they have to ask Claude what to do. Or OTOH to suppose a guy in his…
I think footnote 16 on pg 12 clarifies his view.
It is too late for the current crop of university students. Most of them should have never graduated middle school. The failure is very deep.
I think there are a lot of serious problems with this article but don't necessarily disagree with the conclusion, as such. I do think robots and whatnot might be conscious some day. (I am a bit outraged that LLMs,…
Are they? They are smarter than web-spinning spiders but I've never read anything suggesting they are smarter than bees. https://www.nature.com/articles/nrn3357
The first part of your comment seems to be replying to a pure strawman, and missing the point of my argument. My point was even small natural reactors leave very obvious evidence, so it seems like a city's worth of…
The exception that proves the rule is a nuclear reactor from Gabon that dates to 1.7bn years ago... and which was clearly natural, a uranium-rich cave got flooded and went supercritical:…
I actually do read them. Not in severe detail, but not casually either. 150 pages is really not very long and there doesn't seem to be too much bloat. (I would cut out the moral personhood stuff but that's a…
Thariq wrote "personal software was a bit early in 2020 but in 2026, it really can be as personal as a home cooked meal, or a handwritten letter." Excuse me??? Vibe-coding personal software is not a homecooked meal or a…
Even in early 2023 people were talking about this as a use case for ChatGPT copy-paste coding. Arvind Naranyan (AI As Normal Technology) used it to build edutainment applets for his kids.
What an asshole: On the other side of the AI-reasoning fence, the disdain seems to be mutual. “These ‘scientific’ papers from last summer — I would put this in big, big air quotes,” said Sébastien Bubeck, a member of…
I strongly suspect it's closer to the latter; CNBC says they had to sell rapidly to meet margin requirements and it couldn't be confirmed if they actually succeeded. Suggests there was a lot more than $250m in…
Hmm, fair enough - I checked Wikipedia. My mind completely erased the "sophon" bit or whatever it was called, it just got erased again. Not a fan of that particular fairy dust. I thought they were referring to the…
But I think this has to be judged against an adversarial influx of LLM-assisted pseudomathematics slop vendors. A sorry-free proof in Lean (or Rocq!) whose top-level types check out is not good enough. You gotta check…
I believe the alien scientists were depressed by the guaranteed collapse of their civilization, not the difficulty of certain differential equations. So it's more like a doctor getting weird results while working on a…
The problem is that this doesn't distinguish LLMs from other forms of software! The whole point of computers is to offload tasks requiring reasoning, and they've always helped us understand complex nonlinear systems is…
It's plausible quite a few smaller datacenters have modern engineered wood frames. Wood is pretty high-tech these days. Engineered wood is cheap, lightweight, preserves as well as reinforced concrete, and increasingly…
But bugs like this aren't because natural language is ambiguous, it's because the LLM/etc has inadequate safeguards against unambiguously malicious text. If LLMs were capable of understanding human language and only…
Philosophically no, but that shouldn't be a distraction from the issue with LLMs. This really is closer to "Outlook runs an untrusted VBA macro" than "intelligent entity gets confused by inherent ambiguity in human…
No, it's an honest thing to say. If you're not able to read a graduate-level textbook and teach yourself category theory then you don't have the mathematical maturity to understand category theory. You need to start…
To be fair I think Cherny is high on his own supply, not cynically trying to sell us something. He is absolutely stoked that Claude Code is an overengineered piece of junk he doesn't understand.
I believe if you need a human tutor to understand category theory or Lean then you don't have the requiste math/CS background, and a human/LLM tutor won't be able to meaningfully teach you anything. Note I said…
This seems like a bit of an overstatement: Despite HAWK having survived two rounds of expert human review over a period of two years, Mythos was able to improve the best-known attack on it in just 60 hours of…
I don't think this is AI-generated. It is focused and direct. It reads like anodyne albeit totally human academic manager writing.
I don't think it makes sense to say anything except "computable real" - the computable / uncomputable distinction seems totally immaterial for the purposes of most real analysis, or even "pathological" topology and set…
It has always been ridiculous to suppose that some organization spent $500m on a microbiology / genetics lab, but ran out of money for scientists, so they have to ask Claude what to do. Or OTOH to suppose a guy in his…
I think footnote 16 on pg 12 clarifies his view.
It is too late for the current crop of university students. Most of them should have never graduated middle school. The failure is very deep.
I think there are a lot of serious problems with this article but don't necessarily disagree with the conclusion, as such. I do think robots and whatnot might be conscious some day. (I am a bit outraged that LLMs,…
Are they? They are smarter than web-spinning spiders but I've never read anything suggesting they are smarter than bees. https://www.nature.com/articles/nrn3357
The first part of your comment seems to be replying to a pure strawman, and missing the point of my argument. My point was even small natural reactors leave very obvious evidence, so it seems like a city's worth of…
The exception that proves the rule is a nuclear reactor from Gabon that dates to 1.7bn years ago... and which was clearly natural, a uranium-rich cave got flooded and went supercritical:…
I actually do read them. Not in severe detail, but not casually either. 150 pages is really not very long and there doesn't seem to be too much bloat. (I would cut out the moral personhood stuff but that's a…