HN
Hacker News
Top
New
Best
Ask
Show
Jobs
peterbhnews
85 karma · joined October 13, 2019
submissions
comments
Programming FPGAs on macOS
youtube.com
·
3 pts
·
peterbhnews
·
1
The Incredible Proof Machine – An Introduction
youtube.com
·
2 pts
·
peterbhnews
·
0
The Natural Number Game: Proving Theorems with Lean
youtube.com
·
1 pts
·
peterbhnews
·
0