peterbhnews Karma 85 Created 6 years ago Recent Submissions 1. ▲ Programming FPGAs on macOS (youtube.com) 3 points · 1 year ago · 1 comment 2. ▲ The Incredible Proof Machine – An Introduction (youtube.com) 2 points · 3 years ago · 0 comments 3. ▲ The Natural Number Game: Proving Theorems with Lean (youtube.com) 1 point · 3 years ago · 0 comments All submissions on HN · View profile on HN