Tap a claim on the ring to put it at the centre.
← Programming is fundamentally the practice of making tradeoffs about what matters and what doesn't.
17 connected korrents · 16 moments on record from 28 Oct 2011 to 3 Sept 2026.
Everything filed under coding agents
coding agents
Everything filed under mathematics
mathematics
Everything filed under Anthropic
Anthropic
Everything filed under design
design 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: Programming is fundamentally the practice of making tradeoffs about what matters and what doesn't. Programming is fundamentally the practice of making tradeoffs about what matters and what doesn't. Last stated 3 years ago
6 Feb 2024
DC
David Crawshaw — holds since 2024-02-06 — tap for who they are
Same subject: Programming is essentially the craft of turning ambiguous ideas into precise, specific instructions. — tap to centre the map on it Programming is essentially the craft of turning ambiguous ideas into precise, specific instructions. Last stated 8 months ago
4 Feb 2026
SH
Scott Hanselman — holds since 2026-02-04 — tap for who they are
Same subject: Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. — tap to centre the map on it Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: No single way of modeling data and methods in code is universally correct; every approach is just a set of trade-offs. — tap to centre the map on it No single way of modeling data and methods in code is universally correct; every approach is just a set of trade-offs. Last stated 5 years ago
8 Feb 2022
PH
Phil Hagelberg — holds since 2022-02-08 — tap for who they are
Same subject: Meta-programming is usually unnecessary complexity that obscures what code is meant to do. — tap to centre the map on it Meta-programming is usually unnecessary complexity that obscures what code is meant to do. Last stated 11 years ago
22 Oct 2015
TB
Thorsten Ball — holds since 2015-10-22 — tap for who they are
Same subject: Because programming requires forgetting, developers should weigh the costs of their abstractions and who those abstractions leave out. — tap to centre the map on it Because programming requires forgetting, developers should weigh the costs of their abstractions and who those abstractions leave out. Last stated 4 years ago
25 Jul 2022
PH
Phil Hagelberg — holds since 2022-07-25 — 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 3 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: Coding is a software-factory category that may end up bigger than knowledge work itself. — tap to centre the map on it Coding is a software-factory category that may end up bigger than knowledge work itself. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: Most of the pain a beginner feels while learning to program is not the difficulty of the craft but the failure of programming language design. — tap to centre the map on it Most of the pain a beginner feels while learning to program is not the difficulty of the craft but the failure of programming language design. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — tap for who they are
Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. Last stated 6 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. — tap to centre the map on it A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. Last stated 3 weeks ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-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 3 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 3 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: 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 3 weeks 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 3 weeks 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
At the centre
Programming is fundamentally the practice of making tradeoffs about what matters and what doesn't.
Holds Read this korrent →
Programming is essentially the craft of turning ambiguous ideas into precise, specific instructions.
Holds
Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths.
Holds
No single way of modeling data and methods in code is universally correct; every approach is just a set of trade-offs.
Holds
Meta-programming is usually unnecessary complexity that obscures what code is meant to do.
Holds
Because programming requires forgetting, developers should weigh the costs of their abstractions and who those abstractions leave out.
Holds
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
Coding is a software-factory category that may end up bigger than knowledge work itself.
Holds
Most of the pain a beginner feels while learning to program is not the difficulty of the craft but the failure of programming language design.
Holds
A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
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
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
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