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 · 17 moments from 29 Sept 2018 to 4 Oct 2026.
Everything filed under design
design
Everything filed under product management
product management
Everything filed under simplicity
simplicity
Everything filed under taste
taste
Everything filed under software quality
software quality
Everything filed under coding agents
coding agents
Everything filed under LLMs
LLMs 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 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. — tap to centre the map on it If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. Last stated 2 years ago
6 Oct 2024
MT
Michael Truell — holds since 2024-10-06 — tap for who they are
Same subject: In the future, humans will not find bugs in model-produced code in reasonable time and will only review system composition, not via PRs or line-by-line review. — tap to centre the map on it In the future, humans will not find bugs in model-produced code in reasonable time and will only review system composition, not via PRs or line-by-line review. Last stated a month ago
19 Sept 2026
TB
Thorsten Ball — holds since 2026-09-19 — 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 3 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 3 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important. — tap to centre the map on it When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important. Last stated 4 months ago
8 Jul 2026
MC
Meaghan Choi — holds since 2026-07-08 — tap for who they are
Same subject: A project that only shows the models are not ready yet is a win if it leaves behind an eval to retry with later models. — tap to centre the map on it A project that only shows the models are not ready yet is a win if it leaves behind an eval to retry with later models. Last stated a month ago
10 Sept 2026
MK
Mike Krieger — holds since 2026-09-10 — tap for who they are
Same subject: Well-functioning systems succeed through continuous debugging rather than perfect initial design. — tap to centre the map on it Well-functioning systems succeed through continuous debugging rather than perfect initial design. Last stated 2 months ago
20 Aug 2026
JP
Jennifer Pahlka — holds since 2026-08-20 — 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: A business is more likely to fail from taking on too much complexity than from lacking resources. — tap to centre the map on it A business is more likely to fail from taking on too much complexity than from lacking resources. Last stated 8 years ago
29 Sept 2018
TG
Tren Griffin — holds since 2018-09-29 — tap for who they are
Same subject: A business succeeds through a small number of highly effective distribution channels, not many mediocre ones. — tap to centre the map on it A business succeeds through a small number of highly effective distribution channels, not many mediocre ones. Last stated 3 years ago
17 Feb 2024
AW
Adam Wiggins — holds since 2024-02-17 — tap for who they are
Same subject: A candidate negotiating an offer should make every ask fit one line of logic. — tap to centre the map on it A candidate negotiating an offer should make every ask fit one line of logic. Last stated 2 months ago
9 Aug 2026
AW
Adam Ward — holds since 2026-08-09 — tap for who they are
Same subject: A big part of taste is delivering high levels of craft in an accessible way so that as many people as possible can experience it. — tap to centre the map on it A big part of taste is delivering high levels of craft in an accessible way so that as many people as possible can experience it. Last stated 6 months ago
21 Apr 2026
BJ
Brandon Jacoby — holds since 2026-04-21 — tap for who they are
Same subject: A company name can have different appeal to corporate buyers versus their customers. — tap to centre the map on it A company name can have different appeal to corporate buyers versus their customers. Last stated 3 weeks ago
4 Oct 2026
PG
Paul Graham — holds since 2026-10-04 — 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 3 months ago
6 Aug 2026
GS
George Saunders — holds since 2026-08-06 — tap for who they are
Same subject: "Simplify onboarding" is an action, not a problem, and a roadmap line written that way will not work. — tap to centre the map on it "Simplify onboarding" is an action, not a problem, and a roadmap line written that way will not work. Last stated 2 years ago
19 Jan 2025
EV
Elena Verna — holds since 2025-01-19 — tap for who they are
Same subject: A company needs someone with a product vision to recover — tap to centre the map on it A company needs someone with a product vision to recover Last stated 4 years ago
5 Nov 2022
DH
David Heinemeier Hansson — holds since 2022-11-05 — tap for who they are
Same subject: A company should define what great looks like for its own role rather than borrow another company's definition. — tap to centre the map on it A company should define what great looks like for its own role rather than borrow another company's definition. Last stated 2 months ago
9 Aug 2026
AW
Adam Ward — holds since 2026-08-09 — 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 Read this korrent →
If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code.
Holds
In the future, humans will not find bugs in model-produced code in reasonable time and will only review system composition, not via PRs or line-by-line review.
Holds
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
Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front.
Holds
When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important.
Holds
A project that only shows the models are not ready yet is a win if it leaves behind an eval to retry with later models.
Holds
Well-functioning systems succeed through continuous debugging rather than perfect initial design.
Holds
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds
A business is more likely to fail from taking on too much complexity than from lacking resources.
Holds
A business succeeds through a small number of highly effective distribution channels, not many mediocre ones.
Holds
A candidate negotiating an offer should make every ask fit one line of logic.
Holds
A big part of taste is delivering high levels of craft in an accessible way so that as many people as possible can experience it.
Holds
A company name can have different appeal to corporate buyers versus their customers.
Holds
A first draft should not be graded good or bad; it is only the material that taste then gets to act on.
Holds
"Simplify onboarding" is an action, not a problem, and a roadmap line written that way will not work.
Holds
A company needs someone with a product vision to recover
Holds
A company should define what great looks like for its own role rather than borrow another company's definition.
Holds