Submitted by egdaylight on
8 November 2017
Here's a remarkable essay about the history & future of software:
- James Somers's `The Coming Software Apocalypse,' which appeared in The Atlantic on 26 September 2017.
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.