korrents

← Programming is mathematical work: it uses discrete mathematics rather…

On the map

8 connected korrents · 6 moments on record from 28 Oct 2011 to 30 Jun 2026.

Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Programming is mathematicalwork: it uses discretemathematics rather than the… HW Hillel Wayne — holds since 2021-01-18 A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. A proof and anexplanation are… GS Grant Sanderson — holds since 2026-06-30 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. A stream of AI-writtenpapers with any error… GS Grant Sanderson — holds since 2026-06-30 Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Academic credentials —grades, major, the… PM Patrick McKenzie — holds since 2011-10-28 Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Aesthetics is truth:when something is… DH David Heinemeier Hansson — holds since 2026-04-08 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. AI could compete withhuman mathematicians… TT Terence Tao — holds since 2025-06-14 AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. AI in chess andmathematics does not… LF Lex Fridman — holds since 2025-06-14 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. AI learning to generategood conjectures will… GS Grant Sanderson — holds since 2026-06-30 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. AI will revolutionisemathematics by giving… TT Terence Tao — holds since 2026-03-20
same subject