Hacker News new | ask | show | jobs
First Proof Second Batch [pdf] (1stproof.org)
2 points by chaoxu 47 days ago