Tap a claim on the ring to put it at the centre.
← The more your tests resemble the way your software is used, the more confidence they can give you.
17 connected korrents · 15 moments on record from 5 Oct 2017 to 15 Sept 2026.
Everything filed under coding agents
coding agents
Everything filed under formal proof
formal proof
Everything filed under measuring intelligence
measuring intelligence
Everything filed under software quality
software quality
Everything filed under LLMs
LLMs
Everything filed under Apple
Apple
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: The more your tests resemble the way your software is used, the more confidence they can give you. The more your tests resemble the way your software is used, the more confidence they can give you. Last stated 8 years ago
23 Mar 2018
KD
Kent C. Dodds — holds since 2018-03-23 — tap for who they are
Same subject: Unit tests alone give little confidence in a program, because the mistakes people actually make are not the conveniently unit-testable ones. — tap to centre the map on it Unit tests alone give little confidence in a program, because the mistakes people actually make are not the conveniently unit-testable ones. Last stated 9 years ago
5 Oct 2017
HW
Hillel Wayne — holds since 2017-10-05 — tap for who they are
Same subject: The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself. — tap to centre the map on it The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself. Last stated 3 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: On everyday high-stakes questions, a model's answer can now be trusted more than an expert human's. — tap to centre the map on it On everyday high-stakes questions, a model's answer can now be trusted more than an expert human's. Last stated 3 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — 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: Confidence in a memory is not evidence of its accuracy, and our sense of how our own memory works is systematically wrong. — tap to centre the map on it Confidence in a memory is not evidence of its accuracy, and our sense of how our own memory works is systematically wrong. Last stated 2 months ago
13 Jul 2026
AC
Alan Castel — holds since 2026-07-13 — tap for who they are
Same subject: Unit tests have become just more source code to maintain — only end-to-end tests can be trusted to guard real behavior. — tap to centre the map on it Unit tests have become just more source code to maintain — only end-to-end tests can be trusted to guard real behavior. Last stated a week ago
7 Sept 2026
KC
Kun Chen — holds since 2026-09-07 — tap for who they are
Same subject: Existing AI models were already more than good enough for writing code and do more than can be utilized from them. — tap to centre the map on it Existing AI models were already more than good enough for writing code and do more than can be utilized from them. Last stated a week ago
8 Sept 2026
GO
Gergely Orosz — holds since 2026-09-08 — tap for who they are
Same subject: The more your target audience does not look like you, the more you should be skeptical of your design intuition. — tap to centre the map on it The more your target audience does not look like you, the more you should be skeptical of your design intuition. Last stated 3 years ago
20 Apr 2023
JZ
Julie Zhuo — holds since 2023-04-20 — tap for who they are
Same subject: A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model. — tap to centre the map on it A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model. Last stated 2 days ago
15 Sept 2026
PG
Paul Graham — holds since 2026-09-15 — tap for who they are
Same subject: If intelligence is the process of acquiring skills, no single task demonstrates intelligence unless it is a meta-task of skill-acquisition across many tasks. — tap to centre the map on it If intelligence is the process of acquiring skills, no single task demonstrates intelligence unless it is a meta-task of skill-acquisition across many tasks. Last stated 7 years ago
5 Nov 2019
FC
François Chollet — holds since 2019-11-05 — tap for who they are
Same subject: Solely measuring skill at any given task falls short of measuring intelligence, because skill is heavily modulated by prior knowledge and experience. — tap to centre the map on it Solely measuring skill at any given task falls short of measuring intelligence, because skill is heavily modulated by prior knowledge and experience. Last stated 7 years ago
5 Nov 2019
FC
François Chollet — holds since 2019-11-05 — 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: 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 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. — tap to centre the map on it Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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 6 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. — tap to centre the map on it A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. Last stated 2 weeks ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten. — tap to centre the map on it A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
At the centre
The more your tests resemble the way your software is used, the more confidence they can give you.
Holds KD Kent C. DoddsRead this korrent →
Unit tests alone give little confidence in a program, because the mistakes people actually make are not the conveniently unit-testable ones.
Holds HW Hillel Wayne
The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself.
Holds KB Kent Beck
On everyday high-stakes questions, a model's answer can now be trusted more than an expert human's.
Holds NB Noam Brown
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
Confidence in a memory is not evidence of its accuracy, and our sense of how our own memory works is systematically wrong.
Holds AC Alan Castel
Unit tests have become just more source code to maintain — only end-to-end tests can be trusted to guard real behavior.
Holds KC Kun Chen
Existing AI models were already more than good enough for writing code and do more than can be utilized from them.
Holds
The more your target audience does not look like you, the more you should be skeptical of your design intuition.
Holds JZ Julie Zhuo
A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model.
Holds
If intelligence is the process of acquiring skills, no single task demonstrates intelligence unless it is a meta-task of skill-acquisition across many tasks.
Holds
Solely measuring skill at any given task falls short of measuring intelligence, because skill is heavily modulated by prior knowledge and experience.
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 HW Hillel Wayne
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 HW Hillel Wayne
Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.
Holds HW Hillel Wayne
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 company should not train its own model: it has to stay neutral ground for models to compete on.
Holds
A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten.
Holds SY Steve Yegge