Hacker News new | ask | show | jobs
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com)
2 points by wwilson 313 days ago