korrents

On the map

Tap a claim on the ring to put it at the centre.

← Nobody should still be learning the CAP theorem, because the theorem…

17 connected korrents · 14 moments on record from 22 Apr 2024 to 18 Aug 2026.

Everything filed under LLMs LLMs Everything filed under AI and science AI and science Everything filed under mathematics mathematics Everything filed under the cloud the cloud Everything filed under formal proof formal proof Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Nobody should still be learning the CAP theorem, because the theorem that replaced it is more complete, no more complicated, and simpler to understand. Nobody should still be learning the CAPtheorem, because the theorem that replacedit is more complete, no more complicated,and simpler to understand. Last stated 2 months ago 24 Jun 2026 NE NeetCode — holds since 2026-06-24 — tap for who they are Same subject: Models can prove monumental theorems and still have never written an essay worth reading. — tap to centre the map on it Models can prove monumental theoremsand still have never written anessay worth reading. Last stated a month ago 31 Jul 2026 PC Patrick Collison — holds since 2026-07-31 — tap for who they are Same subject: The fear that a great theorem will arrive as an incomprehensible proof is misplaced, because once the proof exists as an artifact we can analyse it. — tap to centre the map on it The fear that a great theorem willarrive as an incomprehensible proofis misplaced, because once the proofexists as an artifact we can analyseit. Last stated 6 months ago 20 Mar 2026 TT Terence Tao — holds since 2026-03-20 — tap for who they are Same subject: Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes. — tap to centre the map on it Machine learning is a shallow fieldcompared with mathematics: even itsmost important ideas can beexplained in a couple of minutes. Last stated 4 weeks ago 11 Aug 2026 RG Ryan Greenblatt — holds since 2026-08-11 — tap for who they are Same subject: No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means. — tap to centre the map on it No single person can understand aresult like the Higgs boson indepth, and that is what a paper witha thousand authors actually means. Last stated 5 months ago 7 Apr 2026 MN Michael Nielsen — holds since 2026-04-07 — tap for who they are Same subject: Group theory took a hundred years to travel from one man's hunch to something the mathematical community agreed was good, passing through many heads on the way. — tap to centre the map on it Group theory took a hundred years totravel from one man's hunch tosomething the mathematical communityagreed was good, passing throughmany heads on the way. Last stated 2 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: Higher-level abstractions do not abolish low-level knowledge; they concentrate it in the smaller group of people who build the abstractions. — tap to centre the map on it Higher-level abstractions do notabolish low-level knowledge; theyconcentrate it in the smaller groupof people who build theabstractions. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: That people are good at maths and coding, which evolution never selected for, shows human learning is not a complicated evolutionary prior but something more fundamental. — tap to centre the map on it That people are good at maths andcoding, which evolution neverselected for, shows human learningis not a complicated evolutionaryprior but something morefundamental. Last stated 9 months ago 25 Nov 2025 IS Ilya Sutskever — holds since 2025-11-25 — 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 howmuch mathematics their job usesbecause the mathematics it needs isdiscrete and school teaches thecontinuous kind. Last stated a month ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitutefor a well-specified conventionalalgorithm, so it cannot simply bedropped into a complex problem andtrusted. Last stated a year ago 7 Jun 2025 GM Gary Marcus — holds since 2025-06-07 — tap for who they are Same subject: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not usinglanguage at all, because languagerequires an intention tocommunicate. Last stated 2 years ago 31 Aug 2024 TC Ted Chiang — holds since 2024-08-31 — tap for who they are Same subject: A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. — tap to centre the map on it A language model's apparent mind ismostly our own bias: it predictstext, and leverages our evolvedhabit of attributing intentionalityto anything that acts human. Last stated 2 years ago 22 Apr 2024 SC Sean Carroll — holds since 2024-04-22 — 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 proofnecessary, because human review ofall that generated code becomes thebottleneck. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about tobecome economical, because modelsare getting good enough at writingthe proofs that humans no longerhave to. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Leancurrently takes about ten times theeffort of writing it out: doable,but annoying. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are Same subject: AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientificdiscovery is done, and within two orthree years a working scientist'sjob will already look dramaticallydifferent. Last stated 3 weeks ago 18 Aug 2026 MK Michael Kratsios — holds since 2026-08-18 — tap for who they are Same subject: Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach. — tap to centre the map on it Autonomous cloud labs that run thewhole loop — hypothesis, experiment,result, next hypothesis — withouthuman intervention are within reach. Last stated 3 weeks ago 18 Aug 2026 MK Michael Kratsios — holds since 2026-08-18 — tap for who they are Same subject: Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect. — tap to centre the map on it Current AI struggles even torediscover old laws of physics fromdata, and when it does,contamination from training is thefirst suspect. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya face: someone on record holding the claim — tap it for who they are

At the centre Nobody should still be learning the CAP theorem, because the theorem that replaced it is more complete, no more complicated, and simpler to understand. Last stated 24 Jun 2026 · 2 months ago Holds NeetCode Read this korrent →