Tap a claim on the ring to put it at the centre.
← Formal methods are a niche tool; property-based testing is the one…
8 connected korrents · 4 moments on record from 21 Jan 2019 to 29 Jul 2026.
Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: 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. 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 a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. — tap to centre the map on it Formal methods are not standard practice even in high-assurance software such as medical devices and… 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… Last stated a month 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… Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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… Last stated a month 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… Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say… Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: TDD fell out of fashion partly because its advocates turned it into a moral test of professionalism, when people write very good software with a wide variety of workflows. — tap to centre the map on it TDD fell out of fashion partly because its advocates turned it into a moral test of professionalism, when people… Last stated 2 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are