Director @ Haskell Flundation. Prev: Lecturer @umdcs. Interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.

grad student in programming languages “and stuff” @ EPFL, Switzerland; also likes Hindustani classical music, etymology, typography, bicycles, and postal mail

top 1% of abba listeners on spotify
celeste player, begrudging toucher of computers
interactions/boosts always ok

PhD student at Chalmers interested in univalent foundations, category theory and music.

I'm a software engineer who builds highly-scalable developer tooling.

hi everyone :) i'm aramya
i'm interested in retrotech, low level hacking, esoteric computation, type theory and logic
also a fan of nintendo games, 2000s pop music and 2000s cartoons as my cover pic (mountain sector from code lyoko) suggests :3

Lecturer at the University of Glasgow, working on behavioural types and multi-tier programming.

I like using logic to do things it was never meant to do
:nonbinary_flag:

You can refer to me as J. or as Jason

CS PhD student at UChicago
(all opinions my own)

Am more free out in the blue sky
Sky Bridge - @kaushikc.org@bsky.brid.gy

Lecturer in Computing, University of Kent. FP and compilers.

Associate Professor of Computer Science at Northeastern University PRL.
Visiting Professor at Roblox Research.

moved to @danielle 💕

can't walk a straight line between logic and a̸i̸ ‖ good job, y'all ruined ai ‖ disabled ‖ no cops, no borders ‖ 🏳️‍🌈🏳️‍⚧️😷🍉

PhD in Computer Science, interested in programming language design, active transit, and science fiction; dreams of a better world than the one we live in. 🍁 (he/him)

22 • He/Him • Computer Scientist @ UCL PPLV

Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

colouring outside the lines