Tap a claim on the ring to put it at the centre.
← If you are not going to read the generated code, what you need is…
17 connected korrents · 13 moments on record from 21 Jan 2019 to 1 Sept 2026.
Everything filed under code generation
code generation
Everything filed under AI writing
AI writing
Everything filed under formal proof
formal proof
Everything filed under software performance
software performance
Everything filed under software quality
software quality 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: If you are not going to read the generated code, what you need is conformance testing: proof that it performs within the boundaries of the code it replaced. If you are not going to read the generated code, what you need is conformance testing: proof that it performs within the boundaries of the code it replaced. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — 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: He does not read the boring parts of generated code, the data-shuffling and button alignment; what touches the database he reads and reviews. — tap to centre the map on it He does not read the boring parts of generated code, the data-shuffling and button alignment; what touches the database he reads and reviews. Last stated 7 months ago
12 Feb 2026
PS
Peter Steinberger — holds since 2026-02-12 — tap for who they are
Same subject: A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. — tap to centre the map on it A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: The hard part of verification is not proving the code correct but working out what the specification should say. — tap to centre the map on it The hard part of verification is not proving the code correct but working out what the specification should say. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. — tap to centre the map on it Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: Lines of code are the wrong artifact to review; what we should be storing and reviewing is an architecture that generates the code to spec. — tap to centre the map on it Lines of code are the wrong artifact to review; what we should be storing and reviewing is an architecture that generates the code to spec. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: The first move on a legacy code base is tests you can trust, before a single line of the code itself is changed. — tap to centre the map on it The first move on a legacy code base is tests you can trust, before a single line of the code itself is changed. Last stated 3 years ago
29 Jun 2023
GH
George Hotz — holds since 2023-06-29 — tap for who they are
Same subject: A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works. — tap to centre the map on it A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-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 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: "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. — tap to centre the map on it "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. — tap to centre the map on it "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. — tap to centre the map on it A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — 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
At the centre
If you are not going to read the generated code, what you need is conformance testing: proof that it performs within the boundaries of the code it replaced.
Holds CM Charity MajorsRead this korrent →
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
He does not read the boring parts of generated code, the data-shuffling and button alignment; what touches the database he reads and reviews.
Holds
A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass.
Holds
The hard part of verification is not proving the code correct but working out what the specification should say.
Holds HW Hillel Wayne
Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great.
Holds DH Dex Horthy
Lines of code are the wrong artifact to review; what we should be storing and reviewing is an architecture that generates the code to spec.
Holds CM Charity Majors
The first move on a legacy code base is tests you can trust, before a single line of the code itself is changed.
Holds GH George Hotz
A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works.
Holds
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 prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people.
Holds
"Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices.
Holds AO Addy Osmani
"Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove.
Holds CM Casey Muratori
A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen.
Holds CM Casey Muratori
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