New top story on Hacker News: Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]

No comments