Users following fe-lang
lane
biocini
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
Ruud Erie
ruuderie
Technical Architect and Software Engineer with 12 years experience. Rust 🦀 | Apex | Javascript | Python
Oplyst International, LLC United States