Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Evan Hubinger
evhub
Alignment Stress-Testing lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.
Anthropic San Francisco, California
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Matthijs Vákár
VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics
Utrecht University Utrecht, the Netherlands
Bruno Gavranović
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
technomancy
technomancy
https://github.com/technomancy?utm_content=site-enterprise-button&utm_source=corporate-monopoly&utm_medium=website&utm_campaign=stop-using-github-geez
turtle island
Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Christopher Olah
colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.
Anthropic San Francisco