HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Malte Ott
maralorn
Mathematical physicist, hacking in Haskell and Nix for fun and profit.
@heilmannsoftware Europe
Owen Shepherd
414owen
Research engineer. Parsing theory, compilers, functional reactive programming.
@dottxt-ai Ireland
Sascha Grunert
saschagrunert
The difference between fine and great software is listening to people.
Red Hat I’m on earth right now.
Julie Moronuki
argumatronic
Teacher, (type) writer, Haskell den mom.
Cofounder of @typeclasses
@joyofhaskell MONTANA
Roman Gonzalez
roman
Spit Code / Shave Yaks / Have conversations / Spread FP Gospell
Airbnb Inc. Vancouver, BC
PreviousNext