Diogenesian

7 ms·

1.
by Diogenesian 2mo ago
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 ha
2.
by Diogenesian 2mo ago
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.
3.
by Diogenesian 2mo ago
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 OpenAI’s technical
4.
by Diogenesian 2mo ago
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 collateral on the li
5.
by Diogenesian 2mo ago
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 inability of the
6.
by Diogenesian 2mo ago
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 for compiler chicanery
7.
by Diogenesian 2mo ago
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 cure for a pandem
8.
by Diogenesian 2mo ago
I don't think open-weight models are what motivated these specific comments. It's a way of deflecting OpenAI's failure with HuggingFace/etc as a natural consequence of powerful AI instead of a specific problem with OpenA
9.
by Diogenesian 2mo ago
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 that comput
10.
by Diogenesian 2mo ago
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 for new residenti
11.
by Diogenesian 2mo ago
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 subjec
12.
by Diogenesian 2mo ago
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 langu
13.
by Diogenesian 2mo ago
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 smaller:
14.
by Diogenesian 2mo ago
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.
15.
by Diogenesian 2mo ago
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 "m
16.
by Diogenesian 2mo ago
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 work—effectively cutting it
17.
by Diogenesian 2mo ago
I don't think this is AI-generated. It is focused and direct. It reads like anodyne albeit totally human academic manager writing.
18.
by Diogenesian 2mo ago
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
19.
by Diogenesian 2mo ago
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 garage set up a w
20.
by Diogenesian 2mo ago
I think footnote 16 on pg 12 clarifies his view.
21.
by Diogenesian 2mo ago
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.
22.
by Diogenesian 2mo ago
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, despite totally lacki
23.
by Diogenesian 2mo ago
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
24.
by Diogenesian 2mo ago
Right, the whole point of bees as insect pollinators (reflecting that they are recent evolutionary line) is that they are by a healthy margin the most intelligent arthropod. They will inspect then successfully pollinate anything floral over
25.
by Diogenesian 2mo ago
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 metallurgy could be
26.
by Diogenesian 2mo ago
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: https://en.wikipedia.org/wiki/Ok
27.
by Diogenesian 2mo ago
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 political/ideolog
28.
by Diogenesian 2mo ago
Responding to you again to tell you to stop making personal attacks. I flagged your other comment. Stuff like this is why people leave HN. It seems like me insisting that LLMs are stochastic parrots [presumably that's what you're
29.
by Diogenesian 2mo ago
"narcissistic rando" half of these replies are making personal attacks. Knock it off.
30.
by Diogenesian 2mo ago
I answered this several times in the thread: almost every book is out of print, including some of my favorites. I would be much more stupid and boring if I only read new books. And of course indicates why scribbling in a book is so terrible

More ›