Tap a claim on the ring to put it at the centre.
← Every genuine test of a theory is an attempt to refute it
11 connected korrents · 10 moments from 13 May 2007 to 11 Sept 2026.
Everything filed under formal proof
formal proof
Everything filed under humility
humility
Everything filed under curiosity
curiosity 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: Every genuine test of a theory is an attempt to refute it Every genuine test of a theory is an attempt to refute it
KP
Karl Popper — holds since c. 1963–1968 — tap for who they are
Same subject: Trying to prove how right one is leads to ignoring the evidence to the contrary. — tap to centre the map on it Trying to prove how right one is leads to ignoring the evidence to the contrary. Last stated 3 years ago
3 Oct 2023
SP
Shane Parrish — holds since 2023-10-03 — 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 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated 4 weeks ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — 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
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 6 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 slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. — tap to centre the map on it A slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. Last stated 13 years ago
3 Jul 2013
RK
Raph Koster — holds since 2013-07-03 — tap for who they are
Same subject: Acquiring insight into how things work is a worthwhile effort in itself, not only for any payoff — tap to centre the map on it Acquiring insight into how things work is a worthwhile effort in itself, not only for any payoff Last stated 19 years ago
17 Oct 2007
PB
Peter Bevelin — holds since 2007-10-17 — tap for who they are
Same subject: Advancing in life depends more on what one learns later than on what one already knows — tap to centre the map on it Advancing in life depends more on what one learns later than on what one already knows Last stated 19 years ago
13 May 2007
CM
Charlie Munger — holds since 2007-05-13 — tap for who they are