Tap a claim on the ring to put it at the centre.
← Both AI camps believe they are the suppressed minority standing up for…
17 connected korrents · 15 moments on record from 22 Apr 2024 to 29 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under Omarchy
Omarchy
Everything filed under energy
energy
Everything filed under data centers
data centers
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: Both AI camps believe they are the suppressed minority standing up for the truth, and that shared belief is why neither hears the other. Both AI camps believe they are the suppressed minority standing up for the truth, and that shared belief is why neither hears the other. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: People disagreeing about AI capability are speaking past each other, because they are using models of very different tiers on very different kinds of task. — tap to centre the map on it People disagreeing about AI capability are speaking past each other, because they are using models of very different tiers on very different kinds of task. Last stated 5 months ago
9 Apr 2026
AK
Andrej Karpathy — holds since 2026-04-09 — tap for who they are
Same subject: Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends. — tap to centre the map on it Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching. — tap to centre the map on it Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching. Last stated 3 weeks ago
20 Aug 2026
AD
Aswath Damodaran — holds since 2026-08-20 — tap for who they are
HM
Howard Marks — holds since 2025-12-09 — tap for who they are
Same subject: Public discussion of AI is skewed because the people who understand the technology talk down to everyone else. — tap to centre the map on it Public discussion of AI is skewed because the people who understand the technology talk down to everyone else. Last stated 4 weeks ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — tap for who they are
Same subject: Most of the Linux world is ambivalent or hostile to AI, which is fine, but it needs a camp that leans in all the way, and Omarchy will be it. — tap to centre the map on it Most of the Linux world is ambivalent or hostile to AI, which is fine, but it needs a camp that leans in all the way, and Omarchy will be 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: A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. — tap to centre the map on it A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — tap for who they are
Same subject: The data-centre backlash is about the buildings themselves, not about what people think of AI. — tap to centre the map on it The data-centre backlash is about the buildings themselves, not about what people think of AI. Last stated 2 weeks ago
25 Aug 2026
AM
Andy Masley — holds since 2026-08-25 — tap for who they are
Same subject: The likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly. — tap to centre the map on it The likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly. Last stated 4 weeks ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — 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 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 formal code of conduct is not worth adopting, because those became struggle-session processes; courtesy without one is what actually wins. — tap to centre the map on it A formal code of conduct is not worth adopting, because those became struggle-session processes; courtesy without one is what actually wins. Last stated a week ago
29 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-29 — tap for who they are
Same subject: Omarchy could reasonably switch its packaging system to Nix. — tap to centre the map on it Omarchy could reasonably switch its packaging system to Nix. Last stated a week ago
29 Aug 2026
AR
Armin Ronacher — holds since 2026-08-29 — tap for who they are
DH
David Heinemeier Hansson — holds since 2026-08-27 — tap for who they are
Same subject: Omarchy is a system for professional computer lovers: it optimises usability over learnability, and a couple of days learning the keyboard is a fair price. — tap to centre the map on it Omarchy is a system for professional computer lovers: it optimises usability over learnability, and a couple of days learning the keyboard is a fair price. Last stated 2 weeks ago
25 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-25 — 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
Both AI camps believe they are the suppressed minority standing up for the truth, and that shared belief is why neither hears the other.
Holds CM Charity MajorsRead this korrent →
People disagreeing about AI capability are speaking past each other, because they are using models of very different tiers on very different kinds of task.
Holds
Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends.
Holds CM Charity Majors
Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching.
Holds AD Aswath DamodaranHM Howard Marks
Public discussion of AI is skewed because the people who understand the technology talk down to everyone else.
Holds FL Fei-Fei Li
Most of the Linux world is ambivalent or hostile to AI, which is fine, but it needs a camp that leans in all the way, and Omarchy will be it.
Holds
A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong.
Holds NF Nicole Forsgren
The data-centre backlash is about the buildings themselves, not about what people think of AI.
Holds AM Andy Masley
The likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly.
Holds RG Ryan Greenblatt
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 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 formal code of conduct is not worth adopting, because those became struggle-session processes; courtesy without one is what actually wins.
Holds
Omarchy could reasonably switch its packaging system to Nix.
Holds
Omarchy is a system for professional computer lovers: it optimises usability over learnability, and a couple of days learning the keyboard is a fair price.
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