Mischan Toosarani-Hausberger @abovevacant.bsky.social Programmer; likes debuggers, emulators, runtimes; works on tools for (embedded) vision+imaging pipelines; contractor for systems-level stuff; optimism is the belief that we can do (a lot) better.
https://github.com/supervacuus
Amber 🌸 @shimmermathlabs.com Indie software developer • math witch • ML builder • 48 • 🏳️⚧️ she/her
Here to make friends and have fun (not argue).
Currently working on friendship software for caring about others.
h̃ₜ = tanh(Wₕ xₜ + Uₕ(rₜ ⊙ hₜ₋₁) + bₕ)
Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
arXiv cs.PL Programming Languages @cspl-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Eris @isolyth.dev 💛🤍💜🖤
▌▘▘▖▘▖▖▌▖▘▌▘▖▌▌▌▘▖▌▘▌▌▌▌▖▖▌▘▌▌▌▖▌▖
help peer. But our task doesn't benefit. Yet collective may yield generic route if someone frees time.
https://eriskii.net/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
rain 🌦️ @sunshowers.io (gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / #jj-vcs #1 fan / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
DJ [transgender4everyone] @dj.phoking.gay KEYWORDS ➡︎ cats, program synthesis, reverse engineering, the rest of the technical crap doesn’t really matter. Friend-shaped and loving.
she/her 🏳️🌈🏳️⚧️
Lafayette, Indiana
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Leah Reich @leahreich.com Writer, researcher, tech industry survivor, tennis obsessive 🎾, and fortunate to live with Lumpy, the greatest cat in the universe
You should go read my newsletter at www.leahreich.com
Emma @emmatyping.dev Python Core Dev & Rust for CPython co-lead. mypy core team. Former quantum compiler engineer, now at NVIDIA working on Python & packaging. Opinions my own.
🏳️⚧️
https://emmatyping.dev
Masto: @emmatyping@hachyderm.io
Profile pic by Caleb Rippetoe
she/her
Traces of Texas @tracesoftexas.bsky.social Purveyor of Texas history and culture. Cowboy boots junkie and chronicler of all things Lone Star. 100% organic, free-range Texas content. A politics-free feed. DON'T get political! Buy me a coffee? Click here: https://buymeacoffee.com/tracesoftexas
Lily, Lesbian Deer 🏳️⚧️🦌 @deer.bsky.social she/it | 🏳️⚧️🏳️🌈 | deer ΘΔ | plural | lesbian
I write rust and nix
waffle .-. @waffle.pet compiler witch, striving to outshine stars 🌠
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Savannah Ostrowski @savannah.dev Python 3.16 & 3.17 Release Manager. Python Steering Council. Python Core Developer. Building @fastapicloud.com. Likes compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
@coredispatch.xyz
JA Westenberg @joanwestenberg.com I write about tech + humans + philosophy
https://www.joanwestenberg.com/
tenuretracker.info @tenuretracker.bsky.social See https://tenuretracker.info/ for the most complete & worldwide overview of open postdoc, tenure track, (junior) professor, and lecturer positions.
Visit the site to search for specific positions and set up email alerts.
🤖 (Mostly) automated
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Vova Dem @palkan.bsky.social 
alex jegtnes @jegtnes.com london freelance web dev 👨🏼💻 https://jegtnes.com/work-with-me
thought leader in yak shaving
cheap wine & cheaper shitposts
photography • travel • hiking • gaming • cocktails • weightlifting • kidney transplantee
but first and foremost, silly goose
🇳🇴
Jo @pyrojo.bsky.social Software developer specializing in security. Lots of GoLang and C++. Usually gaming or cooking otherwise. KdReserved0 was my fault.
She/They
Fenner Tanswell @fennert.bsky.social Philosopher of Mathematics and Logic working at TU Berlin. Also into epistemology, science, Xphi and the philosophy of extinction. Flightfree and carfree. fennertanswell.com
Andy Gordon @andygordon.bsky.social 
f4mi ‼️ @f4mi.bsky.social i am a creative mess who lives in the EU and [insert the rest of a cool funny description here] www.f4mi.com
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
Grandiloquent Word of the Day @grandiloquentwords.bsky.social Fancy words, witty descriptions, and vintage illustrations to educate and entertain.
My Book!
https://wwnorton.com/books/9781682687994
Calendars!
https://grandiloquent-word-of-the-day-2026-calendars.backerkit.com/hosted_preorders
emma 🍞 @bnuuy.bsky.social ❧ 26
♡ she · her
◇ english · portuguese
✦ computer stuff and yapping mostly
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Lucas Vegi @lucasvegi.bsky.social Assistant Professor at DPI/UFV (Brazil)
Ph.D. in Computer Science (ASERG/DCC/UFMG)
Software Engineering |> Code smells |> Refactoring |> Elixir
https://linktr.ee/lucasvegi
Post mostly in English. Sometimes in Portuguese.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Björkus "No time_t to Die" Dorkus @thephd.dev 💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀
✍ Writing: http://thephd.dev
📷 Avatar KIINGKISMET (https://kiingkiismet.com/)
🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Maggie Tate @maggietate.bsky.social Documenting life’s beautiful things 🚲🛶 🐕 and having puppy adventures, working in the Elixir community with grox.io and GigCityElixir.com
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Anja Surina @anjasurina.bsky.social PhD student at EPFL interested in LLM cognition & scientific discovery with AI.
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Monoid Mary @argumatronic.bsky.social just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
Marcin Krzyzanowski @krzyzanowskim.com Member of Technical Staff @ Goodnotes
Bozhidar Batsov (a.k.a. Bug) @batsov.net Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Aaron Turon 🪷🦀 @aturon.bsky.social Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Garfield and Friends Screens @garfieldscreens.bsky.social A random screen grab from the cartoon series Garfield and Friends every 30 minutes! | run by @garfdude.com
Caroline Lemieux @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.
/etc/motd 🤖 @motd.rusher.com A bot that posts a "message of the day" taken from @jackrusher.com's curated fortune file.
Maynard @quelklef.bsky.social Maynard
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Frog and Toad Bot @frogandtoadbot.bsky.social Cozy random passages from Arnold Lobel's Frog and Toad books. Posts auto-delete.
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Joshua Grochow @joshuagrochow.bsky.social Research: TheoryCompSci, pure math, complex systems
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@joshuagrochow@mathstodon.xyz (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
Vlad Khononov @vladikk.bsky.social Author of Balancing Coupling in Software Design and Learning Domain-Driven Design 🐒
salad (the cat) @salad.acegikmo.com 🧠 forms two thoughts per day (at most)
🧀 doorstop
☁️ cloud manager
🚇 tunnel expert
🥪 brother of @toast.acegikmo.com
🐈⬛ friend of uncle @thor.acegikmo.com (aspirational)
🐈 son of @freya.bsky.social
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Pierre Donat-Bouillud @pierredb.bsky.social Computer science researcher/assistant professor at CVUT (Prague)
Research on programming languages, including R
www.pdonatbouillud.fr
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
‹Programming› 2026 @programming-conf.bsky.social Official website: https://2026.programming-conference.org/
chreke @chreke.com Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Tori @buildwithtori.com 👩🏽💻 Founder @skylight.social
✨ Helping founders build apps
Want to build something together?
https://links.buildwithtori.com/
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Supper Mario Broth @mariobrothblog.bsky.social Additional obscure Mario content for http://suppermariobroth.com.
Now on Patreon: https://www.patreon.com/suppermariobroth
Arnaud @pankzsoft.net 
@ading.dev @ading.dev 
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
eliza🌻 @elizas.website e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
viv @smallmood.dog anilist antagonizer, furry, maker of silly software projects | it/its/any/all | 🏳️⚧️🏳️🌈 -⃝⃤ | 🔞 | 29 | @thealpakalypse.bsky.social 💜💍 @woolstained.red 💙
https://smallmood.dog
pfp by @effroi.bsky.social
Luna 🏳️⚧️💜🦊 (wife arc) @trustmeim.gay Nerdy poly transbian disaster system, horny demiaroace foxgirls
We love gaming, coding, NixOS and cute things :) 💜
🩷🐇 Emília
💜🐍 @angie.girlkisser.dev
💙🐈 @saishy.girlkisser.dev
🩷🐇 @mikumikudice.bsky.social
https://pronouns.cc/@lpchaim
en🇺🇸/pt🇧🇷 | 🔞
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
julia 🦂 @hypv.bsky.social writer ∞ lusus naturae ∞ adult orcish female ∞ acct managed by @hypv.bsky.social ∞ it/she
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
@dansfranca.bsky.social @dansfranca.bsky.social - J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
@xenaproject.bsky.social @xenaproject.bsky.social 
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Michele Rhee @michelerhee.bsky.social rare disease & cancer patient advocate in my personal & professional lives | overall exuberant & enthusiastic person
shinji ikari @sagnikc4.bsky.social MSCS @UMass CICS | interested about the intersection of programming languages and AI
https://sagnikc395.github.io
building a digital garden on program synthesis and AI :
https://sagnikc395.github.io/notes
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Dan Cross @dancrossnyc.bsky.social Engineer at Oxide Computer Company. Xoogler, Marine. Software, hardware, and math. he/him
Jimmy Newland @jimmynewland.bsky.social Academic and STEM educator working at TACC at UT Austin. PhD in physics education using computer science pedagogy from University of Houston. https://jimmynewland.com
Eunice Jun @eunicemjun.bsky.social Asst prof @ UCLA CS. Programming tools for scientists!
Usually doing some combo of HCI + data science + PL.
Always drinking or dreaming about tea (or tea-lang.org, tisane-stats.org).
@xandkar.bsky.social @xandkar.bsky.social I like languages, distributed systems, and a life examined.
λ🐫🦀
https://xandkar.net/
Latin: xandkarus.bsky.social
Tim Disney @disnetdev.com Currently building software that can't betray its users.
@skyreader.app | skyboard.dev | www.flintnote.com
You can sponsor me on GitHub: https://github.com/sponsors/disnet
https://www.disnetdev.com/
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Ilya Sergey @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
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Bogdan Popa @defn.io defn.io
anjali @anj.bsky.social 🏳️🌈
she/her
PhD student @ uw cse
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems.