Tap a claim on the ring to put it at the centre.
← One reliable tell of AI writing is excessively colorful verbs where a normal person would use a plain one.
17 connected korrents · 15 moments on record from 21 Jan 2019 to 1 Sept 2026.
Everything filed under AI writing
AI writing
Everything filed under code generation
code generation
Everything filed under formal proof
formal proof
Everything filed under AI and human skill
AI and human skill
Everything filed under AI slop
AI slop 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: One reliable tell of AI writing is excessively colorful verbs where a normal person would use a plain one. One reliable tell of AI writing is excessively colorful verbs where a normal person would use a plain one. Last stated 3 weeks ago
19 Aug 2026
PG
Paul Graham — holds since 2026-08-19 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. — tap to centre the map on it AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. Last stated a week ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — 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: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. Last stated 6 days ago
1 Sept 2026
GO
Gergely Orosz — holds since 2026-09-01 — tap for who they are
Same subject: An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. — tap to centre the map on it An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. Last stated 2 years ago
18 Sept 2024
DH
David Heinemeier Hansson — holds since 2024-09-18 — 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: Mass AI-written outreach fails on its own terms: playing the same numbers game as everyone else adds to the noise you then drown in. — tap to centre the map on it Mass AI-written outreach fails on its own terms: playing the same numbers game as everyone else adds to the noise you then drown in. Last stated 2 weeks ago
27 Aug 2026
GO
Gergely Orosz — holds since 2026-08-27 — tap for who they are
Same subject: Recipients do not care whether a sales email was written by an AI, so there is no point disclosing or disguising it. — tap to centre the map on it Recipients do not care whether a sales email was written by an AI, so there is no point disclosing or disguising it. Last stated 8 months ago
1 Jan 2026
JL
Jason Lemkin — holds since 2026-01-01 — 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 a month ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
Same subject: Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone. — tap to centre the map on it Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone. Last stated 7 years ago
15 Oct 2019
DS
Derek Sivers — holds since 2019-10-15 — tap for who they are
Same subject: Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception. — tap to centre the map on it Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — 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
Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: AI can be a shortcut around thinking or a way of thinking more rigorously, and for your core job function only the second one is wanted. — tap to centre the map on it AI can be a shortcut around thinking or a way of thinking more rigorously, and for your core job function only the second one is wanted. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans. — tap to centre the map on it AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans. Last stated 11 months ago
20 Oct 2025
FC
Frank Chimero — holds since 2025-10-20 — tap for who they are
Same subject: Heavy AI use erodes understanding first and judgement second: cognitive debt turns into cognitive surrender, where the model's answer simply becomes your answer. — tap to centre the map on it Heavy AI use erodes understanding first and judgement second: cognitive debt turns into cognitive surrender, where the model's answer simply becomes your answer. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
At the centre
One reliable tell of AI writing is excessively colorful verbs where a normal person would use a plain one.
Holds Read this korrent →
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds GS Grant Sanderson
AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs.
Holds EM Ethan Mollick
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people.
Holds
An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one.
Holds
He would rather read your broken English than your AI-written text; we are reaching the point where typos are valuable again.
Holds
Mass AI-written outreach fails on its own terms: playing the same numbers game as everyone else adds to the noise you then drown in.
Holds
Recipients do not care whether a sales email was written by an AI, so there is no point disclosing or disguising it.
Holds JL Jason Lemkin
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone.
Holds
Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception.
Holds AO Addy Osmani
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
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
AI can be a shortcut around thinking or a way of thinking more rigorously, and for your core job function only the second one is wanted.
Holds CM Charity Majors
AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans.
Holds FC Frank Chimero
Heavy AI use erodes understanding first and judgement second: cognitive debt turns into cognitive surrender, where the model's answer simply becomes your answer.
Holds AO Addy Osmani