Tap a claim on the ring to put it at the centre.
← Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
17 connected korrents · 11 moments from 21 Jan 2019 to 15 Oct 2026.
Everything filed under formal proof
formal proof
Everything filed under nuclear power
nuclear power
Everything filed under code generation
code generation
Everything filed under mathematics
mathematics
Everything filed under software quality
software quality 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: Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — 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: 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 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: Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour. — tap to centre the map on it Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop. — tap to centre the map on it Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: 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 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. — tap to centre the map on it A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. Last stated 8 months ago
3 Mar 2026
SB
Sanjay Bakshi — holds since 2026-03-03 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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 3 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code. — tap to centre the map on it A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code. Last stated 2 weeks ago
15 Oct 2026
AT
Adam Tornhill — holds since 2026-10-15 — tap for who they are
Same subject: Agentic AI is becoming almost as big a CPU story as a GPU story. — tap to centre the map on it Agentic AI is becoming almost as big a CPU story as a GPU story. Last stated 6 months ago
24 Apr 2026
AJ
Andy Jassy — holds since 2026-04-24 — tap for who they are
Same subject: America stopped building reactors because Three Mile Island was mismanaged as a public-relations event, not because anyone was harmed by it. — tap to centre the map on it America stopped building reactors because Three Mile Island was mismanaged as a public-relations event, not because anyone was harmed by it. Last stated 3 months ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation. — tap to centre the map on it American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation. Last stated 2 years ago
6 Apr 2025
MH
Molson Hart — holds since 2025-04-06 — tap for who they are
Same subject: Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident. — tap to centre the map on it Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident. Last stated 2 months ago
1 Sept 2026
TC
Tyler Cowen — holds since 2026-09-01 — tap for who they are
At the centre
Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
Holds Read this korrent →
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
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
The hard part of verification is not proving the code correct but working out what the specification should say.
Holds
Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour.
Holds
Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop.
Holds
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
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
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
A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
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
A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code.
Holds
Agentic AI is becoming almost as big a CPU story as a GPU story.
Holds
America stopped building reactors because Three Mile Island was mismanaged as a public-relations event, not because anyone was harmed by it.
Holds
American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation.
Holds
Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident.
Holds