Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Isitha Subasinghe
isubasinghe
Programmer pretending to be a computer scientist.
Senior Engineer @pipekit
@pipekit Melbourne
Andrea Bedini
andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
@tweag Perth, Australia
Nhat Pham
nhatsmrt
Linux Kernel Developer @ Meta. zswap maintainer and swap reviewer. Author and maintainer of the cachestat system call.
Meta Platforms, Inc. Bellevue, Washington
Naveen Naidu
Naveenaidu
Senior Software Engineer @ceph |Confused Hooman | Desserts ❤️
@ceph Bangalore, India
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel