Brandon Wu
brandonspark
I like functional programming. Program Analysis engineer at @returntocorp
Tim McGilchrist
tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.
@tarides Sydney, Australia
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Lionel Parreaux
LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department
HKUST
Nick Barnes
NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.
Cambridge, UK
Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
Henrique Faria
rickmff
Coding isn’t something I do for work or leisure.
It’s a lifelong habit that defines how I engage with the world.
Freelancer Lisbon
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
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
Aaron Stump
astump
I am a professor of Computer Science at The University of Iowa.
The University of Iowa Iowa City, Iowa, United States
Philip Blair
peblair
🇺🇸<->🇪🇺 NLP Researcher by Day, Compiler Hacker by Night.
Location changes frequently!
Blair Software Amsterdam, Netherlands
Anton Kochkov
XVilka
Suspended
Reverse Engineering proponent, Rizin and Cutter developer, foreign languages fanatic.
Rizin.Org China, Shanghai
PreviousNext