Viewing profile — Diogenesian

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…

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 hi…

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,…

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…

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 t…

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 ou…

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 get…

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 …

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 u…

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 …

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 un…

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 confu…

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…

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…

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 t…

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 atta…

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, o…

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 t…

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…