⛰️
on vacation
i care about linux desktop protocols, open social media, programming languages and mathematics.
- IRC
-
15:26
(UTC) - @pounce@types.pl
- https://codeberg.org/pounce
- https://sr.ht/~pounce/
Abdeltwab M. Fakhry
AbdeltwabMF
I speak C++, but the compiler doesn’t always listen.
@Symbyo360 Egypt
Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Lexi Robinson
Lexicality
Long term professional cat, unprofessional computer wrangler
London, England
Francesco Minnocci
BachoSeven
Graduated UWCAD '19, currently Undergrad Math Student at Unipi
PHC Pisa, Italy
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Joshua Cragun
jmcragun
Modeling, simulation, procedural generation, and automata enthusiast.
Aspiring grad student in applied math/scientific computing.
Salt Lake City, Utah
Joel Wejdenstål
xacrimon
systems dabbler and ecosystem security group alumni for @rust-lang. i like when code goes fast.
linköping university östergötland / sweden
hecate cantus
PandorasFox
infra SRE, formerly YouTube CDN. ergonomic keyboard enjoyer, wayland zealot.