Shrutarshi Basu
Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
@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
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@evacchi.dev
Programming Language Nerd, PhD in C.S. Staff Research Engineer @ Dylibso — Compilers, WebAssembly, Java, Rust, Go (chicory.dev and wazero.io) — prev: wazero @ Tetrate, RedHat, UniCredit — organizer Papers We Love Milano evacchi.dev
@stuffwithstuff.com
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
@thomaswue.dev
Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@tlively.bsky.social
Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
@deepti.bsky.social
Compiler engineer, making the web fast at Google Chrome. Bit twiddler and 💜 WebAssembly. I love snacks and tiny projects. She/her
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@pathofshrines.bsky.social
Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
@danr.bsky.social
TypeScript Product Manager and TC39 rep working on JavaScript standards. Enthusiast of compilers, dev tools, language VMs/runtimes.
@saelo.bsky.social
V8 Security technical lead. Previously Project Zero. Phrack author. Personal account.
@savannah.dev
Building for builders. Python Core Developer, maintaining the JIT + argparse. Python + Notebooks at Snowflake. Jupyter Foundation Governing Board. Loves containers, compilers, open source software + cats. Brat. savannah.dev github.com/savannahostrowski
@pablogsal.com
I program the programming program that other programmers use to program programs. Python Steering Council and core developer. Python 3.10/3.11 release manager. Deals with black holes and parsers. Attracts linker problems.
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@aliciacurth.bsky.social
Machine Learner by day, 🦮 Statistician at ❤️ In search of statistical intuition for modern ML & simple explanations for complex things👀 Interested in the mysteries of modern ML, causality & all of stats. Opinions my own. https://aliciacurth.github.io
@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
@michaelajb.breadandros.es
🥖🌹✨ // Steering: DSA Nat'l Poli Ed Committee + Growth & Development // dsausa.org/join
@craigmod.com
Writer & photographer. Japan based for 20+ years. Author of Things Become Other Things (Random House: May 2025), Kissa by Kissa (2020). Contributor to NYTimes, Atlantic, WIRED, and more. Walks a lot. Bla bla bla!! shop.specialprojects.jp craigmod.com
@jessicavanmeir.bsky.social
PhD Candidate at Harvard Kennedy School. Socialist feminist. Studying sex work, informal labor, Latin America. ☂️ Cofounder of @mintstars.bsky.social & @bostonswac.bsky.social This is my unprofessional account, profs please ignore lowercase shitposts
@azhenley.bsky.social
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@heidihoward.bsky.social
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Winter Palace" by Trans-Siberian Orchestra
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@sarahlawsky.bsky.social
Law professor at Northwestern, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
@spacegooose.bsky.social
I draw SPACESHIPS graphics engineer by day artist by night. https://www.artstation.com/spacegooose https://www.instagram.com/spacegooose Where must we go, we who wander this wasteland in search of our better selves…
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange