Tap a claim on the ring to put it at the centre.
← A language model is no substitute for a well-specified conventional…
17 connected korrents · 16 moments on record from 21 Jan 2019 to 3 Sept 2026.
Everything filed under Apple
Apple
Everything filed under Linux
Linux
Everything filed under OpenAI
OpenAI
Everything filed under formal proof
formal proof
Everything filed under LLMs
LLMs Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: Success on the easy version of a task is evidence of nothing, because it seduces you into believing the model found a general solution when it did not. — tap to centre the map on it Success on the easy version of a task is evidence of nothing, because it seduces you into believing the model found a general solution when it did not. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves. — tap to centre the map on it Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read. — tap to centre the map on it Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read. Last stated a year ago
30 Jul 2025
AG
Alexey Guzey — holds since 2024-08-09 — tap for who they are
AG
Alexey Guzey — no longer holds since 2025-07-30 — tap for who they are
Same subject: A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. — tap to centre the map on it A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. Last stated a year ago
26 Jun 2025
DH
David Heinemeier Hansson — holds since 2025-06-26 — tap for who they are
Same subject: An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. — tap to centre the map on it An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. Last stated 2 weeks ago
25 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-25 — tap for who they are
Same subject: Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. — tap to centre the map on it Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Apple Intelligence as unveiled at WWDC 2024 was a coherent, largely settled strategy, and the personalised Siri it promised was a real product. — tap to centre the map on it Apple Intelligence as unveiled at WWDC 2024 was a coherent, largely settled strategy, and the personalised Siri it promised was a real product. Last stated a year ago
12 Mar 2025
JG
John Gruber — holds since 2024-06-23 — tap for who they are
JG
John Gruber — no longer holds since 2025-03-12 — tap for who they are
Same subject: Apple's 30% cut is a junk fee on commerce done with a phone the customer already paid for, and it has shut down the competitive engine that once fuelled the software economy. — tap to centre the map on it Apple's 30% cut is a junk fee on commerce done with a phone the customer already paid for, and it has shut down the competitive engine that once fuelled the software economy. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — tap for who they are
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. — tap to centre the map on it A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. Last stated 4 days ago
3 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-03 — tap for who they are
Same subject: Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. — tap to centre the map on it Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: Desktop Linux is not for everyone, because plenty of people want a computer appliance they never have to look under the hood of. — tap to centre the map on it Desktop Linux is not for everyone, because plenty of people want a computer appliance they never have to look under the hood of. Last stated a year ago
5 Aug 2025
DH
David Heinemeier Hansson — holds since 2025-08-05 — tap for who they are
Same subject: For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. — tap to centre the map on it For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Linux has been sold the wrong way: making it feel the same as a Mac removes the reason to switch, and something visibly different is the better hook. — tap to centre the map on it Linux has been sold the wrong way: making it feel the same as a Mac removes the reason to switch, and something visibly different is the better hook. Last stated a year ago
1 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-01 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. — tap to centre the map on it Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
At the centre
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary MarcusRead this korrent →
Success on the easy version of a task is evidence of nothing, because it seduces you into believing the model found a general solution when it did not.
Holds GM Gary Marcus
Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves.
Holds GM Gary Marcus
Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read.
No longer holds AG Alexey Guzey
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it.
Holds
Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn.
Holds
Apple Intelligence as unveiled at WWDC 2024 was a coherent, largely settled strategy, and the personalised Siri it promised was a real product.
No longer holds JG John Gruber
Apple's 30% cut is a junk fee on commerce done with a phone the customer already paid for, and it has shut down the competitive engine that once fuelled the software economy.
Holds TS Tim Sweeney
A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests.
Holds
A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it.
Holds ZM Zvi Mowshowitz
Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers.
Holds
Desktop Linux is not for everyone, because plenty of people want a computer appliance they never have to look under the hood of.
Holds
For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup.
Holds
Linux has been sold the wrong way: making it feel the same as a Mac removes the reason to switch, and something visibly different is the better hook.
Holds
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.
Holds TT Terence Tao