The role of the proof in the history of distributed systems research | Hacker News Reader