J. Somers: The Coming Software Apocalypse


8 November 2017

Here's a remarkable essay about the history & future of software:

If I could recommend only one article to students, this would be it.

The author addresses various topics that are dear to me (including: bugs gone wild in connected devices, safety-critical software, program correctness, formal methods, the limits of modeling, hacking into self-driving cars) and discusses the viewpoints of N. Leveson, E.W. Dijkstra, L. Lamport, G. Berry, and other prominent computer scientists (and formal methodists in particular).

An absolute delight to read! I thank Selmer Bringsjord for bringing this article to my attention.