Michael Bock
m-bock
Freelance Developer
#PureScript, #Haskell, #Nix, #TypeScript, #Rust, #Elm
Berlin
Andrew Owen
yumaikas
Hobbies at the intersection of Lisps, Elixir and Games, professional work is elsewhere. Opinions are my own.
Lars Yencken
larsyencken
Engineer and former researcher in human languages, machine learning and web systems. Head of Engineering at FAR AI.
FAR AI Geneva, Switzerland
Matthías Páll Gissurarson
Tritlo
uncertified haskell engineer | certified researcher
DPella AB Gothenburg, Sweden
Joel Burget
joelburget
Thinking about ML (previously programming languages / formal reasoning)
Portland, OR
Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Csaba Hruska
csabahruska
I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
TWSiO
I've moved everything over to my other account at StevenWInfo (https://github.com/StevenWInfo/)
PreviousNext