Hacker News new | ask | show | jobs
user: peterbhnews
created: 2019-10-13
karma: 85

submissions:

0 points | 0 comments
0 points | 0 comments
Programming FPGAs on macOS
3 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Incredible Proof Machine – An Introduction
2 points | 0 comments
The Natural Number Game: Proving Theorems with Lean
1 points | 0 comments
0 points | 0 comments