Interesting Things on the Internet: October 2nd 2017

• The Coming Software Apocalypse. Interesting appeal for more formal verification in software. We do need to get better at building software, although I think formal verification should be matched with more design or systems thinking education/recognition too. Having had to write a bunch of Z (a formal specification language) during my Computer Science degree, I wonder if TLA+ is actually usable. Z was painful to use, and I had first-year degree maths too, so it's not that I'm completely inept at maths.
• Unpublishable: Censored Emails From Noam Chomsky. Redaction as art. Lovely.
• Smell of data. Beautiful metaphor and well-chosen alert mechanism for data leaks.
• Autopsy of a slow train wreck. Building a business is hard, exhibit A.
• Things learned while running your own self-funded startup. Building a business is hard, exhibit B.
• Three Paths in the Tech Industry: Founder, Executive, or Employee. Sage career advice for anyone wanting to work in the tech/startup world.
• The 21st floor. Harrowing stories of the families who lived (and survived and died) on just one of the floors of Grenfell Tower. It continues to be a disgraceful affair, and Chelsea council and the Government aren't showing any signs of improving.
• Introducing The National Algorithm. Excellent look at the development of modern army uniforms, and how to create a true Dutch camouflage.
• The inside story of what it took to keep a Texas grocery chain running in the chaos of Hurricane Harvey. Excellent report on how one supermarket chain dealt with hurricane Harvey. What sort of decisions they needed to make, how they adapted their supply chain, and so on. The ability to do this sort of exception handling is so often lost as systems are computerised for "better efficiency".

Cennydd Bowles: Ethics in the AI Age from Interaction Design Association on Vimeo.