Tap a claim on the ring to put it at the centre.
← The engineering that lives in engineers’ spreadsheets is really baby…
15 connected korrents · 15 moments from 18 Jan 2021 to 23 Sept 2026.
Everything filed under software quality
software quality
Everything filed under code generation
code generation
Everything filed under formal proof
formal proof
Everything filed under Silicon Valley
Silicon Valley 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: The engineering that lives in engineers’ spreadsheets is really baby software, and it should be written as real software, with the testing and integration that implies. The engineering that lives in engineers’ spreadsheets is really baby software, and it should be written as real software, with the testing and integration that implies. Last stated 3 months ago
28 Jul 2026
BS
Blake Scholl — holds since 2026-07-28 — tap for who they are
Same subject: People who worked as traditional engineers before moving into software say that software engineering is real engineering. — tap to centre the map on it People who worked as traditional engineers before moving into software say that software engineering is real engineering. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: Software engineers behave as though the world exists in the repository, and it does not: the world is production. — tap to centre the map on it Software engineers behave as though the world exists in the repository, and it does not: the world is production. Last stated 2 months ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. — tap to centre the map on it Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. Last stated 6 years ago
20 Jan 2021
HW
Hillel Wayne — holds since 2021-01-20 — tap for who they are
Same subject: He is a software writer, not a software engineer, and the engineering label flattens what most programmers actually do. — tap to centre the map on it He is a software writer, not a software engineer, and the engineering label flattens what most programmers actually do. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Some of the other AI companies have not written down the spreadsheet — they are committing hundreds of billions without understanding the risk. — tap to centre the map on it Some of the other AI companies have not written down the spreadsheet — they are committing hundreds of billions without understanding the risk. Last stated 8 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated a month ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — tap for who they are
Same subject: 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. — tap to centre the map on it 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. Last stated 4 weeks ago
23 Sept 2026
GT
Geoff Teehan — holds since 2026-09-23 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding tools remains responsible for reviewing the code they ship. Last stated 7 months ago
10 Mar 2026
JS
Jon Seager — holds since 2026-03-10 — 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 3 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: Agents are the new compilers that compile intent into fast software. — tap to centre the map on it Agents are the new compilers that compile intent into fast software. Last stated a month ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — 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 3 months ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
At the centre
The engineering that lives in engineers’ spreadsheets is really baby software, and it should be written as real software, with the testing and integration that implies.
Holds Read this korrent →
People who worked as traditional engineers before moving into software say that software engineering is real engineering.
Holds
Software engineers behave as though the world exists in the repository, and it does not: the world is production.
Holds
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds
He is a software writer, not a software engineer, and the engineering label flattens what most programmers actually do.
Holds
Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.
Holds
Some of the other AI companies have not written down the spreadsheet — they are committing hundreds of billions without understanding the risk.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds
AI will increasingly produce mathematical proofs, just as it already writes most code.
Holds
95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A developer using AI coding tools remains responsible for reviewing the code they ship.
Holds
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
Agents are the new compilers that compile intent into fast software.
Holds
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds