Tap a claim on the ring to put it at the centre.
← Newer model releases have got worse at producing text that is actually pleasant to read and understand.
17 connected korrents · 18 moments on record from 2 Mar 2022 to 1 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under writing
writing
Everything filed under AI slop
AI slop
Everything filed under coding agents
coding agents
Everything filed under chat interfaces
chat interfaces
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: Newer model releases have got worse at producing text that is actually pleasant to read and understand. 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: He would rather read your broken English than your AI-written text; we are reaching the point where typos are valuable again. — tap to centre the map on it He would rather read your broken English than your AI-written text; we are reaching the point where typos… Last stated 7 months ago
12 Feb 2026
PS
Peter Steinberger — holds since 2026-02-12 — tap for who they are
Same subject: Coding agents demand more reading than most people can do, and until better interfaces arrive that leaves those people at a severe disadvantage. — tap to centre the map on it Coding agents demand more reading than most people can do, and until better interfaces arrive that leaves… Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: Today's models are severely under-elicited: they are far more capable than the way we currently ask them makes them look. — tap to centre the map on it Today's models are severely under-elicited: they are far more capable than the way we currently ask them makes them… Last stated 2 years ago
8 Nov 2024
JL
Jan Leike — holds since 2024-11-08 — tap for who they are
Same subject: Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident they are rather than pretend. — tap to centre the map on it Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident… Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — 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… 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: Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn. — tap to centre the map on it Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn. Last stated 2 years ago
1 Oct 2024
PG
Paul Graham — holds since 2024-10-01 — tap for who they are
Same subject: The code today’s models and agents write is very hard to follow: you get better performance without knowing why, and no way to fix it when it breaks. — tap to centre the map on it The code today’s models and agents write is very hard to follow: you get better performance without knowing… Last stated 2 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: Today's text-box chat interfaces are too restricted to survive multimodal models, and will look archaic within a couple of years. — tap to centre the map on it Today's text-box chat interfaces are too restricted to survive multimodal models, and will look archaic within a… Last stated a year ago
23 Jul 2025
DH
Demis Hassabis — holds since 2025-07-23 — 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… 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… Last stated 2 years ago
22 Apr 2024
SC
Sean Carroll — holds since 2024-04-22 — 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… 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
Same subject: Writing is thinking, so an LLM inflating a one-sentence observation into three paragraphs destroys the thing that made it worth reading. — tap to centre the map on it Writing is thinking, so an LLM inflating a one-sentence observation into three paragraphs destroys the thing… Last stated 6 days ago
1 Sept 2026
GO
Gergely Orosz — holds since 2026-09-01 — tap for who they are
Same subject: Writing your thinking down in public is a form of life after death -- for human readers and for the language models that will read it too. — tap to centre the map on it Writing your thinking down in public is a form of life after death -- for human readers and for the language models that… Last stated 2 years ago
6 Dec 2024
DS
Derek Sivers — holds since 2024-12-06 — tap for who they are
Same subject: A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. — tap to centre the map on it A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools… Last stated 5 years ago
2 Mar 2022
DS
Derek Sivers — holds since 2022-03-02 — tap for who they are
At the centre
Newer model releases have got worse at producing text that is actually pleasant to read and understand.
Holds Read this korrent →
He would rather read your broken English than your AI-written text; we are reaching the point where typos are valuable again.
Holds
Coding agents demand more reading than most people can do, and until better interfaces arrive that leaves those people at a severe disadvantage.
Holds SY Steve Yegge
Today's models are severely under-elicited: they are far more capable than the way we currently ask them makes them look.
Holds JL Jan Leike
Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident they are rather than pretend.
Holds AM Adam Mosseri
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
Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn.
Holds
The code today’s models and agents write is very hard to follow: you get better performance without knowing why, and no way to fix it when it breaks.
Holds ES Elizabeth Stone
Today's text-box chat interfaces are too restricted to survive multimodal models, and will look archaic within a couple of years.
Holds DH Demis Hassabis
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
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
Writing is thinking, so an LLM inflating a one-sentence observation into three paragraphs destroys the thing that made it worth reading.
Holds
Writing your thinking down in public is a form of life after death -- for human readers and for the language models that will read it too.
Holds
A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing.
Holds