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 |