♾️
Highlights
- Pro
Tim Whiting
TimWhiting
I'm a PhD student. My research is focused on control flow analysis, and I love everything about syntax, compilers, semantics, as well as HCI.
Brigham Young University Provo UT
Kadanstsev Georgii
FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic
Saint Petersburg, Russia
Harrison Lemley
algebraity
I'm a mathematics PhD student at Purdue University interested in computer algebra, algebraic geometry, cryptography, and algebraic number theory.
Christa Jenkins
cwjnkins
Postdoctoral researcher at Stony Brook University, working on programming language theory and security. Ph.D from University of Iowa.
Stony Brook University
Sukka
SukkaW
Vibe Code Cleanup Specialist. All opinions are my own. Literally all of them.
City of Science which may or may not in China
Jacob Neumann
jacobneu
Postdoc at Reykjavik University, studying category theory and semantics of type theory
Formerly at University of Nottingham, Carnegie Mellon University
Reykjavik, Iceland
zach
zaxioms0
PhD student at CMU. Interested in Automated Reasoning and Massive Parallelism
Pittsburgh, PA
gabrielle oliveira
aripiprazole
atypical antipsychotic (as a software engineer)
@cloudwalk são paulo, brasil