Katherine Mohr
nyc 🌃 mit '23 | meng '24
your friendly neighborhood PL enjoyer
she/her
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@silviasellan.bsky.social
Incoming Assistant Professor of Computer Graphics and Geometry Processing at Columbia University www.silviasellan.com
@xuanalogue.bsky.social
PhD Student. MIT ProbComp / CoCoSci. Inverting Bayesian models of human reasoning and decision-making. Pronouns: 祂/伊
@techemails.bsky.social
Internal tech industry emails that surface in public records. 🔍 https://techemails.com
@dfeldman.org
@phdcomics.bsky.social
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, We Have No Idea and PHD Comics
@phillipisola.bsky.social
Associate Professor in EECS at MIT. Neural nets, generative models, representation learning, computer vision, robotics, cog sci, AI. https://web.mit.edu/phillipi/
@collinteodoro.bsky.social
I like scientific computing, programming languages, compilers, numerical analysis, and emacs. I also like sci-fi, history, historical video games, and fanfic.
@fermatslibrary.bsky.social
A platform for illuminating academic papers. We annotate and share a paper every week.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@banjotragedy.bsky.social
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
@swtch.com
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@jonhoo.eu
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@tonofcrates.bsky.social
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@vincentsitzmann.bsky.social
Professor at MIT CSAIL, leading the scene representation group (scenerepresentations.com). We are teaching AI to understand the world through perceiving and interacting with it.
@mths.be
♥ JavaScript, HTML, CSS, HTTP, performance, security, Bash, Unicode, i18n, macOS. https://mths.be/
@jonathanaldrich.bsky.social
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.
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@jaykreps.bsky.social
@acmarrs.bsky.social
Graphics and video games. Principal Graphics Engineer at NVIDIA. Computer Science PhD. Thoughts here are my own.
@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.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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
@keenancrane.bsky.social
Digital Geometer, Associate Professor of Computer Science & Robotics at Carnegie Mellon University. https://www.cs.cmu.edu/~kmcrane/
@jeffwilcox.com
Open Source. Software nerd. GitHub fan. Belltown pedestrian + cyclist + EV enthusiast. Go Blue! Opinions mine.
@alextamkin.bsky.social
machine learning, science & society @anthropic.com | recently: Clio, Anthropic Economic Index, Claude Artifacts | prev: phd, stanford nlp. alextamkin.com