Ariane, every mention
1 scene · ← back to Ariane
tap a year for its mentions
every year anyone Carina Hong 1
Verbatim, from the transcripts: the passages where Ariane comes up
Scaling Past Informal AI - Carina Hong, Axiom Math
- ▶ 7:24 Carina Hong Um, and like, I think around the time of Challenger, both before and after European Space Agency was using formal verification for the Ariane spacecraft.