Tap a claim on the ring to put it at the centre.
← Almost nothing programmers believe is unique to software is actually unique to software.
17 connected korrents · 13 moments from 15 Jun 2012 to 26 Aug 2026.
Everything filed under humility
humility
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under mathematics
mathematics
Everything filed under ideas vs execution
ideas vs execution 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: Almost nothing programmers believe is unique to software is actually unique to software. Almost nothing programmers believe is unique to software is actually unique to software. Last stated 6 years ago
20 Jan 2021
HW
Hillel Wayne — holds since 2021-01-20 — tap for who they are
Same subject: Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns. — tap to centre the map on it Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns. Last stated 6 years ago
20 Jan 2021
HW
Hillel Wayne — holds since 2021-01-20 — tap for who they are
Same subject: Software engineers behave as though the world exists in the repository, and it does not: the world is production. — tap to centre the map on it Software engineers behave as though the world exists in the repository, and it does not: the world is production. Last stated 2 months ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. — tap to centre the map on it Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: Programming is essentially the craft of turning ambiguous ideas into precise, specific instructions. — tap to centre the map on it Programming is essentially the craft of turning ambiguous ideas into precise, specific instructions. Last stated 9 months ago
4 Feb 2026
SH
Scott Hanselman — holds since 2026-02-04 — tap for who they are
Same subject: Much of the wisdom programmers pass on to each other is nonsense that nobody ever tested, and refusing to be dogmatic about untested practice is what marks out a good engineer. — tap to centre the map on it Much of the wisdom programmers pass on to each other is nonsense that nobody ever tested, and refusing to be dogmatic about untested practice is what marks out a good engineer. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: Programmers fail to recognise how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind. — tap to centre the map on it Programmers fail to recognise how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: The argument about whether programming is engineering is conducted entirely by people who have never worked as engineers. — tap to centre the map on it The argument about whether programming is engineering is conducted entirely by people who have never worked as engineers. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: Software development is separated from engineering by circumstance rather than essence, and most programmers could cross that gap without retraining. — tap to centre the map on it Software development is separated from engineering by circumstance rather than essence, and most programmers could cross that gap without retraining. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: A CEO grading themselves a failure for their mistakes does not help; every CEO makes thousands of mistakes — tap to centre the map on it A CEO grading themselves a failure for their mistakes does not help; every CEO makes thousands of mistakes Last stated 14 years ago
15 Jun 2012
BH
Ben Horowitz — holds since 2012-06-15 — tap for who they are
Same subject: A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way. — tap to centre the map on it A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way. Last stated 7 months ago
2 Apr 2026
MS
Marvin Schwaibold — holds since 2026-04-02 — tap for who they are
Same subject: A designer's PRs should be very small and manageable if the designer is not comfortable reviewing or writing the code themselves. — tap to centre the map on it A designer's PRs should be very small and manageable if the designer is not comfortable reviewing or writing the code themselves. Last stated 5 months ago
26 May 2026
AM
Andy Madrick — holds since 2026-05-26 — tap for who they are
Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. Last stated 2 years ago
17 Sept 2024
AT
Alex Telford — holds since 2024-09-17 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — 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 things testing never can. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are