Hacker News new | ask | show | jobs
Software can be perfect: making provably correct code tractable (youtube.com)
3 points by blainehansen 1586 days ago