Tap a claim on the ring to put it at the centre.
← Work that matters requires tolerating discomfort and boredom rather than escaping into distraction.
17 connected korrents · 14 moments on record from 4 Feb 2009 to 3 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under benchmarks
benchmarks
Everything filed under taste
taste
Everything filed under formal proof
formal proof
Everything filed under AI and science
AI and science 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: Work that matters requires tolerating discomfort and boredom rather than escaping into distraction. Work that matters requires tolerating discomfort and boredom rather than escaping into distraction. Last stated 5 years ago
by 18 Aug 2021
OB
Oliver Burkeman — holds since 2021-08-18 — tap for who they are
CN
Cal Newport — holds since 2009-02-04 — 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… Last stated 2 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… Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of… Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory… Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a… Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. — tap to centre the map on it AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work… Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 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 to become economical, because models are getting good enough at writing the proofs that… 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 Lean currently takes about ten times the effort 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: A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. — tap to centre the map on it A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a… Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. — tap to centre the map on it A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a… Last stated 4 days ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own… Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A first draft should not be graded good or bad; it is only the material that taste then gets to act on. — tap to centre the map on it A first draft should not be graded good or bad; it is only the material that taste then gets to act on. Last stated a month ago
6 Aug 2026
GS
George Saunders — holds since 2026-08-06 — tap for who they are
Same subject: A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill. — tap to centre the map on it A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare… Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail. — tap to centre the map on it A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and… Last stated 17 years ago
12 Feb 2010
KS
Karri Saarinen — holds since 2010-02-12 — tap for who they are
At the centre
Work that matters requires tolerating discomfort and boredom rather than escaping into distraction.
Holds OB Oliver BurkemanCN Cal NewportRead this korrent →
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds GS Grant Sanderson
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.
Holds GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds
AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.
Holds TT Terence Tao
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools.
Holds GS Grant Sanderson
AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems.
Holds TT Terence Tao
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number.
Holds NB Noam Brown
A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year.
Holds
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A first draft should not be graded good or bad; it is only the material that taste then gets to act on.
Holds GS George Saunders
A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill.
Holds DF Dylan Field
A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail.
Holds KS Karri Saarinen