Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
user:
calebh
created:
December 30, 2010
karma:
486
about:
Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.
Website: https://helbl.ing/
submissions
comments
favorites
