Tap a claim on the ring to put it at the centre.
← Each programming language embodies a distinct mental model for…
17 connected korrents · 12 moments on record from 1 Feb 2015 to 26 Aug 2026.
Everything filed under AI and human skill
AI and human skill
Everything filed under vibe coding
vibe coding
Everything filed under coding agents
coding agents
Everything filed under design
design
Everything filed under LLMs
LLMs
Everything filed under mathematics
mathematics
Everything filed under software quality
software quality 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: Each programming language embodies a distinct mental model for thinking about computation and writing programs. Each programming language embodies a distinct mental model for thinking about computation and writing programs. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: Programming languages shape how programmers think, similar to how spoken languages shape thought. — tap to centre the map on it Programming languages shape how programmers think, similar to how spoken languages shape thought. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: You cannot learn to code by having a model write it: the mental models only come from writing programs by hand. — tap to centre the map on it You cannot learn to code by having a model write it: the mental models only come from writing programs by hand. Last stated 10 months ago
18 Nov 2025
SY
Scott H. Young — holds since 2025-11-18 — tap for who they are
Same subject: A programming language functions as a lens that shapes how a problem is perceived when solving it. — tap to centre the map on it A programming language functions as a lens that shapes how a problem is perceived when solving it. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: Splitting functions into synchronous and asynchronous kinds forces that distinction into every piece of code a programmer afterwards writes. — tap to centre the map on it Splitting functions into synchronous and asynchronous kinds forces that distinction into every piece of code a programmer afterwards writes. Last stated 12 years ago
1 Feb 2015
BN
Bob Nystrom — holds since 2015-02-01 — tap for who they are
Same subject: You learn a programming language by building something in it, not by reading about it. — tap to centre the map on it You learn a programming language by building something in it, not by reading about it. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. — tap to centre the map on it Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — 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: A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. — tap to centre the map on it A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: A machine doing your work better than you is no reason to stop doing it, because the point of the work was never that only you could do it. — tap to centre the map on it A machine doing your work better than you is no reason to stop doing it, because the point of the work was never that only you could do it. Last stated 4 months ago
2 Jun 2026
LS
L. M. Sacasas — holds since 2026-06-02 — tap for who they are
Same subject: A skill being automated is not a reason to stop learning it: practising what machines already do is often the stepping stone to what only people can do. — tap to centre the map on it A skill being automated is not a reason to stop learning it: practising what machines already do is often the stepping stone to what only people can do. Last stated 10 months ago
18 Nov 2025
SY
Scott H. Young — holds since 2025-11-18 — tap for who they are
Same subject: A well-written email does not need an AI summary, and an executive who delegates his reading to one has stopped doing the job. — tap to centre the map on it A well-written email does not need an AI summary, and an executive who delegates his reading to one has stopped doing the job. Last stated a year ago
21 May 2025
EZ
Ed Zitron — holds since 2025-05-21 — tap for who they are
Same subject: A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. — tap to centre the map on it A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A sense of achievement in software survives writing almost none of the code yourself. — tap to centre the map on it A sense of achievement in software survives writing almost none of the code yourself. Last stated 4 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works. — tap to centre the map on it A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — 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 language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. — tap to centre the map on it A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. — tap to centre the map on it A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
At the centre
Each programming language embodies a distinct mental model for thinking about computation and writing programs.
Holds Read this korrent →
Programming languages shape how programmers think, similar to how spoken languages shape thought.
Holds
You cannot learn to code by having a model write it: the mental models only come from writing programs by hand.
Holds
A programming language functions as a lens that shapes how a problem is perceived when solving it.
Holds
Splitting functions into synchronous and asynchronous kinds forces that distinction into every piece of code a programmer afterwards writes.
Holds
You learn a programming language by building something in it, not by reading about it.
Holds
Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own.
Holds
Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths.
Holds
A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts.
Holds
A machine doing your work better than you is no reason to stop doing it, because the point of the work was never that only you could do it.
Holds
A skill being automated is not a reason to stop learning it: practising what machines already do is often the stepping stone to what only people can do.
Holds
A well-written email does not need an AI summary, and an executive who delegates his reading to one has stopped doing the job.
Holds
A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break.
Holds
A sense of achievement in software survives writing almost none of the code yourself.
Holds
A team can stop reading the code it ships, but only by first working out how its agents are to prove that what they wrote actually works.
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 language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass.
Holds
A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would.
Holds