@onlynexushere.bsky.social @onlynexushere.bsky.social
@dbezhetskov.bsky.social @dbezhetskov.bsky.social
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
East River Source Control @ersc.io doin' source control stuff at ersc.io
Evan Martin @neugierig.org I aim to mostly use this account to announce the blog posts found on my website:
https://neugierig.org
verijit @verijit.bsky.social We use techniques from just in time compilers to accelerate Verilog simulations.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Fabio Niephaus @fniephaus.com Research Manager on the @graalvm.org team at Oracle. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at @hpi.bsky.social, @googlecolab.bsky.social, and @matonguitars.bsky.social. Views are my own.
Kevin Menard @nirvdrum.bsky.social Optimizing Ruby via ZJIT and TruffleRuby.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
freddy @jumhyn.com no fucking kings
@jlongster.bsky.social @jlongster.bsky.social
monochrome @monochrome1969.bsky.social loves Ruby and Rust.
Erik Corry @erik.arbat.com Builder of bits.- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
@dinfuehr.bsky.social @dinfuehr.bsky.social
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
Wilfred @wilfredh.bsky.social Programming languages, human factors, and a healthy dose of Emacs.
Ben Visness @bvisness.me My help comes from the Lord.
Handmade Network lead. WebAssembly engineer at Mozilla. Mentor for FRC Team 2175. https://bvisness.me/
Twitter (most active): @its_bvisness
Mastodon: @bvisness@mastodon.gamedev.place
John Hawthorn @jhawthorn.com Writing code for @Shopify, Rails, and Ruby. Previously @GitHub.
he/him | Victoria, BC | jhawthorn.com
@titzerbl.bsky.social @titzerbl.bsky.social
Jean Boussier @byroot.bsky.social Rails core, Ruby committer, Senior Principal Engineer at Intercom.
Vicki @vickiboykis.com Founding list[float] engineer. Recsys. Personalization. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon).
https://vickiboykis.com/what_are_embeddings/
Stan Lo @st0012.dev Taiwanese 🇹🇼 / Ruby committer / Shopify Ruby DX / Building developer tooling infrastructure / Exploring how AI changes open source
st0012.dev
pvh @pvh.ca just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
Josef Eisl @zapster.cc working on @graalvm.org
opinions are my own
Rafael França @rmfranca.bsky.social Rails developer
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
Eniko Fox @enikofox.com I make gay video games @kitsunegames.bsky.social with @nj0rd.bsky.social. Kitsune Tails, Super Bernie World, MidBoss dev. Mask wearer. Programming language development enthusiast
Fuck AI
Follow me on Mastodon @eniko@mastodon.gamedev.place
She/her
Donghee Na @corona10.bsky.social - ML Infrastructure SWE @ Karrot (당근)
- Python Steering Council and Core dev
Opinions are my own not my employer: https://github.dongheena.com
@jeremysiek.bsky.social @jeremysiek.bsky.social
Oliver Medhurst @honk.foo compiling javascript: https://porffor.dev + browser security
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
@eightbitraptor.bsky.social @eightbitraptor.bsky.social Ruby core committer. Builds Keyboards. MiniDisc, Fountain Pen and Void Linux enthusiast. Drinks too much coffee.
日本語を勉強しています。でもまだ上手じゃないです。助けてください!😅
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
River Dillon @k-monk.org https://k-monk.org/
Interests include compilers, computer music, independent games
Russ Cox @swtch.com
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language- A Aiden Fox Ivey @aidenfoxivey.com aidenfoxivey.com
Kevin Lynagh @kevinlynagh.com I design and build things. Mostly software, sometimes furniture, and a few small buildings once.
American in Amsterdam.
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com- E Evan Wallace @evanwallace.bsky.social
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
Benoit Daloze @eregon.me Expert in dynamic language runtimes and JIT compilation, TruffleRuby lead, Rubyist.
https://eregon.me
Sonali Sridhar @jollysonali.bsky.social Cofounder @recursecenter
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
k0kubun @k0kubun.com Optimizing Ruby JIT. ZJIT team at Shopify.
Rasmus Andersson @rsms.me Working on Playbit https://playb.it/ . Designer of Figma, Inter, Spotify. Software painter. https://rsms.me/
Bad Diode @badd10de.bsky.social Musician and tinkerer. Exploring the interactions of the old with the new. Making and playing with music toys and tools.
he/him/they/them
My website:
https://badd10de.dev
STEPPER: A 16 step sequencer for the GBA:
https://badd10de.itch.io/stepper-gba
The PyPy Project @pypyproject.bsky.social The developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
Aaron Patterson @tenderlove.dev Ruby and Rails hacker working at Shopify, living in Seattle
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
Rondo Dondo @maplant.com NYC based programmer. I mostly talk about implementing functional programming languages
Recurse Center @recurse.com The retreat where curious programmers recharge and grow. 🌱
Work at the edge of your abilities, develop your volitional muscles, and learn generously.
📝 Applications are now open!
🔗 https://www.recurse.com/
📍NYC
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Emery Berger @emeryberger.bsky.social 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.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
arun @quallius.bsky.social
Anthony Shaw @anthonypjshaw.bsky.social Technical Advisor at Microsoft. PSF Fellow. Creator of VS Code Pets and other useful software
Jessica Paquette @barrelshifter.bsky.social compiler engineer from hell
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Saam Barati @saamyjoon.bsky.social
Patrick Dubroy @dubroy.com Programmer & researcher, co-creator of https://ohmjs.org. 🇨🇦 🇩🇪 🇪🇺
Co-author of https://wasmgroundup.com — learn Wasm by building a simple compiler in JavaScript.
Prev: CDG/HARC, Google, BumpTop
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Shriram Krishnamurthi @shriram.bsky.social 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.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Christine Lemmer-Webber @dustyweb.bsky.social Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings.
https://dustycloud.org
Oscar Boykin @posco.dev Some guy on Maui
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Compiler Explorer @compiler-explorer.com A website for exploring the output of compilers. aka godbolt.org
Supports C, C++, Rust, Fortran, COBOL and many many more.
Support us at https://patreon.com/mattgodbolt
Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
thebes @vgel.me ꙮ surfed on by the information superhighway
ꙮ 💕 @linneaisaac.bsky.social
ꙮ she/they 🏳️⚧️
ꙮ fiction/art/blog/games @ https://vgel.me
ꙮ llms at acsresearch.org
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish)
Newsletter: https://buttondown.email/hillelwayne/
John @jbott.social Abyss domain expert.
maimonides nutz @maimonidesnutz.bsky.social Maimonides, as in the 12th Century Jewish philosopher - and Nutz as in “Deez Nutz.” (I’m not Maimonides but I’m definitely Nutz) she/her
wint @dril.bsky.social Never Bullshit
I challenge any and every one who wants to kick my ass to a debate .
https://www.patreon.com/dril
https://www.instagram.com/dril
https://linktr.ee/drilreal
Kate @katef.bsky.social If I unfollowed you, it's because you keep posting things without alt text
💀Adina Feinstein PhD 💀 @afeinstein20.bsky.social asst prof | astronomy PhD | MSU | https://adina.feinste.in