dataking

has 789 karma and joined 14 years ago

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 ]