John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Alan Hamlett
alanhamlett
🚀 Founder of wakatime.com — Building wonderful.dev, the social network for tech — Find me in 🌉 SF, 🇩🇪🇦🇹 EU, and 🇩🇴 DomRep
@wakatime Vienna, Austria
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia