Joined 1/29/2016, 1:01:15 PM has 683 karma
Embedded software engineer. Currently formally proving code.
jylam at lnxscene org
Tesla German plant halts production after attack claimed by far-left group