HN Explorer

BmoreDaniel

↗ HN profile [ 143 ms ] full profile
Karma
11
Created
June 22, 2014 (12y ago)
Submissions
0
  1. How to do induction on the real numbers (ucsd-pl.github.io)
    1 points 0
  2. VeriDrone project: building quadcopters people can bet their lives on [video] (ucsd-pl.github.io)
    21 points 4