×
You are not logged in
Bluesky Follows
rtjoa.bsky.social
Follows by @rtjoa.bsky.social
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:31 Jul 2025 00:37
Last post:8 Dec 2025
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:31 Jul 2025 00:37
Last post:11 Jan 2026
Mom, foodie, traveller, computer scientist
Dan Grossman
Registered:19 Nov 2024 22:13
Follow date:31 Jul 2025 00:37
Vinod Grover
Registered:10 Nov 2024 03:18
Follow date:31 Jul 2025 00:37
Sr. Distinguished Engineer @nvidia
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:31 Jul 2025 00:36
Last post:8 Feb 2026
Get used to disappointment.
Max Willsey
Registered:11 May 2023 20:32
Follow date:31 Jul 2025 00:36
Last post:17 Feb 2026
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:31 Jul 2025 00:36
Last post:13 Jan 2026
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:31 Jul 2025 00:36
Last post:11 Dec 2025
Last like given:6 hours ago
actually just on Mastodon: https://discuss.systems/@adria...
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:31 Jul 2025 00:36
Last post:23 Jan 2026
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:31 Jul 2025 00:36
Last post:27 Feb 2026
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:31 Jul 2025 00:36
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:31 Jul 2025 00:36
Last post:7 hours ago
Last like received:21 minutes ago
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:31 Jul 2025 00:36
Last post:23 Feb 2026
cutler.pl
Mae Milano
Registered:28 May 2023 20:05
Follow date:31 Jul 2025 00:35
Last post:6 Dec 2025
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:31 Jul 2025 00:35
Last post:19 Feb 2026
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:31 Jul 2025 00:35
Last post:1 Feb 2026
Last like given:4 hours ago
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass... http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:31 Jul 2025 00:35
CS professor at UT Austin, does research in programming languages & formal methods.
Rachit Nigam
Registered:11 Aug 2023 17:15
Follow date:12 Jul 2025 04:55
Last post:9 Feb 2026
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:12 Jul 2025 04:51
Last post:8 hours ago
Last like received:8 hours ago
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:12 Jul 2025 04:51
Last post:9 Feb 2026
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
a ton of crates
Registered:27 Apr 2023 20:26
Follow date:12 Jul 2025 04:40
Last post:2 days ago
Last like given:3 hours ago
Last like received:5 hours ago
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:12 Jul 2025 04:37
Last post:13 hours ago
Last like given:23 minutes ago
Last like received:4 minutes ago
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.
Nintendo .DS_Store
Registered:4 Feb 2023 18:00
Follow date:12 Jul 2025 04:37
Last post:13 Dec 2025
Pidgin algebraist, baseball influencer https://slim.computer
Harry Goldstein
Registered:1 May 2023 21:19
Follow date:13 Feb 2025 02:12
(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
Poorva Garg
Registered:17 Nov 2024 16:47
Follow date:24 Nov 2024 04:21
Working on Probabilistic Programming Languages
https://web.cs.ucla.edu/~poorv...
Guy Van den Broeck
Registered:5 Oct 2023 21:38
Follow date:19 Nov 2024 01:40
Last post:7 days ago
🎓 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/~guyvd...