deepfates @deepfates.com.deepfates.com.deepfates.com.deepfates.com.deepfates.com cofounder Grove Research @grove-research.bsky.social
Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
Justin Falcone @justinfalcone.com See you on app dot net!
MoonBit @moonbitlang.bsky.social MoonBit, a Cloud & AI native programming language and toolchain.
ECOOP '26 @ecoop-conference.bsky.social ECOOP is Europe’s longest-standing annual Programming Languages conference!
The 2026 edition is hosted at Vrije Universiteit Brussel, Brussels, Belgium from June 29th to July 3rd. See you there!
#ECOOP #ECOOP26
https://2026.ecoop.org
Orion Reed @orionreed.com advocating widespread dissatisfaction with computing.
researcher @inkandswitch.com + libcomp.org
½ @folkjs.org ¼ @tentpole.bsky.social
Gritzko @gritzko.bsky.social A veteran of decentralized systems research.
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
Devamardeep Hayatpur @devamarh.bsky.social PhD student at UCSD, working on programming tools & notations (hayatpur.dev)
Bob Nystrom @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/
@pbazant.bsky.social @pbazant.bsky.social
‹Programming› 2026 @programming-conf.bsky.social Official website: https://2026.programming-conference.org/
@amb26ponder.bsky.social @amb26ponder.bsky.social
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Matthew Weidner @mweidner.bsky.social Collaborative software at Common Curriculum / CMU
I write about CRDTs etc: https://mattweidner.com/- O @odersky.bsky.social @odersky.bsky.social
Mitch Wand @mitchwand.bsky.social CS Professor at Northeastern University; supporter of Democracy; Jew
Shalabh @shalabh.com Programmable software systems "research" and philosophizing.
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?
HYTRADBOI @hytradboi.bsky.social Have you tried rubbing a database on it?
https://www.hytradboi.com/2025
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Garden Computing @garden.co Software is too hard. garden.co
el @elliot.website and visual and creativity and computers and math and
elliot.website
tom lieber @alltom.bsky.social all tom, all the time
Yair Chuchem @yairchu.bsky.social I code and develop algorithms at Sound Radix, with a major side-project of making the Lamdu programming language. Am also an amateur juggler and acrobatics base which has a larger focus on other platforms.
yairchu.github.io
@robert.kra.hn @robert.kra.hn Software engineer & founder. Devops if no one is looking. Building something new for video streaming & conferencing!
Tools of trade: Rust, Emacs, Nix. Will get back to Smalltalk, Common Lisp & Clojure one day!
https://podwriter.io
https://robert.kra.hn
Alex Warth @alexwarth.bsky.social Principal Investigator at @inkandswitch.com
Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google
Creator of OMeta, co-creator of @ohmjs.org
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Anselm Eickhoff @anselm.io Thinking about code & design. Play is the only humane form of work. Founder of @garden.co - creator of Citybound & @jazz.tools
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
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
murat @handle.invalid programmer / designer • online communities / generative art / neural nets / music / physics / math
http://muratayfer.com
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Alexander Bandukwala @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
Duncan Mak @duncanmak.bsky.social
@mechadense.bsky.social @mechadense.bsky.social
Rebecca Wirfs-Brock @rebeccawb.bsky.social SW Designer/consultant/mentor, author, inventor of Responsibility-Driven Design & xDD meme, heuristica (design heuristics!), patterns enthusiast, science/engineering nerd, jogger, gardener, amateur baker
wirfs-brock.com/rebecca
Clemens Nylandsted Klokmose @clemens.klokmose.net Associate professor @ Computer Science, Aarhus University. Arcade game enthusiast. Bass player.
Web page (work): https://cs.au.dk/~clemens/
Michael Homer @mwh.nz I make programming languages and interfaces at Victoria University of Wellington
Mark Guzdial @markguzdial.bsky.social Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
Tom Van Cutsem @tvcutsem.bsky.social Computer scientist | Professor at KU Leuven | views are my own
Silicon Jungle @jungle.bsky.social 🤖🍃🐵 shape… shift…
Bret Victor @worrydream.com worrydream.com
dynamicland.org
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
Michael Nielsen @michaelnielsen.bsky.social Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
Rasmus Andersson @rsms.me Working on Playbit https://playb.it/ . Designer of Figma, Inter, Spotify. Software painter. https://rsms.me/
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Andreas Zeller @andreaszeller.bsky.social 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/
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
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.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Heather Miller @heathermiller.bsky.social 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
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
judah @joodaloop.com visit joodaloop.com for my stuff
stick around for tweets about scatterpad.com, my magnum opus. i also made streams.place a couple years ago.
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Jonathan Aldrich @jonathanaldrich.bsky.social 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.
Gregor Samosa @watwa.re putting the yikes in Dijkstra
Building: floma.io & mietencheck.de
Before: MDN & commonvoice.mozilla.org
Blog: https://watwa.re
I'm on Germ DM 🔑
https://ger.mx/A7-MU0u2kNOoKLoRUO1PH_m7V0EVTamQmquKWtsrlh7W#did:plc:c764uyv2vgzswy5gpc4jgknf
@allenwb.bsky.social @allenwb.bsky.social
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.
taylor.town @taylor.town 🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 taylor.town 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Jens Lincke @jenslincke.bsky.social Researcher at Software Architecture Group, Hasso Plattner Institute, University of Potsdam
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Sam Aaron @samaaron.bsky.social Live Coding Artist. Creator of Sonic Pi & Tau5, programmer, educator, musician, PhD, Sam 'transcends the present' - Rolling Stone. he/him bookings@sonic-pi.net
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
Francois Laberge @seflless.bsky.social Founder of Decode, a white-board that writes & explains code — https://decode.dev
`fogus @fogus.me bibliophile, flâneur, occasional programmer, Clojure core
https://www.fogus.me
https://blog.fogus.me
🇺🇸🇯🇵
Duncan Cragg @duncan-cragg.bsky.social Exploring alternative ways to interact with our digital property.
My vision is of a humane, intuitive digital living space.
#DataFirst
https://digital-living.space/
Max Kreminski @maxkreminski.bsky.social https://mkremins.github.io
Konrad Hinsen @khinsen.net Researcher at CNRS (France). Computational science, in particular computational biophysics. Metascience, in particular the evolution of science in the digital era.
More active in the Fediverse: https://scholar.social/@khinsen
Mary Rose Cook @maryrosecook.bsky.social Staff-level engineer at Notion. Previously at the Recurse Center, Airtable and Ableton.
Philippa Markovics @unkai.bsky.social work: clerk.vision
site: trimmings.wtf
trace: the final frontier
tent: poled
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
https://www.marcelgoethals.com/
Adam Wiggins @adamwiggins.com Working to make computers better. Cofounder of Ink & Switch, Heroku, and Local-First Conf.
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Sam Gentle @sgentle.bsky.social computational art | artistic computation
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
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
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Szymon Kaliski @szymonkaliski.com independent consultant, designing and developing computational interfaces; currently prototyping at Google Research and Google Creative Lab
https://szymonkaliski.com
Brooklyn Zelenka @expede.wtf 🇨🇦 "Vancouver"
🏳️🌈 Sappho's Roommate 🌸
🏢 @inkandswitch.com
🔰 Always learning
💡 Woke AF
🤝 United we stand, divided we fall
✊ BLM/Land Back/Antifa/Trans Rights/ACAB
❄️ NixOS
🔥 Niri
📝 notes.brooklynzelenka.com
🧶 tangled.org/expede.wtf
🐘 types.pl/@expede
Francisco Sant'Anna @fsantanna.bsky.social Professor @ UERJ - Rio de Janeiro State University
Developer @ Ceu Language: https://github.com/fsantanna/dceu
Developer @ Freechains Protocol: https://github.com/Freechains/README
Homepage: http://www.ceu-lang.org/chico/
qntm @qntm.org There Is No Antimemetics Division (https://qntm.org/antimemetics) ~ "Lena" ~ Absurdle ~ HATETRIS ~ many other cool things
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.)
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!
Dylan Field @zoink.bsky.social CEO at Figma
spencer chang @spencer.place software you can touch
artist, engineer, toymaker
🌐 spencer.place (home)
🧭 wewere.online (a game across the internet)
🛝 playhtml.fun (turn any website into a public space)
📱 shrine.computer (interactive sculpture protocol)
🥠 internetsculptures.com (shop)
Kevin Kwok @kevin.bsky.social Creator of the infamous Bluesky counting thread
𝕮 @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org • @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com- 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.
Steve Krouse @stevekrouse.com
Rob Haisfield @robhaisfield.com Building WebSim websim.com
Product thoughts: RobHaisfield.com
My research: ScalingSynthesis.com
Codex OS @codexeditor.bsky.social Creating the knowledge worker's local-first, open source web OS, using standoff properties and hypergraphs.
#DH #TEI #DigitalHumanities #HumanitiesComputing
Code: https://github.com/argimenes/speedy-ts
Max @max.bsky.social BECOME HUNGRY
Devon @devonzuegel.com I've gone to look for myself. If I return before I get back, please ask me to wait