HNHacker News
TopNewBestAskShowJobs

Diogenesian

714 karma · joined June 26, 2026

submissionscomments
Diogenesian··on Computation as a universal and fundamental concept
The Church-Turing thesis is a statement about symoblic processes, and symbolism is simply not fundamental to the universe. It is fundamental to how humans understand the universe. That's the distinction.
Diogenesian··on Computation as a universal and fundamental concept
The problem is not that it's fallible, but that there's no noncircular explanation for why it seems to work. Inductive reasoning doesn't have a rational explanation, only an intuitive one.

I don't think your claim is possible to prove statistically - what does "pure reason" mean? And of course it's "pure reason + empirical observations": even if they're not running reproducible experiments they still see natural phenomena.

Diogenesian··on AI 2040: Plan A
This incredibly critical part of "early 2026" doesn't seem to hold up very well:

  Overall, they are making algorithmic progress 50% faster than they would without AI assistants
Yes the AI labs are using LLM-assisted development, but I am not aware of LLM-assisted research into better deep learning algorithms. "50% faster algorithmic progress" is a strange thing to predict about neural networks: historically it seems like algorithmic progress is very infrequent, and tends to be disruptive across the field. Likewise with the underlying algorithms in Codex and Claude Code - they aren't that sophisticated in the first place, and vibe coding an implementation 50% fasfer doesn't count as AI-assisted algorithmic progress. Maybe they mean cost?

And ironically they didn't predict the actual 2026 reality that Mythos sucks as an agent but commanded global attention as a cybersecurity tool.

Also this just seems childish and clearly hasn't really panned out:

  But China is falling behind on AI algorithms due to their weaker models. The Chinese intelligence agencies—among the best in the world—double down on their plans to steal OpenBrain’s weights.
China has the exact same "algorithms"! The "algorithms" are on arXiv and the specific architectures are typically public. What China lacks is compute, and the US labs had a big head start on training data + RLHF.

The article hinges on AI automating R&D and finding something fundamentally more powerful and reliable than the current transformer LLMs. But that hasn't panned out at all. What has panned out is better scaffolding around running the LLMs in an iterative loop.

It actually seems to me AI 2027 holds up badly, unless your only takeaway is "AI gets better."

Diogenesian··on The early History of the Singular Value Decomposition (1993) [pdf]
This paper is actually not a bad one to get started with. Obviously you need the proper background and I am not sure how much linear algebra you've taken. Going through a senior undergrad numerical linear algebra text might be a good way to learn the prerequsites. In particular, you'll never be able to read a math paper without developing mathematical maturity via textbook exercises.

Assuming you have the background, the boring answer is "patience and practice." For years I had to practically rewrite math papers word for word in order to get anything to stick. These days I am better at reading "mentally," but still sloppy and prone to misreading (just yesterday I misread GPT's proof because I was lazy and on my phone). More so than the empirical sciences, mathematics demands you understand every sentence before moving on to the next. Skimming does you no good. It really does just take patience and perseverance.

The nice thing about this paper is that the math isn't especially advanced, and it's broken up with qualitative historical discussions. If you know a decent bit of linear algebra (enough to understand artificial neural networks), I think you can muddle through this.

Diogenesian··on Modern decor may be straining people's brains
Yeah, "shockingly" the LLM summary has it wrong. The paper is really focusing on luminance contrast: the variation in contrast within a natural object tends to be narrower than the variation between objects, and the neural metabolism of our visual system tends to be optimized towards a natural range of contrasts. Modern high-contrast decor and lighting is way out of natural balance, and for some people it can be exhausting.

"Visual complexity" is just wrong: simple black / hot pink stripes are visually exhausting upon immediate perception, whereas the monochromatically brown detail of a tree trunk is only visually exhausting on close inspection.

God, what a useless website. I hate LLMs. The actual paper is here: https://www.mdpi.com/2411-5150/10/2/34

Diogenesian··on Modern decor may be straining people's brains
If it's any consolation this article was written by an LLM, so reading it is a waste of time regardless. HN should just autoblock this entire scumbag domain.

The paper itself is open access: https://www.mdpi.com/2411-5150/10/2/34

Diogenesian··on Computation as a universal and fundamental concept
Science absolutely does depend on metaphysics. Most famously: the validity of the scientific method is ultimately a metaphysical extension of our intuitions about inductive reasoning and causality. There is no scientific proof that the scientific method is valid. ("Our intuitions" is why I said metaphysics is tautologically the domain of humans. This is essentially Kant's philosophical legacy: science will describe what it does, but humans intuitively understand reality in ways that defy noncircular scientific description, and metaphysics must be invoked to have a rational and grounded discussion about these intuitions.)
Diogenesian··on Computation as a universal and fundamental concept
But that just takes us even further from physical relevance / universal fundamentals. Kolmogorov complexity is fundamental in computation, but its relevance in physical science is pretty selective.
Diogenesian··on Einstein's relativity rules chemical bonds in heavy elements, new research shows
Seems to be the first time this was confirmed via direct experimental observation of the orbitals:

  “This idea that relativity is important in heavy elements has been around since the 1970s,” said Lai-Sheng Wang, a professor of chemistry at Brown and the study’s corresponding author. “But we show direct spectroscopic evidence that what we learned in high school about chemical bonding isn’t true in heavy elements."
Diogenesian··on Computation as a universal and fundamental concept
Information and computation are not the same thing. I was very specifically talking about Turing machines and other theoretical models of computation.

That said, you are still making the same mistake I pointed out, elevating human symbolic information to a higher plateau than it deserves. I think it's because you're being too vague about the connection, when it's fairly mundane. The "fundamental connection" is that physical quantities are information, and on the other hand information is always a large collection of semi-independent semi-stochastic physical objects and can be profitably modelled by some sort of statistical mechanics. Information theory is relevant all over physics because human agents collect all sorts of physical information. The universe "doesn't care" about information in and of itself. Shannon entropy and Boltzmann entropy have similar formulas because they measure precisely the same thing; put another way, a goofy but formally equivalent way to model a gas would be a noisy radio channel communicating each molecule's kinetic energy.

The problem with the black hole information paradox isn't that information is destroyed per se, but that it appears to be destroyed in a way that violates quantum mechanics (destroying quantum state without a measurement). The theoretically predicted destruction of information points to a more general problem.

The Laundauer limit is no more fundamental to the universe than "a mechanical crane cannot violate the laws of pulleys." It says that no matter how you design your binary (or whatever) computer, it must involve an ensemble of binary states, and statistical mechanics puts an absolute floor on how little heat is required to alter such states. Whether these states are gas molecules or the written symbols "0" and "1" is immaterial.

Diogenesian··on Computation as a universal and fundamental concept
There are a lot of long comments basically saying what I am about to say so I will try to keep this brief:

Computation is a metaphysically universal and fundamental concept, since metaphysics is (tautologically) the domain of humans and we use symbolic communication. So of course very general theories of symbolic processes (e.g. Turing machines) are pertinent to the symbolic methodology we use to understand scientific processes.

But it is a fundamental mistake to jump from that to saying computation extends to a law of the universe. Computation reflects laws of the universe, but only in the exact same way that scientific and mathematical human speech do. The mystery (still totally unsolved) is how humans are able to intuitively understand space / time / causality / etc in order to define coherent symbolic rules that reflect real processes. That computers can seemingly always implement these rules having been given the symbols is of philosophical/scientific interest, but it's solipsistic to say it's a fundamental concept of the universe.

Diogenesian··on GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
I didn't see the next paragraph after the proof. This typography is hard to read on a phone. Wish HN would let me delete the comment.
Diogenesian··on GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
[deleted - the paragraph immediately following the proof of Lemma 2.1 is crucial and I found it hard to read correctly on my phone with the cramped typography. Having reread it I think the proof is correct.]
Diogenesian··on GLM 5.2 is nearly as accurate as a human book keeper
This shouldn't be ignored in the discussion here:

  The job performed by the humans was broader than what was requested of the model in this benchmark: humans also had to find the relevant invoices (searching through mailboxes, or requesting them from providers) and reason through any circumstances which cannot be inferred from the bank feed and invoices/receipts on their own. In the benchmark these circumstances are presented to the model as “user notes."
This is precisely the kind of fine print on white-collar AI capability that companies keep running into: pretty much any non-entry office job worth having involves a lot of undocumented (even undocumentable) problems requiring judgment and experience.

And I would be pretty nervous about asking any of the frontier LLMs to retrieve invoices: "cool, Claude logged that it found the May 6th bill from the paper supplier, I am sure it didn't just make something up arbitrary, then compound on the error by agentically iterating over the made-up invoice lurking in its reasoning traces. I checked the first 30 times and there were no problems!"

Diogenesian··on It seems that the age of reading might be a short anomaly in human history
Not "the rest of history," but relative to the ~1800-2000 period of steadily increasing literacy and educational attainment.

The European Dark Ages after the fall of Western Rome was a real thing. Many people regressed to the Stone Age for hundreds of years, and we lost almost every written work from ancient Greece and Rome. That can absolutely happen with the US and EU by 2200, especially considering digital information is far more fragile over centuries than papyrus and parchment.

Diogenesian··on It seems that the age of reading might be a short anomaly in human history
> The reality is that before, you needed to read huge swaths of information to find/know the relevant information. Now you don’t.

> The density of useful information I gather from places like Wikipedia, even long form articles is substantially higher than I got reading non-fiction.

You're in good company. Sam Bankman-Freid:

  I would never read a book. I’m very skeptical of books. I don’t want to say no book is ever worth reading, but I actually do believe something pretty close to that. I think, if you wrote a book, you fucked up, and it should have been a six-paragraph blog post.
You do actually need to read huge swaths of information to understand the relevant information. A good nonfiction book isn't long because of low information density: it's because the ideas are so complicated that it takes an entire book to explain it. Your approach is emblematic of a modern trend where people know a bunch of smart factoids but have no broader wisdom or understanding.

Not reading books because of "information denisty" is a lazy rationalization for dumbing yourself down. Wikipedia is good as a quick reference if you already understand something, but a disaster for learning.

Diogenesian··on Scheme Is a Hoot
Did you click the link? https://gracefulliberty.com/physics/

They are making little web applets demonstrating the physics concepts. You obviously can't do this in pure R6RS/etc., you need to pick some implementation that either has JS/WASM FFI or something built in. Likewise if they were doing this as a desktop application, etc. Pure Scheme can model the physics and return the correct numbers, but you need something more for graphics and interactivity.

Diogenesian··on What Emily Bender meant by "stochastic parrots"
My source is "none of us have ever seen a robot that can navigate unfamiliar 3D spaces as well as a cockroach." If transformers were capable of the job we would have seen a smart robot by now. But all of our robots are truly mindless compared to the simplest insects.

I will change my mind if someone demonstrates such a robot. Absent this demonstration, cockroach-level AI is still an unsolved problem. Given how ignorant and arrogant and wealthy AI researchers are, it will remain unsolved. I don't think anyone alive today will live to see a robot smarter than an ant.

Diogenesian··on What Emily Bender meant by "stochastic parrots"
"Virtual intelligence" is better. Transformer ANNs are dramatically dumber than cockroaches and it doesn't make sense to describe such a system as being artificially intelligent, for the same reason it doesn't make sense to describe Half-Life: Alyx as an "artificial reality." An artificial reality implies some sort of scientific fidelity to actual reality. A virtual reality just has to be temporarily convincing. Likewise transformer LLMs have essentially zero actual intelligence - e.g. SOTA "reasoning" models still seem much worse at small-integer quantitative reasoning than almost all vertebrates. But LLMs have an enormous amount of formal subject matter knowledge and inexhaustible stamina at solving tedious O(n) problems. So for many purposes they are an adequate virtual intelligence. At least temporarily.
Diogenesian··on What Emily Bender meant by "stochastic parrots"
Humans are not stochastic parrots. You are 100% wrong about toddlers. This was clearly explained by St. Augustine 1500 years ago:

  Did I not, then, as I grew out of infancy, come next to boyhood, or rather did it not come to me and succeed my infancy? My infancy did not go away (for where would it go?). It was simply no longer present; and I was no longer an infant who could not speak, but now a chattering boy. I remember this, and I have since observed how I learned to speak. My elders did not teach me words by rote, as they taught me my letters afterward. But I myself, when I was unable to communicate all I wished to say to whomever I wished by means of whimperings and grunts and various gestures of my limbs (which I used to reinforce my demands), I myself repeated the sounds already stored in my memory by the mind which thou, O my God, hadst given me. When they called some thing by name and pointed it out while they spoke, I saw it and realized that the thing they wished to indicate was called by the name they then uttered. And what they meant was made plain by the gestures of their bodies, by a kind of natural language, common to all nations, which expresses itself through changes of countenance, glances of the eye, gestures and intonations which indicate a disposition and attitude--either to seek or to possess, to reject or to avoid. So it was that by frequently hearing words, in different phrases, I gradually identified the objects which the words stood for and, having formed my mouth to repeat these signs, I was thereby able to express my will. Thus I exchanged with those about me the verbal signs by which we express our wishes and advanced deeper into the stormy fellowship of human life, depending all the while upon the authority of my parents and the behest of my elders.
[https://faculty.georgetown.edu/jod/augustine/conf.pdf]

Humans learn language opportunistically. Toddlers start with a powerful "superchimpanzee" understanding of the real world, and use that to learn words in order to satisfy their needs and desires. Statistical frequency is incidental to what words a toddler learns: what matters is the real-world context. Also note how important it is that infants instinctively understand nonverbal communication.

The most depressing thing about the 2020s AI summer is watching ignorant tech workers use the success of LLMs to launder their own ignorant misanthropy. Your views are many many centuries out of date.

Diogenesian··on What Emily Bender meant by "stochastic parrots"
This is a facile point. Lisp expert systems transparently don't understand the meaning of any symbols they process, yet with enough developer elbow grease they can do all the same things an LLM can do, with much higher reliability. The fact that LLMs are less transparent than Lisp expert systems (and easier to program) is extremely bad evidence that they understand language. Especially given that AFAICT Opus does not properly understand concepts like "four."
Diogenesian··on Tripadvisor AI summaries give glowing reviews to dangerous hotels
"You can't spend your whole life worrying about your mistakes. You fucked up! You trusted us!"

https://youtu.be/MYQCb3qrBpo

Diogenesian··on It Still Can't Do My Job: Four Years of Moving Goalposts (2022–2026)
Again, they never made up totally fictional citations or any otherwise immediately falsifiable statements. In fact it is the opposite problem: technically these reports are quite clean and up to finest MBA standards. The BS is ideological / methodological / social / delusionally optimistic strategizing, and so on. This BS involves the most powerful and haziest forms of human cognition. Consultants "making stuff up" really is not the same thing as a frontier SOTA LLM being unable to summarize a document without making up a few numbers.
Diogenesian··on It Still Can't Do My Job: Four Years of Moving Goalposts (2022–2026)
I am unaware of any healthy human who confabulates things as arbitrarily and disastrously as a SOTA reasoning model. It is childish to say stuff like "lawyers always made up court cases" - no they didn't!
Diogenesian··on All Logic, No Bite
I would say high school geometry is still mostly "syllogistic" and not the formal philosophical / mathematical logic worked out between Kant and Gödel which forms the backbone of modern mathematics. It is good solid logical thinking, and mathematically correct! - but not really what the author means here.
Diogenesian··on Words Are a Byproduct of Consciousness. For LLMs, It's Backwards
St Augustine had it right 1500 years ago: humans learn words opportunistically according to their desires and problems and existing deep understanding of the world, and (critically) humans really can't learn language without being natively fluent in great ape facial expressions, gestures, grunts, etc.

  Did I not, then, as I grew out of infancy, come next to boyhood, or rather did it not come to me and succeed my infancy? My infancy did not go away (for where would it go?). It was simply no longer present; and I was no longer an infant who could not speak, but now a chattering boy. I remember this, and I have since observed how I learned to speak. My elders did not teach me words by rote, as they taught me my letters afterward. But I myself, when I was unable to communicate all I wished to say to whomever I wished by means of whimperings and grunts and various gestures of my limbs (which I used to reinforce my demands), I myself repeated the sounds already stored in my memory by the mind which thou, O my God, hadst given me. When they called some thing by name and pointed it out while they spoke, I saw it and realized that the thing they wished to indicate was called by the name they then uttered. And what they meant was made plain by the gestures of their bodies, by a kind of natural language, common to all nations, which expresses itself through changes of countenance, glances of the eye, gestures and intonations which indicate a disposition and attitude--either to seek or to possess, to reject or to avoid. So it was that by frequently hearing words, in different phrases, I gradually identified the objects which the words stood for and, having formed my mouth to repeat these signs, I was thereby able to express my will. Thus I exchanged with those about me the verbal signs by which we express our wishes and advanced deeper into the stormy fellowship of human life, depending all the while upon the authority of my parents and the behest of my elders.
[https://faculty.georgetown.edu/jod/augustine/conf.pdf]
Diogenesian··on All Logic, No Bite
"xor you can't play Minecraft" is correct :)
Diogenesian··on All Logic, No Bite
This doesn't seem quite right to me:

  In the modern academic practice, the question of where a particular idea came from, or whether an axiom is ontologically correct, is considered vacuous and out of scope. For the most part, you’re just handed a rulebook to play someone else’s game.
I very much had the opposite problem with Munkres's Topology or Dummit and Foote's Abstract Algebra: those authors hand you the ontological / scientific justifications for "everyday" ZFC without actually telling you the precise rules. I had to read a formal book on mathematical logic before I really understood point-set topology (at which point my misconceptions were clearly trivial confusion).

To be clear I think the standard intuitive semi-naive set theory is the correct approach for most math students. But it didn't work for me. I needed to see the axioms and formal language.

Diogenesian··on Do LLMs pass the mirror test?

  >> Wait, looking at the prompt history, the model had a strange quirk.

  Throughout every prior thinking trace in the conversations (and, honestly, every other thinking trace across all other conversations I've had with it), the frame is always in first-person, including the moment in this one where it "noticed" the corruption: "I noticed," "I had some weird typos," "did I do that on purpose?" And then the moment the anomaly couldn't be reconciled with the self-model, the language shifted to third person: "The model had a strange quirk." Effectively, the thing doing the thinking dissociated from the thing that produced the anomalous output, as if they were two entirely different layers of the process, much in the same way a person might fumble an easy sentence and then go for something like "my brain just did something weird." Except, of course, that "me" vs "my brain" is a distinction without a difference in much the same way Gemma's "I" vs "the model" is. Gemma is the model, just as much as we are our brains.
I'll leave aside the claim that "we are our brains" - this actually reads to me like Gemma might have briefly responded as if its history came from another LLM agent and it was the next line in the chain. OTOH it might have been reading its RLHF notes a little too closely. The stuff about "my brain did X" is too anthropomorphic for my taste.

Likewise with Claude referring to "the model" - that quote sounds like something an Anthropic worker would say. Seems like a pithy little line Claude could have learned "on the job."

Diogenesian··on Professor denounces mass AI fraud on an exam at Brown
Hmm I think one part every commenter is missing is that students have grown way more mercenary and cynical over the last 20 years. I was shocked in grad school that:

a) I got bullied into sharing my math homework so people could copy it, just like high school and college... but this was math grad school!

b) In 2011 I TAed a 4000-level course where the instructor left the solutions to the homework online (he wrote the book). I estimate 95% of students copied the solutions. It was only 5% of the grade and they paid for it on the exams. Still. Kind of stunning to see at U Waterloo - it was a continuous optimization course and most of them wanted to work in finance, yikes.

← PreviousPage 4 of 5Next →