sabree Ξ» β β π₯ β π¨πΏβπ»
@heavypackets
β₯οΈ PL, Formal Methods, Privacy, DX, Rust π¦, Lean, F* π³βπ {β₯/β₯}
ID: 234897509
https://keybase.io/heavypackets 06-01-2011 21:08:21
7,7K Tweet
1,1K Followers
1,1K Following
@heavypackets
β₯οΈ PL, Formal Methods, Privacy, DX, Rust π¦, Lean, F* π³βπ {β₯/β₯}
ID: 234897509
https://keybase.io/heavypackets 06-01-2011 21:08:21
7,7K Tweet
1,1K Followers
1,1K Following