jylam
Embedded software engineer. Currently formally proving code.
jylam at lnxscene org
Recent submissions
All submissions and comments on Hacker News.
Embedded software engineer. Currently formally proving code.
jylam at lnxscene org
All submissions and comments on Hacker News.