Katzenpost founder. Cryptography, anonymous communication networks, security, privacy enhancing tech and formal methods. polyglot: Lean, Rust, Golang, Nim..
- San Francisco
- https://sphinx.rs
- @david415
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Quickdraw
Quickdraw
Loading
YOLO
YOLO
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
x2
Starstruck
x2
Loading