Tap a claim on the ring to put it at the centre.
← It is no longer worth not reading the code in exchange for the…
17 connected korrents · 15 moments on record from 21 Jan 2019 to 3 Sept 2026.
Everything filed under software performance
software performance
Everything filed under AI writing
AI writing
Everything filed under formal proof
formal proof
Everything filed under code generation
code generation
Everything filed under Anthropic
Anthropic
Everything filed under vibe coding
vibe coding
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: It is no longer worth not reading the code in exchange for the occasional two-week hand fix, because the volume of code we can now generate has gone up ten to a hundred times. It is no longer worth not reading the code in exchange for the occasional two-week hand fix, because the volume of code we can now generate has gone up ten to a hundred times. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: The case for sweating every line of code was premised on humans doing the modifications, and it now survives only because tokens are scarce. — tap to centre the map on it The case for sweating every line of code was premised on humans doing the modifications, and it now survives only because tokens are scarce. Last stated 2 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: The way software gets built flipped in December: writing code yourself is now the exception, not the default. — tap to centre the map on it The way software gets built flipped in December: writing code yourself is now the exception, not the default. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — 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: A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. — tap to centre the map on it A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. Last stated 4 days ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: You cannot really understand the code you write unless you are also the one operating it. — tap to centre the map on it You cannot really understand the code you write unless you are also the one operating it. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: There is no point arguing about whether or when engineers will ship code they have not read; the only useful question is what it would take. — tap to centre the map on it There is no point arguing about whether or when engineers will ship code they have not read; the only useful question is what it would take. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: Most of the code the world runs on is maintained by hobbyists with an hour or two a month, so any proposal that needs more than that will simply be ignored. — tap to centre the map on it Most of the code the world runs on is maintained by hobbyists with an hour or two a month, so any proposal that needs more than that will simply be ignored. Last stated 2 years ago
1 Apr 2024
TD
Thomas Depierre — holds since 2024-04-01 — 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 those people at a severe disadvantage. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — 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: 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: 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
It is no longer worth not reading the code in exchange for the occasional two-week hand fix, because the volume of code we can now generate has gone up ten to a hundred times.
Holds DH Dex HorthyRead this korrent →
The case for sweating every line of code was premised on humans doing the modifications, and it now survives only because tokens are scarce.
Holds
The way software gets built flipped in December: writing code yourself is now the exception, not the default.
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
A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year.
Holds
You cannot really understand the code you write unless you are also the one operating it.
Holds CM Charity Majors
There is no point arguing about whether or when engineers will ship code they have not read; the only useful question is what it would take.
Holds CM Charity Majors
Most of the code the world runs on is maintained by hobbyists with an hour or two a month, so any proposal that needs more than that will simply be ignored.
Holds TD Thomas Depierre
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
"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
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
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