Tap a claim on the ring to put it at the centre.
← Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from.
17 connected korrents · 15 moments on record from 28 Oct 2011 to 23 Aug 2026.
Everything filed under code generation
code generation
Everything filed under AI slop
AI slop
Everything filed under mathematics
mathematics
Everything filed under AI writing
AI writing
Everything filed under formal proof
formal proof
Everything filed under coding agents
coding agents 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: Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from. Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from. Last stated 3 weeks ago
17 Aug 2026
TT
Terence Tao — holds since 2026-08-17 — 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: Everything he blogs is handwritten now, AI used at most to fix typos, because the agent misses the nuances of his voice and the rough parts of a human have value. — tap to centre the map on it Everything he blogs is handwritten now, AI used at most to fix typos, because the agent misses the nuances of his voice and the rough parts of a human have value. Last stated 7 months ago
12 Feb 2026
PS
Peter Steinberger — holds since 2026-02-12 — tap for who they are
Same subject: AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. — tap to centre the map on it AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. Last stated a year ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. — tap to centre the map on it There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. — tap to centre the map on it Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code. — tap to centre the map on it Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — 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 are valuable again. Last stated 7 months ago
12 Feb 2026
PS
Peter Steinberger — holds since 2026-02-12 — 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: A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. — tap to centre the map on it A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. Last stated 3 weeks ago
23 Aug 2026
FC
François Chollet — holds since 2026-08-23 — tap for who they are
Same subject: A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged. — tap to centre the map on it A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged. Last stated 4 weeks ago
13 Aug 2026
MH
Mitchell Hashimoto — holds since 2026-08-13 — tap for who they are
Same subject: An abundance of synthetic content will make people seek out the person behind the content more, not less. — tap to centre the map on it An abundance of synthetic content will make people seek out the person behind the content more, not less. Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — tap for who they are
Same subject: A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. — tap to centre the map on it A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. — tap to centre the map on it AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. Last stated 2 months ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
Same subject: AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better. — tap to centre the map on it AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better. Last stated 3 months ago
24 Jun 2026
NE
NeetCode — holds since 2026-06-24 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
At the centre
Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from.
Holds TT Terence TaoRead this korrent →
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Everything he blogs is handwritten now, AI used at most to fix typos, because the agent misses the nuances of his voice and the rough parts of a human have value.
Holds
AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge.
Holds TH ThePrimeagen
There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in.
Holds HW Hillel Wayne
Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it.
Holds GS Grant Sanderson
Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code.
Holds NF Nicole Forsgren
He would rather read your broken English than your AI-written text; we are reaching the point where typos are valuable again.
Holds
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
A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo.
Holds
A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged.
Holds
An abundance of synthetic content will make people seek out the person behind the content more, not less.
Holds AM Adam Mosseri
A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year.
Holds
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better.
Holds NE NeetCode
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds