Assemblymember. Democratic Nominee for Mayor of NYC. Running to freeze the rent, make buses fast + free, and deliver universal childcare. Democratic Socialist. zohranfornyc.com

PhD student at UMich CSE

Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science

Compose papers faster: Focus on your text and let Typst take care of layout and formatting.

Programming Languages Postdoc @ UIUC Trans girl 🏳️‍⚧️ still here~ despite it all https://kirancodes.me

Pidgin algebraist https://slim.computer

Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ

Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.

Professional computer scientist, unprofessional mathematician

trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site

Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸

they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan. @pigworker@types.pl on fedi

hi this is @annierau.bsky.social! my DMs are open

Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord

Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org

PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.

https://andrewblinn.com abstractJuiceFactory

'puter things https://schare.space