dataking
...joined 13 years ago, and has 749 karma
submissions / comments / favourites
leading a team building c2rust and migrating code to Rust.
more info at https://github.com/immunant and https://immunant.com
[ my public key: https://keybase.io/dataking; my proof: https://keybase.io/dataking/sigs/eI6etDfhwHsD2RqLtnR15ZXXPljxGygqee07pjAgAh4 ]