Joe Cutler
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@mkearnsphilly.bsky.social
CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@anil.recoil.org
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
@daveandersen.bsky.social
Computer Science Professor, CMU; co-founder and CTO, Enriched Ag Energy-efficient computing, a dash of security, and a pinch of databases. Also on Mastodon (https://hachyderm.io/@dave_andersen ) signal: dga.48 he/him
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@shengwuli.bsky.social
Econ prof at Harvard. (Mechanism design, market design, behavioral theory.) www.shengwu.li
@itseieio.bsky.social
the internet can still be fun! https://onemillioncheckboxes.com • http://eieio.games • https://everyuuid.com • https://onemillionchessboards.com
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@emilymode.bsky.social
high-frequency transsexual (@mxemilymode on twitter) union square greenmarket enjoyer nyc she/her
@joshsunshine.bsky.social
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
@davidthewid.bsky.social
Postdoc@Cornell Info Sci. AI ethics, political economy of tech, Human-AI interaction, feminist STS trying to help computer ppl think more critically about computer, including me art: instagram.com/davidthewid exCMU/NASA/MSR/IntelLabs. davidwidder.me
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@citiusmag.com
Making it easier (& way more fun) to be a track and field fan. Stories and commentary about your favorite sport. https://citiusmag.com/
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@ncollina.bsky.social
Penn CS PhD student and IBM PhD Fellow studying strategic algorithmic interaction. Calibration, commitment, collusion, collaboration. She/her. Nataliecollina.com
@jqchen.bsky.social
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Destination Unknown" by Missing Persons
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸 tijanaminic1.github.io
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@ianthehenry.bsky.social
i work at the intersection of set theory and figurative language http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@jordan.matelsky.com
making computers better using brains and making brains better using computers. computational neuro and dumb little web apps sticking a steam wand directly into my brain and frothing it like a cappuccino at @kordinglab. senior research scientist at JHU/APL
@josephhgarvin.bsky.social
voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
@femb0t.bsky.social
✨ sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have distractingly many interests✨⋇⋆✦⋆⋇ ✨
@ancheung.bsky.social
he/him i study programming languages @ ucsd cse. trans rights forever! 🏳️⚧️ ninehusky.github.io
@dangrossmanseattle.bsky.social
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@xuanalogue.bsky.social
PhD Student. MIT ProbComp / CoCoSci. Inverting Bayesian models of human reasoning and decision-making. Pronouns: 祂/伊
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@kmohr.bsky.social
nyc 🌃 mit '23 | meng '24 your friendly neighborhood PL enjoyer she/her
@akhirsch.bsky.social