Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia
M Farkas-Dyck
strake
Carbon-based aqueous organism, amateur mathematician and physicist, professional programmer, melophile, relentless student
Mountain View, California, Earth
Lowe Lundin
LoweLundin
No longer a programmer.
Earlier I was a Machine Learning Engineer at a major private equity/vc firm & a Software Developer in Risk Calculations at Nasdaq.
Musa Al-hassy
alhassy
Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer
Canada
Chris Penner
ChrisPenner
he/him
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Hongwei Xi
githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
ATS Trustful Software, Inc. Boston, Massachusetts
Alexander Granin
graninas
Software architect, book author, Haskell expert, international speaker, blogger | "Functional Design and Architecture" book (Manning)
UAE, Dubai
Norman Ramsey
nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.
Tufts University Malden, Mass, USA
ˌbodʲɪˈɡrʲim
Bodigrim
Chair of Core Libraries Committee,
Director at Haskell Foundation
Odessa, Ukraine
Murat Kasimov
iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
เชียงใหม่
PreviousNext