jylam

Created:9 years agoKarma: 683

submissions / comments / favorites

Embedded software engineer. Currently formally proving code.

jylam at lnxscene org