Michael 🅱️ James
AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@maclockhart.bsky.social
Yale Postdoc, UCSD PhD. Studying elections, voters, and representation. Occasional runner, even more occasional swimmer. www.maclockhart.com
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@akhirsch.bsky.social
@kasraferdowsi.bsky.social
Senior Software Engineer @ Cubist Building robust and secure software in Rust
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@elglassman.bsky.social
Assistant Professor @ Harvard SEAS specializing in human-computer interaction. Also interested in visualization, digital humanities, urban design.
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@gstarr.bsky.social
same graham but over here now. i'm am am a editor. Mostly tech, health care, media, etc. Former @bloomberg.com @businessinsider.com @nytimes.com @nymag.com @teenager @baby. Here to share things I read. 🔗 https://graham.substack.com/
@frankj.bsky.social