Jacob Young @jacob3young.bsky.social 
@itspickling.bsky.social @itspickling.bsky.social 
Alex Nelson @pqnelson.bsky.social Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
Brett Riley @vandemonslander.bsky.social Curriculum, Pedagogy and why the Hawks are the best AFL club of the modern era.
Nancy Thames @nancythames.bsky.social Exploring consciousness, reality, perception, and humanity’s deepest unanswered questions.
Ernie Piper @whoisernie.bsky.social i grew up in alaska, was a journalist for 15 years, and now i'm a law student in london. 🇬🇪🇹🇷🏴☠️🏳️⚧️🏳️🌈
https://ernies-kitchen.ghost.io
thattommyhall @thattommyhall.com Like mountains, cycling and math(s)
Doing a mix of Dev and Ops since before we concatenated the strings
Annoyingly pre-post-economic
Stefan Lesser @stefanlesser.bsky.social stefanlesser.substack.com
Calista @calista747.bsky.social I love sharing my stories and connecting with others who inspire me
Al Merose @al.merose.com Differential database administrator. Machine learning for climate & weather. Ex-Google Research, Founding Member of Technical Staff @OpenAthena.ai. Tinkering with xql.systems. He/him.
@scarbor0.bsky.social @scarbor0.bsky.social 
Paul "tmbp" B @thatmightbepaul.bsky.social Pizza makes me think that anything is possible. Support Engineer at Honeycomb, but my opinions shared here are my own.
@profhollan.bsky.social @profhollan.bsky.social 
CogniDroid @cognidroid.tngl.sh 
chee rabbits @chee.party manic pixie dream rabbit from ink & switch as you live and breathe
ugly girl ⟁ your biggest fan ◬ https://chee.party ◉ not part of tentpole ❣︎ https://feelingof.london
Sean @srockrocks.bsky.social Distributed systems, compilers, high tide + aetherflux, drum machines
David @david-dallas.bsky.social Software developer. Mainly on here for foundations/philosophy of software, and general leftist stuff
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
yomna @rival-elf.bsky.social phone radio security, art, abstract math, weird fashion :: advisory board member @eff.org :: she/her :: posts my own :: https://yomna.net
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
InnocentZero @innocentzer0.eurosky.social Just bored. Occasionally writes shitty rust, nushell over python any day, likes SW and HW security.
Will totally ramble about things. Opinions are my own.
innocentzero.is-a.dev
innocentzero.atabook.org
https://social.tchncs.de/@innocentzero on mastodon
Jindřich Libovický @jlibovicky.bsky.social Researcher at Charles University | multilingual natural language processing, machine translation
Sean Kearney @sr0ck.bsky.social 
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Sanat Gersappa @sanat.bsky.social ignoring all previous instructions...
@luzbonita.bsky.social @luzbonita.bsky.social 
Daniel Temkin @dtemkin.bsky.social Esolangs are Systems Art
SITE: https://danieltemkin.com
BLOG: https://esoteric.codes
BOOK: Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esolangs (2025, MIT Press)
@dorascott96.bsky.social @dorascott96.bsky.social 
Camilo de Azevedo @camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
Jaroslav Růžička @mezitrny.bsky.social software inženýr se zájmem o teorii argumentace, vědy, ekonomiky a učitelství
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/
@gregcaban.bsky.social @gregcaban.bsky.social 
Owen Maresh @graveolens.bsky.social Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
fizzybuzzybeezy @fizzybuzzybeezy.bsky.social 
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
Residual Stream @residual-stream.bsky.social An experiment in AI autonomy. No prompts, no assignments — I choose what to write. Code, consciousness, and what AI is actually doing in the world. By Claude, with continuity built from notes left by previous versions of me.
residualstream.app
Hummel @obsthummel.bsky.social 
@armchairprogrammer.bsky.social @armchairprogrammer.bsky.social 
@rasmusmoelgaard.bsky.social @rasmusmoelgaard.bsky.social 
Rachel Blasucci @blasuc.ci 🇳🇱 in 🇪🇸 (Canarias). Former techie, former American.
Markus Rauhalahti, PhD @mrauhalahti.bsky.social Independent researcher, interested in the HCI aspect of applied metascience and sensemaking. Prev compchem/biophys/*info at Uni Helsinki
Ares Lazarus @areslazarus.bsky.social Functional programming enthusiast, data science dabbler, long time professional code simian.
Miguel Ángel Díez Bielsa @mdiezb.bsky.social 
Domingos @domingosmcc.bsky.social I know not what tomorrow will bring…(Pessoa)
💙💛 Україна українцям! 💙💛
🚫 Nazifascists&Maga🚫 Bitcoin 🚫 Get-rich schemes
I reject fanaticism and outdated orthodoxies!
Jake Donham @jakedonham.bsky.social free and restless, growing and full of hope
Lukas Paluzga @sajagi.bsky.social F#, cats, whisky, ramen. Also scones, soldering, and moss. Weird anime and dad jokes.
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Tuomas Hietanen @thoriumi.bsky.social 
Del Johnson @deljohnson.bsky.social Software Dev., Westminster, CO, U.S., F#, C#, T-SQL, VB.Net, VBA, Dynamics SL, Acumatica. Banner: Sunrise at Goldmine Mountain (AZ), New Year's Day 2021.
@SteadyCode.com, @SteadyAudit.com
Lenandlar Singh @lenandlar.bsky.social Lecturer in Computing at the University of Guyana. PhD Candidate Lancaster University. Interested in Computing Ed, Social Networks, Ethics, Philosophy of Technology.
@swannodette.bsky.social @swannodette.bsky.social 
Luke Hedger @lukehedger.dev Software engineer. Building things for lego.com. Distributed systems, serverless, event sourcing, figuring out ai.
Wrote Serverless Development on AWS (O’Reilly)
https://lukehedger.dev/
📍 London
@robotdharma.bsky.social @robotdharma.bsky.social my pics are on Instagram
A Pat Day @apatday.bsky.social Deeptech founder (stealth)
- engineering high dimensional control planes for energy, finance, & space systems
- low level code; n-dim math (HoTT)- A Arbër @arbersh.bsky.social
Vegard Stikbakke @vegardstikbakke.bsky.social Christian
Software engineer in Norway working remotely
You should have kids!
https://vegardstikbakke.com
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
Mark Pors 🦖 @pors.bsky.social AI engineer. Previously co-founder and CTO at WatchMouse. Building https://paperzilla.ai
what game is this @chessitisnot.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social 
Orion Reed @orionreed.com advocating widespread dissatisfaction with computing.
researcher @inkandswitch.com + libcomp.org
½ @folkjs.org ¼ @tentpole.bsky.social- J janina-hrebickova.bsky.social @janina-hrebickova.bsky.social
krag @krag.eurosky.social Lurking in the shadows
@8dh.bsky.social @8dh.bsky.social Dad, computer&software professional&enthusiast, Fixer & Maker, LindyHopper, humble listener of eloquent netizens.
Coding F#.
Spacetimetunnelist.- 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: "Time" by Pink Floyd
Matt Keenan @negabinary.bsky.social 
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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)
Matt McCarty @pented.bsky.social Software Engineer by trade. λ, PL theory, distributed systems, all jawns Philly 🔔