Tap a claim on the ring to put it at the centre.
← The engineering intuition that matters cannot be taught from a…
17 connected korrents · 13 moments on record from 28 Oct 2011 to 3 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under Anthropic
Anthropic
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: The engineering intuition that matters cannot be taught from a textbook — you know bad patterns in software because you have debugged them at three in the morning. The engineering intuition that matters cannot be taught from a textbook — you know bad patterns in software because you have debugged them at three in the morning. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: Programming, not diagramming, is where an engineer actually learns, because code is the point at which you can no longer fool yourself about what you understand. — tap to centre the map on it Programming, not diagramming, is where an engineer actually learns, because code is the point at which you can no longer fool yourself about what you understand. Last stated 2 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — 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 how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Software development is separated from engineering by circumstance rather than essence, and most programmers could cross that gap without retraining. — tap to centre the map on it Software development is separated from engineering by circumstance rather than essence, and most programmers could cross that gap without retraining. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: Much of the wisdom programmers pass on to each other is nonsense that nobody ever tested, and refusing to be dogmatic about untested practice is what marks out a good engineer. — tap to centre the map on it Much of the wisdom programmers pass on to each other is nonsense that nobody ever tested, and refusing to be dogmatic about untested practice is what marks out a good engineer. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: Nobody in software treats debugging as a discipline; it is left as a handful of basic heuristics. — tap to centre the map on it Nobody in software treats debugging as a discipline; it is left as a handful of basic heuristics. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together. — tap to centre the map on it The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong. — tap to centre the map on it The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — 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 year. Last stated 5 days ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A language model asked to summarize its own system prompt risks that prompt's content biasing the summary it produces. — tap to centre the map on it A language model asked to summarize its own system prompt risks that prompt's content biasing the summary it produces. Last stated 6 days ago
2 Sept 2026
SW
Simon Willison — holds since 2026-09-02 — tap for who they are
Same subject: A trust that owns the mission protects a company better than founder control does, which is why Anthropic needs no dual-class shares. — tap to centre the map on it A trust that owns the mission protects a company better than founder control does, which is why Anthropic needs no dual-class shares. Last stated 4 months ago
10 May 2026
ER
Eric Ries — holds since 2026-05-10 — 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 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 than the paper is worth even at ninety-nine percent. 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: 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 splitting a problem makes it easier rather than harder. 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 from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — 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 scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
At the centre
The engineering intuition that matters cannot be taught from a textbook — you know bad patterns in software because you have debugged them at three in the morning.
Holds DH Dex HorthyRead this korrent →
Programming, not diagramming, is where an engineer actually learns, because code is the point at which you can no longer fool yourself about what you understand.
Holds KB Kent Beck
Programmers fail to recognise how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind.
Holds HW Hillel Wayne
Software development is separated from engineering by circumstance rather than essence, and most programmers could cross that gap without retraining.
Holds HW Hillel Wayne
Much of the wisdom programmers pass on to each other is nonsense that nobody ever tested, and refusing to be dogmatic about untested practice is what marks out a good engineer.
Holds CM Casey Muratori
Nobody in software treats debugging as a discipline; it is left as a handful of basic heuristics.
Holds HW Hillel Wayne
The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together.
Holds CM Casey Muratori
Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.
Holds HW Hillel Wayne
The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong.
Holds
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 language model asked to summarize its own system prompt risks that prompt's content biasing the summary it produces.
Holds
A trust that owns the mission protects a company better than founder control does, which is why Anthropic needs no dual-class shares.
Holds ER Eric Ries
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
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 will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios