Tap a claim on the ring to put it at the centre.
← WordPress users do not receive the security guarantees the FAIR model…
10 connected korrents · 9 moments from 23 Aug 2025 to 15 Oct 2026.
Everything filed under code generation
code generation
Everything filed under formal proof
formal proof
Everything filed under mathematics
mathematics Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: WordPress users do not receive the security guarantees the FAIR model could deliver until it includes real signature checks. WordPress users do not receive the security guarantees the FAIR model could deliver until it includes real signature checks. Last stated a year ago
by 23 Aug 2025
KD
Kaspars Dambis — holds since 2025-08-23 — tap for who they are
Same subject: Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. — tap to centre the map on it Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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 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 a month ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — 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 a week ago
15 Oct 2026
AT
Adam Tornhill — holds since 2026-10-15 — tap for who they are
Same subject: Agents are the new compilers that compile intent into fast software. — tap to centre the map on it Agents are the new compilers that compile intent into fast software. Last stated a month ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — tap for who they are