Y
Hacker News
new
|
ask
|
show
|
jobs
user:
BmoreDaniel
created:
2014-06-22
karma:
11
submissions:
How to do induction on the real numbers
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
VeriDrone project: building quadcopters people can bet their lives on [video]
21 points
|
4 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments