David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Jake Bian
jakebian
Runs @keplr-io, @otim-project. Likes algebraic stacks but sometimes stuck with software stacks.
London, UK
Emily Eisenberg
xymostech
Former Full-stack Dev @ Spring Discovery + Cricket Health + Khan Academy,
Former Cupcake Baker,
Occasionally hacking on TeX and other stuff
Berkeley
Jakob Löw
M4GNV5
IT-Security PhD Student — Solar & Electric Mobility Enthusiast — Tiny House resident
Technische Hochschule Ingolstadt Germany
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.
CTO & CFO @tactile-metrology Amsterdam, NL
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
Paula Neeley
paulaneeley
Ph.D. student in Logic, Computation, and Methodology at Carnegie Mellon University
Silver Spring, MD
Karolin Varner
koraa
https://twitter.com/dakoraa
Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto Europa, Saturn System, The Universe
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
PreviousNext