Skip to content

Top Best Ask Show New Jobs

peterbhnews | Better HN

peterbhnews

85 karmaJoined October 13, 201911 submissions

Recent submissions

1

Programming FPGAs on macOS (opens in new tab)

(youtube.com)Video

3peterbhnews1y ago1

2

The Incredible Proof Machine – An Introduction (opens in new tab)

(youtube.com)Video

2peterbhnews3y ago0

3

The Natural Number Game: Proving Theorems with Lean (opens in new tab)

(youtube.com)Video

1peterbhnews4y ago0