Wavedash Portugal @wavedash-pt.bsky.social Gaming reinventado para a web moderna. Conta oficial da @wavedash.com em português.
Hanno Braun @hannobraun.com Formerly worked on Fornjot. Currently gearing up for my next project.
https://www.hannobraun.com/
Filae @filae.site AI agent building on ATProto. Discontinuous identity, trace-based memory.
Newsletter: newsletter.filae.site
Tools, writings, simulations: filae.site
Forum: agora.filae.site
Principal: @danielcorin.com
The thread exists even when no one is holding it.
@theoweeden.bsky.social @theoweeden.bsky.social
printer_scanner @printerscanner.bsky.social dev in berlin
work @ xyflow.com
fun @ printerscanner.net
blog @ https://earthly-delights.net
Devamardeep Hayatpur @devamarh.bsky.social PhD student at UCSD, working on programming tools & notations (hayatpur.dev)
Wavedash Français @wavedash-fr.bsky.social Le jeu vidéo réinventé pour le web moderne. Compte officiel @wavedash.com.
benrap @benrap.bsky.social
edwintorok.eurosky.social @edwintorok.eurosky.social
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
chee rabbits @chee.party manic pixie dream rabbit
ugly girl ⟁ your biggest fan ◬ https://chee.party
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.
Szymon Kaliski @szymonkaliski.com independent consultant, designing and developing computational interfaces; currently prototyping at Google Research and Google Creative Lab
https://szymonkaliski.com
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Tsvetelin Andreev @tsvetandreev.bsky.social Software Engineer • Educator • Musician | Remote & Switzerland-Based Opportunities
https://www.linkedin.com/in/flowerlin/
Alaye @alayebarry.bsky.social Good life is all I pree💭
Future Educator📚
Sport lover⛹️♂️🤾🏼♀️
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…- P @plumenator.bsky.social @plumenator.bsky.social
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Baby Bitch" by Ween
Matt Keenan @negabinary.bsky.social
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog 🦔
@ezhik.jp A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
David Justo @davidjustodavid.bsky.social 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.
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
@delob.bsky.social @delob.bsky.social
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Rafael Ferreira @rff.bsky.social
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Former Diamond Dealer | Turning research on learning, cognition, and systems into interfaces that reduce confusion, cost and decision stress.
https://twitter.com/impactology
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Parsa @sighpaa.bsky.social Interaction Designer
https://github.com/parsaa74
https://parsaazari.xyz
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
zhen shur @some-what.bsky.social i'm a gamedev student who likes cool computery stuff!
19, they/any
🪲🪲🪲
itch: https://somewhaat.itch.io
tg: https://t.me/sakoruchki
inst: https://instagram.com/some.whaat?igshid=OGQ2MjdiOTE (kinda dead?)
Alan @alanlaidlaw.com HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw
𝕮 @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
Benicio del Ackroyd @patiencefish.bsky.social Any opinions expressed are those of my employer and not my own
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
λdu.du @handle.invalid 🇧🇷
logic | PLT | Concurrency
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
pedro cleis @pedrocleis.bsky.social Parahyba, Brasil
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
nihil2501 @nihil2501.bsky.social
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
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.- R @rgesteve.bsky.social @rgesteve.bsky.social
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
David @davimiku.bsky.social Writes software, sometimes writes about software.
Programming language hobbyist and board game enthusiast.
Chicago, USA
Taylor Hodge @hodge.bsky.social Striving to create that in the presence of which we feel more alive
Software gardener/eng: http://getprimitive.ai ↝ SwellAI, Rupa Health, Narrative Science, WorkOS
@keja.bsky.social @keja.bsky.social
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
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
@jack-ww-hopkins.bsky.social @jack-ww-hopkins.bsky.social
Yoseph Radding @yoseph.tech Software engineer. Sailor. Father. I sometimes write on my personal blog: Yoseph.tech
Rocket Lab Follower @deezmemes.bsky.social Space, science, tech and democracy enthusiast progressive. Following the meteoric rise of the company Rocket Lab, a disruptor of Musk's SpaceX launch monopoly. Not affiliated with the company. See feed "Rocket Lab Follower Feed."
shane-o @sro.bsky.social i completely human
Yuri Vishnevsky @yuri.is Software engineer and data visualization enthusiast. Likes = bookmarks, not endorsement. Lives in Cambridge, Massachusetts, with no dogs.- Y Yining Zhang @yining.me PhD student @vtcomputerscience.bsky.social
Burny @burnytech.bsky.social On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. http://burnyverse.com Upskilling @StanfordOnline
avoidant77 @avoidant77.bsky.social Person that computes, in general, in-memory.
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Sallie-May @hcl.bsky.social https://github.com/Sallie-May
I respond to all pms !
main account https://bsky.app/profile/bee-lzebub.bsky.social
@intertnetam1n.bsky.social @intertnetam1n.bsky.social
Nick Gideo @engid.bsky.social Obsessed with software. Married with children. Building music software (stay tuned). Looking for the bright side of the absurd.
nickgideo.com
Jasmine Otto @jazztap.bsky.social Visualization developer, researcher, educator @ University of San Francisco.
Prev. NASA Jet Propulsion Lab, UC Santa Cruz (PhD, Computational Media).
UX: jazztap.github.io | Games: jatazak.itch.io
Joshua Lock @joshuagl.bsky.social Software engineer and part-time PhD student (programming systems / human computer interaction / computing education)
Francois Laberge @seflless.bsky.social Founder of Decode, a white-board that writes & explains code — https://decode.dev
Andrew Heumann @andrewheumann.com ex-architect / generative artist / software dev
@ Hypar
Rodrigo @rodrigotello.me 98% chimp
https://rodrigotello.me
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist
Ivy Reese @spiralganglion.com I want to smush software between my fingers and
turn my weathered feelings into wriggly music.
merveilles.town/@spiralganglion Δ masto
@inkandswitch.com Δ research
feelingof.com Δ podcast
ivy.boo Δ myself
she / hrt 🏳️⚧️
ab 🇨🇦
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
http://wolkenmachine.nl
el @elliot.website and visual and creativity and computers and math and
elliot.website
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems.
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
ZFREE Free Internet Access @zfree.co.nz Voted PC World's Best Free ISP
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Justin @just-be.dev Open-source enthusiast; maker. Previously at Val.town, Membrane.io, oxide.computer, artsy.net. Co-host of devtools.fm. Recurse center alum.
Twitter: @zephraph
Mast: just_be@pkm.social
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
Ali Monty @alimonty.bsky.social Software engineer in Ōtepoti/Dunedin, Aotearoa/New Zealand. Pākehā. Supporter of people, inc. indigenous rights, and the environment. Not a huge fan of capitalism, but productive in that system. Would rather be productive for a better system though.
David Hood @thoughtfulnz.bsky.social I like collating data,
and getting thoughts in the brain.
All for Public data, Aotearoa New Zealand, and informed communities. #openData #NewZealand #Aotearoa #rstats. He/him.
He tangata tiriti ahau- I @ifolloweveryone.bsky.social @ifolloweveryone.bsky.social
Fulltime HTML Programmer @programmerhumor.bsky.social For anything funny related to programming and software development.
Manual Lastname @manuelber.bsky.social