Tap a claim on the ring to put it at the centre.
← Very few developers understand memory management, and that is why the…
17 connected korrents · 14 moments on record from 28 Jul 2023 to 19 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under Google
Google
Everything filed under compilers
compilers
Everything filed under developer tools
developer tools
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: Very few developers understand memory management, and that is why the state of the art in memory debugging has barely moved in years. Very few developers understand memory management, and that is why the state of the art in memory debugging has barely moved in years. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will. — tap to centre the map on it Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: What trips up newcomers to Rust is not the code but the shape of their data. — tap to centre the map on it What trips up newcomers to Rust is not the code but the shape of their data. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: An engineer writing business logic loses nothing by not understanding the layer underneath, exactly as they lose nothing by not managing memory. — tap to centre the map on it An engineer writing business logic loses nothing by not understanding the layer underneath, exactly as they lose nothing by not managing memory. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes. — tap to centre the map on it Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense. — tap to centre the map on it Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. — tap to centre the map on it A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: For an experienced programmer the bottleneck is usually not thinking but typing, getting what is already in your head into the editor fast enough. — tap to centre the map on it For an experienced programmer the bottleneck is usually not thinking but typing, getting what is already in your head into the editor fast enough. Last stated a year ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it. — tap to centre the map on it Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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-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
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — tap for who they are
At the centre
Very few developers understand memory management, and that is why the state of the art in memory debugging has barely moved in years.
Holds AO Addy OsmaniRead this korrent →
Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will.
Holds AR Alice Ryhl
What trips up newcomers to Rust is not the code but the shape of their data.
Holds AR Alice Ryhl
An engineer writing business logic loses nothing by not understanding the layer underneath, exactly as they lose nothing by not managing memory.
Holds MK Martin Kleppmann
Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes.
Holds AO Addy Osmani
Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense.
Holds SY Steve Yegge
A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle.
Holds AH Anders Hejlsberg
For an experienced programmer the bottleneck is usually not thinking but typing, getting what is already in your head into the editor fast enough.
Holds TH ThePrimeagen
Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it.
Holds HW Hillel Wayne
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-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
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system.
Holds JB Jeff Bezos
A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has.
Holds CD Cory Doctorow