romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystemsLausanne, Switzerland
romac's Following
- alexcrichton
- apalache
- b-studiosUniversity of Tübingen
- BastienFaivre@metacube-games @informalsystems
- bearcoveFrance
- BurntSushi@astral-sh
- cmuratoriMolly Rocket, Inc.
- compiler-errors@aws
- contextgeneric
- cyberglotGlasgow, UK
- explodingcameraGermany / Berlin
- fitzgenright behind you
- folkeGhent, Belgium
- fpoliETH Zurich
- heidihoward@Microsoft
- HywanElement
- jamesmunnsBerlin, DE
- jhpratt@TraceMachina
- Kinarklo.cafe
- komora-io
- lemmy@microsoft
- lpilLondon, UK
- Lysxia
- mamaicodeEPAM Systems
- matklad@tigerbeetle
- ml-explore
- mxinden@protocol
- nfachan
- notgull
- peterhueneSt. Jude Children's Research Hospital
- remytuyerasCambridge (MA)
- ryanfleuryEpic Games (RAD Game Tools)
- rylev
- titzerCarnegie Mellon University
- traxysGrenoble
- zapharSylva, Nc