korrents

On the map

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

← AI is making formal methods more popular without making them…

8 connected korrents · 8 moments on record from 22 Mar 2025 to 29 Jul 2026.

Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: 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. AI is making formal methods morepopular without making themmainstream, moving them from about atenth of a per cent of engineers tothree tenths. Last stated a month ago 29 Jul 2026 · a month ago HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: Predicting that AI would write 90% of the code was never a prediction that we would need 90% fewer software engineers. — tap to centre the map on it Predicting that AI would write90% of the code was never aprediction that we would need90% fewer software engineers. Last stated 7 months ago 13 Feb 2026 · 7 months ago DA Dario Amodei — holds since 2026-02-13 — tap for who they are Same subject: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical offormal methods because theywere burned by CASE and UML,sold as miracle solutions and… Last stated a month ago 29 Jul 2026 · a month ago HW Hillel Wayne — holds since 2026-07-29 — 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 thejunior programmer, because AIis an amplifier and the peoplelearning quickly get amplified… Last stated 5 months ago 7 Apr 2026 · 5 months ago KB Kent Beck — holds since 2026-04-07 — tap for who they are Same subject: Leaning on AI trades knowledge for speed, and the price may be a generation of programmers in which juniors stay juniors forever. — tap to centre the map on it Leaning on AI trades knowledgefor speed, and the price maybe a generation of programmersin which juniors stay juniors… Last stated a year ago 22 Mar 2025 · a year ago TH ThePrimeagen — holds since 2025-03-22 — tap for who they are Same subject: AI will not commoditise software tools; it will multiply them, because every new agent is another tool user. — tap to centre the map on it AI will not commoditisesoftware tools; it willmultiply them, because everynew agent is another tool… Last stated 5 months ago 15 Apr 2026 · 5 months ago JH Jensen Huang — holds since 2026-04-15 — tap for who they are Same subject: In this era fluency with AI tools beats years of accumulated experience, so seniority is now a liability rather than an edge. — tap to centre the map on it In this era fluency with AItools beats years ofaccumulated experience, soseniority is now a liability… Last stated a month ago 28 Jul 2026 · a month ago SA Sam Altman — holds since 2026-07-28 — tap for who they are Same subject: The prediction that 90% of code will be AI-written by the end of 2025 deserves skepticism, though manual programming may yet become a horse: ridden for love, not transport. — tap to centre the map on it The prediction that 90% ofcode will be AI-written by theend of 2025 deservesskepticism, though manual… Last stated a year ago 12 Jul 2025 · a year ago DH David Heinemeier Hansson — holds since 2025-07-12 — 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 onlyrecently became good enough tochange the answer: after yearsof hating them, most of this… Last stated 2 months ago 24 Jun 2026 · 2 months ago NE NeetCode — holds since 2026-06-24 — tap for who they are
same subject or similar wordingbar: how recently it was last stated — full and dark this week, a faint sliver at five years

At the centre 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 29 Jul 2026 · a month ago Holds Hillel Wayne Read this korrent →