heavypackets
Sabree Blackmon
Rust for critical systems // Security, privacy, category theory, dependent type systems, distributed & decentralized // Rust, Haskell, Idris, Mg, F* ♥
Saint Louis, MO
Following (71)
|
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 |
|
denhamparry Lewis Denham-Parry |
Followers (39)
|
convoy83 Justin Barnard |
|
dvcanton |
|
jonmeadowsuk Jonathan meadows |
|
|
nikiluk Nikita Lukianets |
|
sublimino Andrew Martin |
|
arnaude_d_usseau |
|
|
dolpheus Ryan Russell |
|
rot26 Chris Coleman |
|
|
kampe Nick Kampe |
|
|
dgubi David Gubitosi |
