Tap a claim on the ring to put it at the centre.
← Success on the easy version of a task is evidence of nothing, because…
17 connected korrents · 15 moments on record from 22 Apr 2024 to 25 Aug 2026. Nearly all of them are about Apple .
Everything filed under LLMs
LLMs
Everything filed under Linux
Linux
Everything filed under open source
open source
Everything filed under software quality
software quality
Everything filed under taste
taste
Everything filed under formal proof
formal proof 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: 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. 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: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it 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: 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: Apple's turn to services, taking a cut of other people's businesses, has been a corrupting force on the company. — tap to centre the map on it Apple's turn to services, taking a cut of other people's businesses, has been a corrupting force on the company. Last stated a year ago
1 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-01 — tap for who they are
Same subject: Apple's vertical integration was an advantage under someone with Steve Jobs's taste and turns into a liability under a logistics man. — tap to centre the map on it Apple's vertical integration was an advantage under someone with Steve Jobs's taste and turns into a liability under a logistics man. Last stated a year ago
1 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-01 — tap for who they are
Same subject: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not using language at all, because language requires an intention to communicate. Last stated 2 years ago
31 Aug 2024
TC
Ted Chiang — holds since 2024-08-31 — tap for who they are
Same subject: A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. — tap to centre the map on it A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. Last stated 2 years ago
22 Apr 2024
SC
Sean Carroll — holds since 2024-04-22 — tap for who they are
Same subject: A large language model is the genetic system for language: it stores the dynamics of a structure that until now lived only across human brains. — tap to centre the map on it A large language model is the genetic system for language: it stores the dynamics of a structure that until now lived only across human brains. Last stated 2 years ago
13 Jun 2024
SW
Sara Walker — holds since 2024-06-13 — 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: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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
At the centre
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 MarcusRead 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.
Holds GM Gary Marcus
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
Apple's turn to services, taking a cut of other people's businesses, has been a corrupting force on the company.
Holds
Apple's vertical integration was an advantage under someone with Steve Jobs's taste and turns into a liability under a logistics man.
Holds
A language model is not using language at all, because language requires an intention to communicate.
Holds TC Ted Chiang
A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human.
Holds SC Sean Carroll
A large language model is the genetic system for language: it stores the dynamics of a structure that until now lived only across human brains.
Holds SW Sara Walker
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
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao