Tap a claim on the ring to put it at the centre.
← Devices should be built voice-first, with keyboard and touch demoted…
17 connected korrents · 18 moments on record from 22 Apr 2024 to 25 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under Linux
Linux
Everything filed under Apple
Apple
Everything filed under AI agents
AI agents
Everything filed under design
design
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: Devices should be built voice-first, with keyboard and touch demoted to second and third, the exact reverse of how the smartphone was layered. Devices should be built voice-first, with keyboard and touch demoted to second and third, the exact reverse of how the smartphone was layered. Last stated 3 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — tap for who they are
Same subject: The apps built to drive smart devices should not exist at all: the devices should expose APIs and agents should call them directly. — tap to centre the map on it The apps built to drive smart devices should not exist at all: the devices should expose APIs and agents should call them directly. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — 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: Newer model releases have got worse at producing text that is actually pleasant to read and understand. — tap to centre the map on it Newer model releases have got worse at producing text that is actually pleasant to read and understand. Last stated 2 weeks ago
25 Aug 2026
AR
Armin Ronacher — holds since 2026-08-25 — tap for who they are
Same subject: You want to command a device explicitly, not have it act on a thought you happened to have. — tap to centre the map on it You want to command a device explicitly, not have it act on a thought you happened to have. Last stated 3 weeks ago
20 Aug 2026
MH
Max Hodak — holds since 2026-08-20 — 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: The original Cuisinart, with its two paddle buttons and clear affordances, was peak interface design, and it has been downhill from there. — tap to centre the map on it The original Cuisinart, with its two paddle buttons and clear affordances, was peak interface design, and it has been downhill from there. Last stated 8 months ago
14 Jan 2026
JF
Jason Fried — holds since 2026-01-14 — 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: The time is right for a new kind of computer, because people are already frustrated with what phones cost them. — tap to centre the map on it The time is right for a new kind of computer, because people are already frustrated with what phones cost them. Last stated 4 months ago
26 Apr 2026
ES
Evan Spiegel — holds since 2026-04-26 — 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
Devices should be built voice-first, with keyboard and touch demoted to second and third, the exact reverse of how the smartphone was layered.
Holds TF Tony FadellRead this korrent →
The apps built to drive smart devices should not exist at all: the devices should expose APIs and agents should call them directly.
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
Newer model releases have got worse at producing text that is actually pleasant to read and understand.
Holds
You want to command a device explicitly, not have it act on a thought you happened to have.
Holds MH Max Hodak
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
The original Cuisinart, with its two paddle buttons and clear affordances, was peak interface design, and it has been downhill from there.
Holds JF Jason Fried
Apple's turn to services, taking a cut of other people's businesses, has been a corrupting force on the company.
Holds
The time is right for a new kind of computer, because people are already frustrated with what phones cost them.
Holds ES Evan Spiegel
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