Tap a claim on the ring to put it at the centre.
← Coding is a software-factory category that may end up bigger than knowledge work itself.
17 connected korrents · 16 moments on record from 22 Apr 2024 to 26 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under recursive self-improvement
recursive self-improvement
Everything filed under AI and jobs
AI and jobs
Everything filed under coding agents
coding agents
Everything filed under vibe coding
vibe coding
Everything filed under formal proof
formal proof 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: Coding is a software-factory category that may end up bigger than knowledge work itself. 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: Coding is the first job AI took because coding has always been text, which is the one thing these models are built to process. — tap to centre the map on it Coding is the first job AI took because coding has always been text, which is the one thing these models are built to process. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — tap for who they are
Same subject: Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop. — tap to centre the map on it Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop. Last stated 4 weeks ago
10 Aug 2026
FC
François Chollet — holds since 2026-08-10 — tap for who they are
Same subject: As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs. — tap to centre the map on it As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Saying that coding will be automated away first betrays a misunderstanding of software engineering, because coding is only a small part of the work. — tap to centre the map on it Saying that coding will be automated away first betrays a misunderstanding of software engineering, because coding is only a small part of the work. Last stated 2 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: This is the golden age of the junior programmer, because AI is an amplifier and the people learning quickly get amplified most. — tap to centre the map on it This is the golden age of the junior programmer, because AI is an amplifier and the people learning quickly get amplified most. Last stated 5 months ago
7 Apr 2026
KB
Kent Beck — holds since 2026-04-07 — tap for who they are
Same subject: AI writes code well only where a million repositories have already written it; getting it to do something genuinely new remains notoriously hard. — tap to centre the map on it AI writes code well only where a million repositories have already written it; getting it to do something genuinely new remains notoriously hard. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — tap for who they are
Same subject: The part of a coding agent that actually acts on code is not AI at all — it is simple systems code wired to ground truth, the way a Makefile is. — tap to centre the map on it The part of a coding agent that actually acts on code is not AI at all — it is simple systems code wired to ground truth, the way a Makefile is. Last stated a year ago
2 Jun 2025
TP
Thomas Ptacek — holds since 2025-06-02 — tap for who they are
Same subject: Refusing to write code with AI can be a philosophical decision rather than a productivity one: the reason to program something is that you want to program it. — tap to centre the map on it Refusing to write code with AI can be a philosophical decision rather than a productivity one: the reason to program something is that you want to program it. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not using language at all, because language requires an intention to communicate. Last stated 2 years ago
31 Aug 2024
TC
Ted Chiang — holds since 2024-08-31 — tap for who they are
Same subject: A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. — tap to centre the map on it A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. Last stated 2 years ago
22 Apr 2024
SC
Sean Carroll — holds since 2024-04-22 — tap for who they are
Same subject: AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. — tap to centre the map on it AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. Last stated a month ago
3 Aug 2026
CP
Chamath Palihapitiya — holds since 2026-08-03 — tap for who they are
Same subject: AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate. — tap to centre the map on it AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: Coding agents already do coarse-grained recursive self-improvement, because every use rewrites their instruction files and their long-term memory. — tap to centre the map on it Coding agents already do coarse-grained recursive self-improvement, because every use rewrites their instruction files and their long-term memory. Last stated a month ago
26 Jul 2026
JH
Jensen Huang — holds since 2026-07-26 — 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 humans no longer have to. 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
At the centre
Coding is a software-factory category that may end up bigger than knowledge work itself.
Holds SN Satya NadellaRead this korrent →
Coding is the first job AI took because coding has always been text, which is the one thing these models are built to process.
Holds
Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop.
Holds
As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs.
Holds MK Martin Kleppmann
Saying that coding will be automated away first betrays a misunderstanding of software engineering, because coding is only a small part of the work.
Holds KB Kent Beck
This is the golden age of the junior programmer, because AI is an amplifier and the people learning quickly get amplified most.
Holds KB Kent Beck
AI writes code well only where a million repositories have already written it; getting it to do something genuinely new remains notoriously hard.
Holds TS Tim Sweeney
The part of a coding agent that actually acts on code is not AI at all — it is simple systems code wired to ground truth, the way a Makefile is.
Holds
Refusing to write code with AI can be a philosophical decision rather than a productivity one: the reason to program something is that you want to program it.
Holds CM Casey Muratori
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary Marcus
A language model is not using language at all, because language requires an intention to communicate.
Holds TC Ted Chiang
A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human.
Holds SC Sean Carroll
AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started.
Holds CP Chamath Palihapitiya
AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate.
Holds NL Nathan Lambert
Coding agents already do coarse-grained recursive self-improvement, because every use rewrites their instruction files and their long-term memory.
Holds JH Jensen Huang
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