Tap a claim on the ring to put it at the centre.
← Loop engineering works exactly as far as verification does: make a…
17 connected korrents · 14 moments from 21 Jan 2019 to 29 Jul 2026.
Everything filed under coding agents
coding agents
Everything filed under formal proof
formal proof
Everything filed under LLMs
LLMs
Everything filed under software quality
software quality
Everything filed under design
design 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: 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. 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: 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. — tap to centre the map on it 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: 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 3 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — 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: 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: Loops belong on codebase quality, not on shipping the features users want; we read all of the code, because program design is what decides whether a codebase stays changeable. — tap to centre the map on it Loops belong on codebase quality, not on shipping the features users want; we read all of the code, because program design is what decides whether a codebase stays changeable. Last stated 3 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — 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: The hard part of verification is not proving the code correct but working out what the specification should say. — tap to centre the map on it The hard part of verification is not proving the code correct but working out what the specification should say. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — 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 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. — tap to centre the map on it "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. Last stated 7 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. Last stated 7 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — 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 software engineer who is not using a tool like Cursor is working at half productivity or worse. — tap to centre the map on it A software engineer who is not using a tool like Cursor is working at half productivity or worse. Last stated a year ago
18 Aug 2025
BT
Bret Taylor — holds since 2025-08-18 — tap for who they are
Same subject: AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. — tap to centre the map on it AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. Last stated a year ago
30 Sept 2025
HR
Harper Reed — holds since 2025-09-30 — tap for who they are
Same subject: AI agents and AI coding will run on servers and from the cloud first, not on your laptop. — tap to centre the map on it AI agents and AI coding will run on servers and from the cloud first, not on your laptop. Last stated 4 months ago
28 Jun 2026
PL
Pieter Levels — holds since 2026-06-28 — tap for who they are
Same subject: An AI coding assistant's tendency to infer what a user means rather than exactly what they typed is both its greatest strength and the reason it is hard to trust. — tap to centre the map on it An AI coding assistant's tendency to infer what a user means rather than exactly what they typed is both its greatest strength and the reason it is hard to trust. Last stated 9 months ago
22 Jan 2026
SK
Steve Klabnik — holds since 2026-01-22 — tap for who they are
Same subject: An app used every day should be built by a thoughtful team of engineers rather than one-shotted with Claude. — tap to centre the map on it An app used every day should be built by a thoughtful team of engineers rather than one-shotted with Claude. Last stated 5 months ago
26 May 2026
AM
Andy Madrick — holds since 2026-05-26 — tap for who they are
At the centre
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 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.
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
If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code.
Holds
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds
Loops belong on codebase quality, not on shipping the features users want; we read all of the code, because program design is what decides whether a codebase stays changeable.
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
The hard part of verification is not proving the code correct but working out what the specification should say.
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
"I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out.
Holds
A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down.
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 software engineer who is not using a tool like Cursor is working at half productivity or worse.
Holds
AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces.
Holds
AI agents and AI coding will run on servers and from the cloud first, not on your laptop.
Holds
An AI coding assistant's tendency to infer what a user means rather than exactly what they typed is both its greatest strength and the reason it is hard to trust.
Holds
An app used every day should be built by a thoughtful team of engineers rather than one-shotted with Claude.
Holds