Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
user:
jylam
created:
January 29, 2016
karma:
683
about:
Embedded software engineer. Currently formally proving code.
jylam at lnxscene org
submissions
comments
favorites
