Tap a claim on the ring to put it at the centre.
← Shipping proof is harder to refute than intellectual arguments
17 connected korrents · 17 moments from 18 Aug 2011 to 16 Sept 2026.
Everything filed under code generation
code generation
Everything filed under vibe coding
vibe coding
Everything filed under formal proof
formal proof
Everything filed under behavioural science
behavioural science 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: Shipping proof is harder to refute than intellectual arguments Shipping proof is harder to refute than intellectual arguments Last stated 3 years ago
21 Dec 2023
DH
David Heinemeier Hansson — holds since 2023-12-21 — tap for who they are
Same subject: However much theorizing is done before shipping, nothing compares to the evidence of users trying a product and iterating from there. — tap to centre the map on it However much theorizing is done before shipping, nothing compares to the evidence of users trying a product and iterating from there. Last stated 3 weeks ago
10 Sept 2026
TS
Tara Seshan — holds since 2026-09-10 — 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: The burden of proof for banning an activity should fall on the person proposing the ban, not on those opposing it. — tap to centre the map on it The burden of proof for banning an activity should fall on the person proposing the ban, not on those opposing it. Last stated 3 weeks ago
14 Sept 2026
PB
Paul Bloom — holds since 2026-09-14 — tap for who they are
Same subject: Give where there is strong evidence that donations do a lot of good, rather than where weak evidence suggests they might do far more. — tap to centre the map on it Give where there is strong evidence that donations do a lot of good, rather than where weak evidence suggests they might do far more. Last stated 15 years ago
18 Aug 2011
HK
Holden Karnofsky — holds since 2011-08-18 — tap for who they are
Same subject: Nobody is convinced in real time on Twitter: a good argument is a seed lobbed over the barricades that grows months later, so plant it and wait. — tap to centre the map on it Nobody is convinced in real time on Twitter: a good argument is a seed lobbed over the barricades that grows months later, so plant it and wait. Last stated 2 years ago
18 Sept 2024
DH
David Heinemeier Hansson — holds since 2024-09-18 — 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 2 months ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: The moment one cause looks far better than every other on thin information is exactly the moment it most needs sceptical investigation. — tap to centre the map on it The moment one cause looks far better than every other on thin information is exactly the moment it most needs sceptical investigation. Last stated 15 years ago
18 Aug 2011
HK
Holden Karnofsky — holds since 2011-08-18 — tap for who they are
Same subject: Actions are more persuasive than arguments — tap to centre the map on it Actions are more persuasive than arguments Last stated 4 years ago
8 Mar 2023
DH
David Heinemeier Hansson — holds since 2023-03-08 — 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 5 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 2 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 3 weeks ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — tap for who they are
Same subject: A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. — tap to centre the map on it A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. Last stated 7 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A sense of achievement in software survives writing almost none of the code yourself. — tap to centre the map on it A sense of achievement in software survives writing almost none of the code yourself. Last stated a month ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — 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 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 2 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: Agent-generated pull requests have exploded in size with no signs of slowing down — tap to centre the map on it Agent-generated pull requests have exploded in size with no signs of slowing down Last stated 2 weeks ago
16 Sept 2026
GO
Gergely Orosz — holds since 2026-09-16 — 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 3 weeks ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — tap for who they are
At the centre
Shipping proof is harder to refute than intellectual arguments
Holds Read this korrent →
However much theorizing is done before shipping, nothing compares to the evidence of users trying a product and iterating from there.
Holds
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
The burden of proof for banning an activity should fall on the person proposing the ban, not on those opposing it.
Holds
Give where there is strong evidence that donations do a lot of good, rather than where weak evidence suggests they might do far more.
Holds
Nobody is convinced in real time on Twitter: a good argument is a seed lobbed over the barricades that grows months later, so plant it and wait.
Holds
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
The moment one cause looks far better than every other on thin information is exactly the moment it most needs sceptical investigation.
Holds
Actions are more persuasive than arguments
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
A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break.
Holds
A sense of achievement in software survives writing almost none of the code yourself.
Holds
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 model can now port essentially any codebase from one programming language to another, work that used to take a team over a year.
Holds
Agent-generated pull requests have exploded in size with no signs of slowing down
Holds
Agents are the new compilers that compile intent into fast software.
Holds