ahelwer
Formal methods & distributed systems. Independent software engineering contractor. TLA⁺ enthusiast!
Disjunctive Consulting LLCAtlanta, Georgia
ahelwer's Followers
- acmaheriGermany
- afonsonfPorto, Portugal
- ahmedtaddeWashington, D.C
- AjayBadrinathShiv Nadar University
- alexbit-codemodCodemod Inc.
- andrew-werdnaAustin, Texas
- cfm@freedomofpress
- chriskdonToronto, Canada
- Citizen2028Powered By Citizen
- echelonStoryteller.ai
- EricCrosson@stratos-trade
- FencekeeperWebstep
- heidihoward@Microsoft
- jamestiotio@aruba
- jaysonmulwaSOOP
- kape1395@erisata
- kkondruhttps://cutn.ac.in
- longweiCapital One
- Luuut
- mangesh-morehttps://www.finarbitrage.com/prelaunch1/
- mattrent
- miguel9554Argentina
- puzzithinker
- rafitox
- RandyMcMillan@bitcoincore-dev
- senthil28
- SeshatCZCzech republic
- shparkSeoul, Korea
- Tc69CabusogPhilippines
- teto/nix/store/candies
- ThaiBoi11
- u32luke
- verhovskyUnemployed
- vule20University of Massachusetts Amherst
- Yherealtita
- zamicolCyphr.me