David Stainton
david415
Katzenpost founder. Cryptography, anonymous communication networks, security, privacy enhancing tech and formal methods. polyglot: Lean, Rust, Golang, Nim..
San Francisco
Ian Johnson
enjalot
pixel flipper, data sifter. trying to see what I can while I'm here
Latent Interfaces Atlanta, GA