Tap a claim on the ring to put it at the centre.
← Existing AI models were already more than good enough for writing code and do more than can be utilized from them.
17 connected korrents · 17 moments on record from 19 Jun 2024 to 8 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under coding agents
coding agents
Everything filed under AI writing
AI writing
Everything filed under the cloud
the cloud
Everything filed under education
education
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: Existing AI models were already more than good enough for writing code and do more than can be utilized from them. Existing AI models were already more than good enough for writing code and do more than can be utilized from them. Last stated today
8 Sept 2026
GO
Gergely Orosz — holds since 2026-09-08 — tap for who they are
Same subject: Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before. — tap to centre the map on it Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — tap for who they are
Same subject: AI models have reached the level of a junior engineer on longer-running, agent-based coding tasks. — tap to centre the map on it AI models have reached the level of a junior engineer on longer-running, agent-based coding tasks. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — 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 AI coding tools only recently became good enough to change the answer: after years of hating them, most of this codebase is now written by AI. — tap to centre the map on it The AI coding tools only recently became good enough to change the answer: after years of hating them, most of this codebase is now written by AI. Last stated 2 months ago
24 Jun 2026
NE
NeetCode — holds since 2026-06-24 — tap for who they are
Same subject: A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it. — tap to centre the map on it A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent. — tap to centre the map on it AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: What limits you with coding agents is your own skill at stringing them together, not the capability of the models. — tap to centre the map on it What limits you with coding agents is your own skill at stringing them together, not the capability of the models. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — tap for who they are
Same subject: The most underused thing AI does is teach you: people reach for it to write their code and forget it can take them through a curriculum in an hour. — tap to centre the map on it The most underused thing AI does is teach you: people reach for it to write their code and forget it can take them through a curriculum in an hour. Last stated 12 months ago
21 Sept 2025
JZ
Julie Zhuo — holds since 2025-09-21 — tap for who they are
Same subject: A bigger context window does not give you a smarter model; the intelligence of the model is what decides how much of that window it can actually attend to. — tap to centre the map on it A bigger context window does not give you a smarter model; the intelligence of the model is what decides how much of that window it can actually attend to. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: A child who has seen ten cats learns what a machine needs the whole internet of cat photos for, by a learning pathway nobody has solved. — tap to centre the map on it A child who has seen ten cats learns what a machine needs the whole internet of cat photos for, by a learning pathway nobody has solved. Last stated 4 weeks ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — tap for who they are
Same subject: A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model. — tap to centre the map on it A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious. — tap to centre the map on it LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious. Last stated a year ago
2 Jun 2025
TP
Thomas Ptacek — holds since 2025-06-02 — tap for who they are
Same subject: Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth. — tap to centre the map on it Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth. Last stated 2 years ago
19 Jun 2024
AS
Aravind Srinivas — holds since 2024-06-19 — tap for who they are
Same subject: Proprietary data is not an advantage in training large language models, because no company's holdings are large enough to matter. — tap to centre the map on it Proprietary data is not an advantage in training large language models, because no company's holdings are large enough to matter. Last stated a year ago
2 Sept 2025
BE
Benedict Evans — holds since 2025-09-02 — 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: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
At the centre
Existing AI models were already more than good enough for writing code and do more than can be utilized from them.
Holds Read this korrent →
Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before.
Holds
AI models have reached the level of a junior engineer on longer-running, agent-based coding tasks.
Holds JD Jeff Dean
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 AI coding tools only recently became good enough to change the answer: after years of hating them, most of this codebase is now written by AI.
Holds NE NeetCode
A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it.
Holds NB Noam Brown
AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent.
Holds SN Satya Nadella
What limits you with coding agents is your own skill at stringing them together, not the capability of the models.
Holds
The most underused thing AI does is teach you: people reach for it to write their code and forget it can take them through a curriculum in an hour.
Holds JZ Julie Zhuo
A bigger context window does not give you a smarter model; the intelligence of the model is what decides how much of that window it can actually attend to.
Holds DH Dex Horthy
A child who has seen ten cats learns what a machine needs the whole internet of cat photos for, by a learning pathway nobody has solved.
Holds FL Fei-Fei Li
A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model.
Holds
LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious.
Holds
Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth.
Holds AS Aravind Srinivas
Proprietary data is not an advantage in training large language models, because no company's holdings are large enough to matter.
Holds BE Benedict Evans
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
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds HW Hillel Wayne