HackerTube / Video
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.
HN points to it as a real-world example of Julia used in safety-critical aerospace design.
4 Hacker News mentions · 2016–2024