5 ms·

Consider how many automobiles ship each year. They have layer upon layer of safety-critical code in them. Do you think the steering code your self-driving car i

by bregma 5y ago

Consider how many automobiles ship each year. They have layer upon layer of safety-critical code in them. Do you think the steering code your self-driving car is written in is JavaScript connected to Ruby microservices in the cloud? If missiles can kill safely because their control systems are written in Ada, then cars can too.

asddubs 5y ago
actually I think using javascript to steer cars could be very productive in making them kill
pjmlp 5y ago
Which is why NVidia is using Ada for safety-critical firmware, even though they are a C++ shop. https://www.adacore.com/nvidia https://www.adacore.com/nvidia
- touisteur 5y ago
  Oh fun fun fun 'we didn't think we'd break the firmware written in spark so we broke the ISA' https://blog.adacore.com/when-the-isa-is-the-weakest-link https://blog.adacore.com/when-the-isa-is-the-weakest-link
  - pjmlp 5y ago
    Great stuff, thanks for sharing.