Diogenesian

5 ms·

91.
by Diogenesian 2mo ago
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.
92.
by Diogenesian 2mo ago
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 pos
93.
by Diogenesian 2mo ago
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 dev
94.
by Diogenesian 2mo ago
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 w
95.
by Diogenesian 2mo ago
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 metabol
96.
by Diogenesian 2mo ago
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-51
97.
by Diogenesian 2mo ago
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 scie
98.
by Diogenesian 2mo ago
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.
99.
by Diogenesian 2mo ago
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
100.
by Diogenesian 2mo ago
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
101.
by Diogenesian 2mo ago
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 w
102.
by Diogenesian 2mo ago
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.
103.
by Diogenesian 2mo ago
[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.]
104.
by Diogenesian 2mo ago
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 re
105.
by Diogenesian 2mo ago
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 Ston
106.
by Diogenesian 2mo ago
> 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
107.
by Diogenesian 2mo ago
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 impleme
108.
by Diogenesian 2mo ago
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 mindl
109.
by Diogenesian 2mo ago
"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
110.
by Diogenesian 2mo ago
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 succe
111.
by Diogenesian 2mo ago
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
112.
by Diogenesian 3mo ago
"You can't spend your whole life worrying about your mistakes. You fucked up! You trusted us!" https://youtu.be/MYQCb3qrBpo
113.
by Diogenesian 3mo ago
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 &
114.
by Diogenesian 3mo ago
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!
115.
by Diogenesian 3mo ago
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 t
116.
by Diogenesian 3mo ago
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 nati
117.
by Diogenesian 3mo ago
"xor you can't play Minecraft" is correct :)
118.
by Diogenesian 3mo ago
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’r
119.
by Diogenesian 3mo ago
>> 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)
120.
by Diogenesian 3mo ago
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, j

More ›