×
You are not logged in
Bluesky Follows
Jesse
Follows by @jse.li
Laura Michet
Registered:4 Jul 2023 15:31
Follow date:26 Dec 2025 00:20
Extremely good at bicycling a medium distance at a medium speed. Was writer on Possessors recently. Narrative on Skin Deep.
I mostly don't post here. You can see my blog, where I post every day, at blog.lauramichet.com
Cora Rowena Ruiz
Registered:26 Mar 2025 09:24
Follow date:17 Aug 2025 13:00
PhD student at ccny researching security and privacy for vulnerable populations 🤓
Daly
Registered:1 May 2023 21:59
Follow date:16 Aug 2025 22:37
technologist, fibers, frisson. digital security for bodily autonomy
Daniel Temkin
Registered:12 May 2023 23:29
Follow date:16 Aug 2025 02:08
Artist + esolanger, he/him
Book :: Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esola... (MIT Press, 2025) :: “One of the best computer science books of 2025” - https://shorturl.at/rWnbG (faz.net)
jared
Registered:8 Apr 2023 21:56
Follow date:10 Jul 2025 03:19
Working on @leaflet.pub in specific and tools for learners and education in general
Leaflet
Registered:21 Oct 2024 20:21
Follow date:10 Jul 2025 03:19
🍃 delightful docs & social publishing 📝
try: leaflet.pub/home
explore: leaflet.pub/reader
lab notes: lab.leaflet.pub/
code: tangled.org/leaflet.pub/leaflet
made by @schlage.town + @cozylittle.house + @awarm.space
celine
Registered:17 Apr 2023 20:23
Follow date:10 Jul 2025 03:19
design at leaflet.pub!
ICE must be destroyed 🏳️⚧️🏴
Registered:1 Jul 2023 23:15
Follow date:21 Mar 2025 04:23
Host of It Could Happen Here (and sometimes Behind the Bastards) for Cool Zone Media. Proud iHeart Podcast Union member Ending every post(?) with Moreover, ICE must be destroyed She/Her
rain 🌦️
Registered:15 Apr 2023 01:48
Follow date:12 Jan 2025 16:21
(gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
kbb ★ (/ ' ワ')/ ~♡
Registered:24 Jul 2023 01:14
Follow date:18 Dec 2024 20:58
pixel game art lead + zine-maker ★ triple threat: cute, cute, and cute
Greg Technology ❪⎷❫
Registered:21 Jun 2023 21:11
Follow date:4 Dec 2024 05:42
disco.cloud
minivac.greg.technology
reccs.greg.technology
eats.greg.technology
subwayjingles.com
restaurants.rip
vibebusters.com
bourdain.greg.technology
boing.greg.technology
peephole.greg.technology
ideal.greg.technology
hor.greg.technology
Timon
Registered:26 Apr 2023 12:17
Follow date:4 Dec 2024 05:42
"My Electronics Therapist" - Kate
Freelance Embedded Systems/Electronics R&D for work.
Hardware hacking for fun
Liker of birbs 🐦⬛
name/he/they 🏳️🌈
@diodes-delight.com
📍Germany, Frankfurt
Owen Trueblood
Registered:1 Dec 2024 15:06
Follow date:2 Dec 2024 19:34
Jake
Registered:22 Jun 2023 14:07
Follow date:2 Dec 2024 19:34
painting at https://jake.kitchen
📍Stockholm
Mae Milano
Registered:28 May 2023 20:05
Follow date:1 Dec 2024 03:54
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:1 Dec 2024 03:54
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
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:1 Dec 2024 03:54
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:1 Dec 2024 03:54
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:1 Dec 2024 03:54
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Talia Ringer
Registered:7 Jul 2023 05:53
Follow date:1 Dec 2024 03:54
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:1 Dec 2024 03:54
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.
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:1 Dec 2024 03:54
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:1 Dec 2024 03:54
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
David Justo
Registered:26 Apr 2023 04:04
Follow date:1 Dec 2024 03:54
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.
Owen Arden
Registered:19 Aug 2023 02:58
Follow date:1 Dec 2024 03:54
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia
Registered:3 Jul 2023 05:31
Follow date:1 Dec 2024 03:54
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Andreas Zeller
Registered:22 Sep 2023 05:50
Follow date:1 Dec 2024 03:54
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:1 Dec 2024 03:54
Programming Languages Researcher and Consultant
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:1 Dec 2024 03:54
Interpreters, compilation, concurrency, and debugging tools.
John Wickerson
Registered:7 Aug 2024 08:23
Follow date:1 Dec 2024 03:54
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:1 Dec 2024 03:54
actually just on Mastodon: https://discuss.systems/@adria...
Rachit Nigam
Registered:11 Aug 2023 17:15
Follow date:1 Dec 2024 03:54
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
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:1 Dec 2024 03:54
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/
Max Willsey
Registered:11 May 2023 20:32
Follow date:1 Dec 2024 03:54
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
David Van Horn
Registered:25 May 2023 15:55
Follow date:1 Dec 2024 03:54
Prof at UMD CS.
Guy Van den Broeck
Registered:5 Oct 2023 21:38
Follow date:1 Dec 2024 03:54
🎓 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...
Crista 🔶
Registered:8 Sep 2024 16:40
Follow date:1 Dec 2024 03:54
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:1 Dec 2024 03:54
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:1 Dec 2024 03:54
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Santosh Nagarakatte
Registered:14 Nov 2024 17:58
Follow date:1 Dec 2024 03:54
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/...
Swarat Chaudhuri
Registered:13 Nov 2024 22:51
Follow date:1 Dec 2024 03:54
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swa...
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:1 Dec 2024 03:54
Get used to disappointment.
Martin Bravenboer
Registered:6 Feb 2024 16:17
Follow date:1 Dec 2024 03:54
Computer Scientist, Hiker, Photographer
Brian Demsky
Registered:10 Nov 2024 04:10
Follow date:1 Dec 2024 03:54
CS professor. PL/Model Checking/Concurrency.
Vinod Grover
Registered:10 Nov 2024 03:18
Follow date:1 Dec 2024 03:54
Sr. Distinguished Engineer @nvidia
Eva Darulova
Registered:13 Nov 2024 12:02
Follow date:1 Dec 2024 03:54
Assoc. prof. at Uppsala University, working in programming languages and verification
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:1 Dec 2024 03:54
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Matthew Parkinson
Registered:15 Nov 2024 06:26
Follow date:1 Dec 2024 03:54
Programming language researcher at Microsoft.
José Cambronero
Registered:14 Nov 2024 02:45
Follow date:1 Dec 2024 03:54
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com