Hacker News new | ask | show | jobs
Proof, computation and truth (thinkingcomplete.blogspot.com)
3 points by ricraz 2944 days ago