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.

Added to korrents 29 Jul 2026 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• Predicting that AI would write 90% of the code was never a prediction that we would need 90% fewer software engineers. DADario Amodei13 Feb 2026similar wording
• 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. HWHillel Wayne29 Jul 2026similar wording
• This is the golden age of the junior programmer, because AI is an amplifier and the people learning quickly get amplified most. KBKent Beck7 Apr 2026similar wording
• Leaning on AI trades knowledge for speed, and the price may be a generation of programmers in which juniors stay juniors forever. THThePrimeagen22 Mar 2025similar wording
• AI will not commoditise software tools; it will multiply them, because every new agent is another tool user. JHJensen Huang15 Apr 2026similar wording

See this on the map →