How I came to write that paper with Leslie Lamportlawrencecpaulson.github.io
35 points by baruchel 5 hours ago | 9 comments