If I recall correctly, Galois also got involved in a DARPA initiative a few years back (HACMS [0]) to create un-hackable UAVs (drones) - use the Haskell type sy

If I recall correctly, Galois also got involved in a DARPA initiative a few years back (HACMS [0]) to create un-hackable UAVs (drones) - use the Haskell type system to produce non-vulnerable C code [0] https://galois.com/project/hacms-high-assurance-cyber-military-systems/ https://galois.com/project/hacms-high-assurance-cyber-milita...