This profile of me in *The New Yorker* came out really well, if I do say so myself:

https://www.newyorker.com/culture/the-new-yorker-interview/cory-doctorow-wants-you-to-know-what-computers-can-and-cant-do

@pluralistic I talked to a german boiler manufactuer once about IoT. "And then they covered all physical functions with code - like turn on/off gas, start ignition. I asked how they prevent errors. They said with the firmware. You software guys think you can solve all with an update." ... 1/2
@pluralistic 2/2 "What if the firmware gets hacked? We are producing some 10k pcs of the boilers each year. If they all blow up at once, the fire departments would face a nightmare at a scale never seen before." He was right!
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical…

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

AdaCore