jylam

Created:9 years agoKarma: 669

submissions / comments / favorites

Embedded software engineer. Currently formally proving code.

jylam at lnxscene org