Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
David Teresi
dkter
I like to make things. UWaterloo Computer Engineering alum (class of '25).
Canada
BLÅHAJ
CTF-BLAHAJ
a collection of plush sharks somewhat assembled by <https://cybre.space/users/haskal>
BLÅHAJ somewhere
Deleted user
ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted.
:ghost:
Nothing to see here, move along.
Milo
iitalics
Milo Turner. '21 Northeastern CS graduate. Boston MA. Systems programming in Rust by day, language-oriented programming in Racket by night.
Somerville, MA
ariel
aatxe
programming language designer.
@nuprl and @plasma-umass alum.
@Roblox Redwood City, California
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
Lef Ioannidis
elefthei
Making AI write proofs about programs @ MSR
University of Pennsylvania Philadelphia, PA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
James Yoo
jyoo980
PhD student at @uwplse. I'm interested in tools for software engineering and programmer productivity
@uwplse Seattle, WA