Software developer, mathematician. Interested in category theory, functional programming, static type systems, logic programming, and UI frameworks.
- Shenandoah County, VA
- sintrastes.github.io
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
David R. Mortensen
dmort27
I am a systems scientist and computational linguist at Carnegie Mellon University.
Carnegie Mellon University Pittsburgh, PA, USA
Lumi Pakkanen
frostburn
Full-stack developer interested in xenharmonic music, sound synthesis and computer graphics among other things.
Greg Albrecht W2GMD
ampledata
Public Safety Hacker & EMT
Sensors & Signals LLC San Francisco, CA USA
Chris Penner
ChrisPenner
he/him
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Typst
typst
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.
Berlin
SURROUND Australia Pty Ltd
surroundaustralia
SURROUND is a knowledge company. We use semantic data and AI in particular to solve tough information problems.
Australia
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
Raúl Raja Martínez
raulraja
Interested in AI, LLMs, Functional Programming & Formal verification. CTO @xebia-functional @47deg. Maintainer xef.ai, @arrow-kt
@xebia-functional Multiverse
Dominic Orchard
dorchard
Senior Lecturer at the School of Computing,
University of Kent
and
Co-director of Institute of Computing for Climate Science,
University of Cambridge
Canterbury, UK
Harley D. Eades III
heades
Associate Professor of CS at Augusta University.
Augusta University United States
Kenneth Reitz
kennethreitz
I wrote Requests: HTTP for Humans and Pipenv. The only thing I really care about is user experience.
@cppalliance Virginia, USA, Earth, Milky Way.