jylam

Karma: 683

Joined: 超过 9 年前

ID: jylam

About

Embedded software engineer. Currently formally proving code.

jylam at lnxscene org

Submissions

Visit submission history to see stories and comments by jylam.