korrents

On the map

Tap a claim on the ring to put it at the centre.

← Tests and type checkers are safety nets: they do not make a system…

17 connected korrents · 16 moments from 31 Dec 2023 to 20 Sept 2026.

Everything filed under software quality software quality Everything filed under TypeScript TypeScript Everything filed under coding agents coding agents Everything filed under AI and jobs AI and jobs Everything filed under LLMs LLMs Everything filed under coding agents coding agents Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Tests and type checkers are safety nets: they do not make a system simple, so they cannot touch the core problem of understanding it. Tests and type checkers are safety nets:they do not make a system simple, so theycannot touch the core problem ofunderstanding it. RH Rich Hickey — holds since c. 2011 — tap for who they are Same subject: Covering every line of code in tests does not guarantee covering every possible program state. — tap to centre the map on it Covering every line of code in testsdoes not guarantee covering everypossible program state. Last stated 4 months ago 7 Jun 2026 SS Salvatore Sanfilippo — holds since 2026-06-07 — tap for who they are Same subject: Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. — tap to centre the map on it Because its types are erased beforethe program runs, TypeScript canafford not to be sound: checking 99%beats the 0% JavaScript checked, andbuys features a sound languagecannot offer. Last stated 5 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: Safety guardrails make a coding model more dangerous rather than less, because one refusal turns it into something that refuses anything. — tap to centre the map on it Safety guardrails make a codingmodel more dangerous rather thanless, because one refusal turns itinto something that refusesanything. Last stated a month ago 31 Aug 2026 PL Pieter Levels — holds since 2026-08-31 — tap for who they are Same subject: Redefining the engineer's job as building guardrails is not novel — it is the same problem as making a junior engineer effective, which we never solved either. — tap to centre the map on it Redefining the engineer's job asbuilding guardrails is not novel —it is the same problem as making ajunior engineer effective, which wenever solved either. Last stated 4 months ago 27 May 2026 DR Dax Raad — holds since 2026-05-27 — 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 skillproblem: the mistakes are trivialand there are so many places to makeone that even an excellentprogrammer will. Last stated 5 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together. — tap to centre the map on it The specific rules taught as cleancode are simply bad programmingpractices, and they get worse whenyou apply them together. Last stated a month ago 26 Aug 2026 CM Casey Muratori — holds since 2026-08-26 — tap for who they are Same subject: Careful step-by-step thinking is a property of the developer, not something a tool or framework can enforce — tap to centre the map on it Careful step-by-step thinking is aproperty of the developer, notsomething a tool or framework canenforce Last stated 9 months ago 18 Jan 2026 HH Hamel Husain — holds since 2026-01-18 — tap for who they are Same subject: AI text detectors and the LLMs they try to catch are locked in a permanent cat-and-mouse arms race. — tap to centre the map on it AI text detectors and the LLMs theytry to catch are locked in apermanent cat-and-mouse arms race. Last stated 2 months ago 15 Aug 2026 SR Sebastian Raschka — holds since 2026-08-15 — tap for who they are Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding toolsremains responsible for reviewingthe code they ship. Last stated 7 months ago 10 Mar 2026 JS Jon Seager — holds since 2026-03-10 — tap for who they are Same subject: CMake tooling is missing a linter that could statically catch most CMakeLists.txt mistakes. — tap to centre the map on it CMake tooling is missing a linterthat could statically catch mostCMakeLists.txt mistakes. Last stated 3 weeks ago 20 Sept 2026 CW Chris Wellons — holds since 2026-09-20 — tap for who they are Same subject: Comparing code coverage between passing and failing test runs is a cheap, effective way to localize a bug quickly. — tap to centre the map on it Comparing code coverage betweenpassing and failing test runs is acheap, effective way to localize abug quickly. Last stated a year ago 25 Apr 2025 RC Russ Cox — holds since 2025-04-25 — tap for who they are Same subject: Everyone is rethinking code reviews, deploys, and possibly observability — tap to centre the map on it Everyone is rethinking code reviews,deploys, and possibly observability Last stated 3 weeks ago 16 Sept 2026 GO Gergely Orosz — holds since 2026-09-16 — tap for who they are Same subject: Local models are not yet reliable enough for production software development. — tap to centre the map on it Local models are not yet reliableenough for production softwaredevelopment. Last stated 4 months ago 15 Jun 2026 VB Vicki Boykis — holds since 2026-06-15 — tap for who they are Same subject: Metaprogramming in a language creates fundamental obstacles to static analysis of its code. — tap to centre the map on it Metaprogramming in a languagecreates fundamental obstacles tostatic analysis of its code. Last stated 3 years ago 31 Dec 2023 PH Phil Hagelberg — holds since 2023-12-31 — tap for who they are Same subject: The valuable form of loop engineering is a slow loop — a nightly cron job that fixes one thing and opens one pull request — not a redesign of your whole infrastructure around agents. — tap to centre the map on it The valuable form of loopengineering is a slow loop — anightly cron job that fixes onething and opens one pull request —not a redesign of your wholeinfrastructure around agents. Last stated 3 months ago 15 Jul 2026 DH Dex Horthy — holds since 2026-07-15 — 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 aweekend returns work that is halfgood, a quarter garbage and aquarter 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 software engineer who is not using a tool like Cursor is working at half productivity or worse. — tap to centre the map on it A software engineer who is not usinga tool like Cursor is working athalf productivity or worse. Last stated a year ago 18 Aug 2025 BT Bret Taylor — holds since 2025-08-18 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya face: someone who holds the claim — tap it for who they are

At the centre Tests and type checkers are safety nets: they do not make a system simple, so they cannot touch the core problem of understanding it. Last stated c. 2011 Holds Rich Hickey Read this korrent →