jylam Karma 683 Created 10 years ago About Embedded software engineer. Currently formally proving code.jylam at lnxscene org Recent Submissions 1. ▲ Tesla German plant halts production after attack claimed by far-left group (lemonde.fr) 2 points · 1 year ago · 0 comments All submissions on HN · View profile on HN