heavypackets
Sabree Blackmon
Formal Verification Poser // Security, privacy, category theory, dependent type systems, distributed & decentralized // Rust, Idris, F* ♥
Washington, DC
Following (70)
|
cemckenzie Clara McKenzie |
|
bernino Bernino Lind |
|
nikiluk Nikita Lukianets |
|
dolpheus Ryan Russell |
|
sethvargo Seth Vargo |
|
kampe Nick Kampe |
|
iv Ivan Pedrazas |
|
lukebond Luke Bond |
|
dgubi David Gubitosi |
|
cmeiklejohn Christopher Meiklejohn |
Followers (40)
|
convoy83 Justin Barnard |
|
beniissembert |
|
agiosotendies TOTALLY NOT Tim |
|
dvcanton |
|
jonmeadowsuk Jonathan meadows |
|
|
nikiluk Nikita Lukianets |
|
sublimino Andrew Martin |
|
arnaude_d_usseau |
|
|
dolpheus Ryan Russell |
|
rot26 Chris Coleman |
Browse others (15)
|
ibborisse Boris Alfani |
|
alsosprachchiyo_ Chiyo 飛鳥井 |
|
elliottmg Mark Elliott |
|
rgpatara Ricardo Patara |
|
adrianap Adriana Aponte |
|
amra Amra Coric |
|
weedshaker Silvan |
|
jamdoog James |
|
thesociableme (ﾉ_)ﾉ ɹǝuƃɐM ʞɹɐW |
|
flfruit FLnChill |
|
brunolmfg Bruno Leonardo Gonçalves |
