Tap a claim on the ring to put it at the centre.
← Verifying a simplified model rather than the real system is worth…
17 connected korrents · 15 moments on record from 12 Feb 2010 to 1 Sept 2026.
Everything filed under design
design
Everything filed under taste
taste
Everything filed under formal proof
formal proof
Everything filed under coding agents
coding agents
Everything filed under Anthropic
Anthropic
Everything filed under open source
open source
Everything filed under simplicity
simplicity 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: Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Loop engineering works exactly as far as verification does: make a problem very verifiable and you can treat it as a black box and let the model run. — tap to centre the map on it Loop engineering works exactly as far as verification does: make a problem very verifiable and you can treat it as a black box and let the model run. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. — tap to centre the map on it Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — 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: Tests written by a model in the same context as the change are what find the bugs; the automated tests left behind are the lesser product. — tap to centre the map on it Tests written by a model in the same context as the change are what find the bugs; the automated tests left behind are the lesser product. Last stated a year ago
25 Aug 2025
PS
Peter Steinberger — holds since 2025-08-25 — tap for who they are
Same subject: The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong. — tap to centre the map on it The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. — tap to centre the map on it Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier. — tap to centre the map on it Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier. Last stated a week ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — 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: A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do. — tap to centre the map on it A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do. Last stated a year ago
12 May 2025
JZ
Julie Zhuo — holds since 2025-05-12 — tap for who they are
Same subject: A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem. — tap to centre the map on it A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem. Last stated a year ago
23 Mar 2025
RV
Rahul Vohra — holds since 2025-03-23 — tap for who they are
Same subject: A computer meant for anyone has to be understandable without a manual, and it has to be friendly. — tap to centre the map on it A computer meant for anyone has to be understandable without a manual, and it has to be friendly. Last stated 4 weeks ago
14 Aug 2026
SK
Susan Kare — holds since 2026-08-14 — tap for who they are
Same subject: After a decade of Swiss minimalism, design is about to swing back to something far more expressive. — tap to centre the map on it After a decade of Swiss minimalism, design is about to swing back to something far more expressive. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — 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: Better design does not mean more design: the most obvious designs are often invisible. — tap to centre the map on it Better design does not mean more design: the most obvious designs are often invisible. Last stated 3 years ago
16 Nov 2023
JZ
Julie Zhuo — holds since 2023-11-16 — tap for who they are
Same subject: A first draft should not be graded good or bad; it is only the material that taste then gets to act on. — tap to centre the map on it A first draft should not be graded good or bad; it is only the material that taste then gets to act on. Last stated a month ago
6 Aug 2026
GS
George Saunders — holds since 2026-08-06 — tap for who they are
Same subject: A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill. — tap to centre the map on it A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail. — tap to centre the map on it A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail. Last stated 17 years ago
12 Feb 2010
KS
Karri Saarinen — holds since 2010-02-12 — tap for who they are
At the centre
Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built.
Holds HW Hillel WayneRead this korrent →
Loop engineering works exactly as far as verification does: make a problem very verifiable and you can treat it as a black box and let the model run.
Holds DH Dex Horthy
Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front.
Holds
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds HW Hillel Wayne
Tests written by a model in the same context as the change are what find the bugs; the automated tests left behind are the lesser product.
Holds
The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong.
Holds
Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them.
Holds HW Hillel Wayne
Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier.
Holds AC Ajeya Cotra
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
A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do.
Holds JZ Julie Zhuo
A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem.
Holds RV Rahul Vohra
A computer meant for anyone has to be understandable without a manual, and it has to be friendly.
Holds SK Susan Kare
After a decade of Swiss minimalism, design is about to swing back to something far more expressive.
Holds DF Dylan Field
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
Better design does not mean more design: the most obvious designs are often invisible.
Holds JZ Julie Zhuo
A first draft should not be graded good or bad; it is only the material that taste then gets to act on.
Holds GS George Saunders
A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill.
Holds DF Dylan Field
A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail.
Holds KS Karri Saarinen