When FORTRAN was being designed by Backus and his colleagues at IBM in 1956, the modern #IT industry was simultaneously being hatched. In those early days, #programming was a #mathematical activity.
Some three decades later, in the 1990s, many universities still taught their #CS students the theoretical foundations of the discipline: discrete mathematics, algorithmic analysis, complexity theory, computability theory, category theory, and so on.
Now though, there are some interviewees, with CS PhD from reputable state universities, who cannot analyse a well known algorithm, let alone designing one from scratch. And forget about computability theory, complexity theory, category theory, the lot. But they know Python and PyTorch—naturally!
In just seven decades, our field went from being largely mathematical while resting upon the shoulders of intellectual giants like von Neumann, Church, Turing, Kleene, Backus, Knuth, Cook, Scott, et al., to being completely gut-feel while labouring under the yoke of industrial giant LLMs.
⬆️ @eliasulrich
High #hubris uses #AI to hit children's school — Far more catastrophic than the 2008 #financial meltdown caused by indiscriminate use of #mathematical modeling of #creditDefaultSwaps.
>> "As planning for a potential strike in #Iran was underway, #Maven, powered by #Claude, suggested hundreds of targets, issued precise location coordinates, and prioritized those targets according to importance…. The #AItools also evaluate a strike AFTER it is initiated…"
https://www.washingtonpost.com/technology/2026/03/04/anthropic-ai-iran-campaign/