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