Skip to content
@ch1n3du
ch1n3du
cypherpunk wannabe

א‎

@stackdump
stackdump stackdump
Petri-Net Maximalist

stackdump com LLC Austin, TX

@kernelsoe
Kernel Soe kernelsoe
crafting a tool to craft tools

Milky Way, Earth

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia, KL

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

University of Paderborn Paderborn

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@slemus9
Sebastián Lemus slemus9
Software Engineer @47deg

47 Degrees Bogotá, Colombia

@Alf0nso
Afonso Rafael (Gafanhoto) Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing

Barcelona Supercomputing Center Barcelona

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@OrionReed
Orion Reed OrionReed
Seeking to catalyze discontent with the state of computing. Researcher at @BlockScience and @libcomp working to make computing more malleable and participatory.

Somewhere in the Milky Way

@kentookura
Kento Okura kentookura
Let's bring mathematical writing into the 21st century
@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@Benbinbin
Ben Benbinbin
Creator. I'm interested in creating nice and interesting things.
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@DavidPratten
David Pratten DavidPratten

davidpratten.com Sydney, Australia

@achou11
Andrew Chou achou11
none too happy

@digidem NYC