Michael Stonebaker of MIT Wins the ACM Turing Prize | Hacker News Reader