HN Explorer

peterbhnews

↗ HN profile [ 29.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Programming FPGAs on macOS (youtube.com)
    3 points 1
  2. The Incredible Proof Machine – An Introduction (youtube.com)
    2 points 0
  3. The Natural Number Game: Proving Theorems with Lean (youtube.com)
    1 points 0
  4. Adventures in Teaching Haskell to Kids (youtube.com)
    1 points 0