Katzenpost founder. Interests include cryptography, anonymous communication networks, security, privacy and formal methods. Lean 4,Rust, Golang, Python
- San Francisco
- https://sphinx.rs
- @david415
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Principal Research Software Engineer at Lean FRO Portland, OR
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Max Hillebrand
MaxHillebrand
Free software entrepreneur at the forefront of monetary computer science. Making bitcoin fungible with Wasabi Wallet @zkSNACKs.
Second ~ 5722 3FE1 FF39 BB1E 3FEA Realm ~ 6694 0F01 0959 E6C5 120C
Cathie Yun
cathieyun
Interested in bridging the gap between research and applied cryptography.
United States
Montgomery Edwards⁴⁴⁸
x448
Cryptography, data security, privacy, and digital rights management.
United States
Chris Lin
ChrisLinn
Alt for https://github.com/HAOYUatHZ; LinkedIn: https://linkedin.com/in/haoyu-lin-239474123. POISONed.
Beijing, China
Nicolas M.
penguwin
DevSecOps | Vibe driven development | Failure is not an Option<T>
its a Result<T, E>
Augsburg University of Applied Sciences Augusta Vindelicorum
Christian Muehlhaeuser
muesli
I hack on @charmbracelet.
Geek, Gopher, Software Developer, Maker, Opensource Advocate, Tech Enthusiast, Photographer, Board and Card Gamer.
Sofía Celi
claucece
Cryptography @brave. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare @thoughtworks @dyne
@brave AMS/LIS/UIO
Helder S Ribeiro
hsribei
Anfitrião do Garantida Podcast 🎧. Espameador da Renda Básica Universal. Engenharia da Computação @ Unicamp.
Agent of User Brasil
PreviousNext