| user: | dataking |
| created: | 13 years ago |
| karma: | 749 |
| about: | 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 ] |