Hacker News new | ask | show | jobs
The Incredible Proof Machine – An Introduction (youtube.com)
2 points by peterbhnews 1445 days ago