Tap a claim on the ring to put it at the centre.
← The evidence from the largest software companies says programmers…
17 connected korrents · 13 moments on record from 7 Nov 2014 to 26 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under software performance
software performance
Everything filed under formal proof
formal proof
Everything filed under code generation
code generation 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: The evidence from the largest software companies says programmers should take performance more seriously than they do, not less. The evidence from the largest software companies says programmers should take performance more seriously than they do, not less. Last stated 3 years ago
26 Apr 2023
CM
Casey Muratori — holds since 2023-04-26 — tap for who they are
Same subject: Giving up a decade or more of hardware performance to make programming more comfortable is not an acceptable trade. — tap to centre the map on it Giving up a decade or more of hardware performance to make programming more comfortable is not an acceptable trade. Last stated 4 years ago
28 Feb 2023
CM
Casey Muratori — holds since 2023-02-28 — tap for who they are
Same subject: Everyone on a team who makes architectural decisions must understand performance, because a codebase that can be optimized later only ends up that way on purpose. — tap to centre the map on it Everyone on a team who makes architectural decisions must understand performance, because a codebase that can be optimized later only ends up that way on purpose. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: The software industry is massively underperforming its hardware, by factors of ten to a hundred, and people refuse to believe the numbers when you say them. — tap to centre the map on it The software industry is massively underperforming its hardware, by factors of ten to a hundred, and people refuse to believe the numbers when you say them. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: The programming practices taught as best practice are ruinous for performance and should not be followed. — tap to centre the map on it The programming practices taught as best practice are ruinous for performance and should not be followed. Last stated 4 years ago
28 Feb 2023
CM
Casey Muratori — holds since 2023-02-28 — tap for who they are
Same subject: A decade of arguing that software is too slow has started to work: new products are now attacking established categories on a performance pitch alone, and getting traction. — tap to centre the map on it A decade of arguing that software is too slow has started to work: new products are now attacking established categories on a performance pitch alone, and getting traction. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — 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: The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured. — tap to centre the map on it The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured. Last stated 12 years ago
7 Nov 2014
DL
Dan Luu — holds since 2014-11-07 — tap for who they are
Same subject: What sets a company’s velocity is spending its time on the right things, not how much code it produces. — tap to centre the map on it What sets a company’s velocity is spending its time on the right things, not how much code it produces. Last stated 3 years ago
5 Jan 2024
CM
Charity Majors — holds since 2024-01-05 — 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 acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. — tap to centre the map on it AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. Last stated a month ago
26 Jul 2026
DH
David Heinemeier Hansson — 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: Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception. — tap to centre the map on it Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — 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: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
At the centre
The evidence from the largest software companies says programmers should take performance more seriously than they do, not less.
Holds CM Casey MuratoriRead this korrent →
Giving up a decade or more of hardware performance to make programming more comfortable is not an acceptable trade.
Holds CM Casey Muratori
Everyone on a team who makes architectural decisions must understand performance, because a codebase that can be optimized later only ends up that way on purpose.
Holds CM Casey Muratori
The software industry is massively underperforming its hardware, by factors of ten to a hundred, and people refuse to believe the numbers when you say them.
Holds CM Casey Muratori
The programming practices taught as best practice are ruinous for performance and should not be followed.
Holds CM Casey Muratori
A decade of arguing that software is too slow has started to work: new products are now attacking established categories on a performance pitch alone, and getting traction.
Holds CM Casey Muratori
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
The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured.
Holds DL Dan Luu
What sets a company’s velocity is spending its time on the right things, not how much code it produces.
Holds CM Charity Majors
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 acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Every time software has become easier to create, the world has created exponentially more of it, and this time will be no exception.
Holds AO Addy Osmani
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
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne