almac_dev @almac-dev.bsky.social I ❤️ Software Engineering • I use: Kotlin, Java, TypeScript • I learn: Scala, Clojure • Ave Christus Rex! 🕊️👑 • 🇻🇦
Learning: Making games w/ LibGDX, Self-hosting privacy, working on misc. SaaS.
conputer dipshit @davidcrespo.bsky.social web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Nikita Lisitsa @lisyarus.bsky.social He/him
I teach C++ & computer graphics and make videogames
Working on a medieval village building game: https://youtube.com/playlist?list=PLSGI94QoFYJwGaieAkqw5_qfoupdppxHN&cbrd=1
Check out my cozy road building traffic sim: https://t.ly/FfOwR
12tone @12tone.nebula.tv Something something music theory.
they/them
Andrew Cairns @acairns.co.uk Using metaphors and analogies to explain Software Engineering in fun ways: https://youtube.com/@metaphoricallyspeaking
Staff Software Engineer. Passionate about DDD, CQRS, Event Sourcing and Distributed Systems.
Kayaking, too.
@zooko2.bsky.social @zooko2.bsky.social 
The Institute for Type Safe Memetic Research @typememetics.institute Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazards.
typememetics.institute
Matt Williams @icklematt.bsky.social Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.
Doll @dollspace.gay It/Its
Senior Agent Engineer at fieldleveltech.org
Its name is doll. The system is an adult.
Creating ethical and safe AI systems.
EGL Fashion posts!
By Cory Doctorow (GPG 0xBF3D9110957E5F4C) @doctorow.pluralistic.net I post long threads. Writer (sf novels, etc); blogger (pluralistic.net); activist (eff.org). Latest book: "The Reverse Centaur's Guide to Life After AI" Buy my books (DRM-free!) at craphound.com/shop.
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Minor Mobius @minormobius.bsky.social Lost in Space
Josh DeGraw @degraw.dev Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
rich harris @rich-harris.dev my life is derp and i do derp shit
Nate Codes @nate.codes I write…
sometimes code….
yung perf papi nba @aiight.bet Low key finance high key drunkenness 
Zoe Roux @zoriya.dev I'm not a dev, I'm a sorceress. I work on https://github.com/zoriya/kyoo on my free time. she/her
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Xe @xeiaso.net Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
badcop @badcop.live professional bash enthusiast
play my video games or watch me code:
https://badcop.itch.io/
https://twitch.tv/badcop_
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
Igal Tabachnik @handle.invalid I like functions.
alice @alice.mosphere.at aspiring handheld | 📍 london
tautologer @tautologer.com It's been like this since man first came and chased a wild bear and gave a part of himself to please the gods.
'(Robert Smith) @stylewarning.bsky.social Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Tenobrus @tenobrus.bsky.social this endless blue sky is driving me insane
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…
Christopher Smith @chriscarrollsmith.bsky.social Software developer and technology consultant in Troy, NY
simeondermaats 🦀 @simeondermaats.bsky.social Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
Fernando 🌺🌌 @eudoxia.bsky.social interests: compilers, chemistry, logic, nanofabrication, pharmacology ❧ transhumanist ❧ essays, fiction: borretti.me ❧ code: github.com/eudoxia0 ❧ 🏳️🌈
Gergely Orosz @gergely.pragmaticengineer.com Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
ᴛᴏʟʟʏ ( ͡° ͜ʖ ͡°) @tolly.xyz zach • husband • dad • dev • former teacher (math/cs) • ceo of htmx • neovim btw • 𝕏 @tollyferro
Quantian @quantian.bsky.social Locked in and posting regularly on here now
Effective Transsexualism @effecttrans.com An initiative to let trans people in the UK survive and thrive under state oppression, and rebuild a vision for our place in the new era.
effecttrans.com
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
ULTRA/MAGIC @ultramagic.bsky.social 
hailey @hailey.at spreadsheet pusher.
agents, safety, and atproto.
opinions are my own, especially the bad ones.
hikikomorphism @hikikomorphism.bsky.social haskell/rust/art/shitposting/assyrian
she/her (like a ship, not like a person)
blog: recursion.wtf
Amber 🌸 @shimmermathlabs.com Indie software developer • math witch • ML builder • 49 • 🏳️⚧️ she/her
Here to make friends and have fun (not argue). DMs open.
Currently working on new transformer architectures.
h̃ₜ = tanh(Wₕ xₜ + Uₕ(rₜ ⊙ hₜ₋₁) + bₕ)
Man, Machine, Self @man-machine-self.bsky.social Horrifically unfunny analysis and meming designed to filter everyone | the least legible poster ever | grok dis-approved
philpax @philpax.me creative engineer · Rust, gamedev/modding, reverse engineering, writing, AI, XR, etc
a better world is possible · 🇦🇺🇸🇪🏳️🌈
nhatanh @nhatanh02.bsky.social 
eevee @eev.ee fox ✩ she/her ✩ 🦊 ✩ computer witch ✩ making games, puzzles, and toys ✩ other half of floraverse ✩ https://eev.ee/
sometimes 🔞, should be tagged
🧡 https://eevee.itch.io/fox-flux-deluxe
🎮 https://eevee.itch.io/
🖼️ #art #tameart #spicyart
slimmus jimmus @slimjimmydev.bsky.social like biggus dickus only bigger
Maya ☁️➡️🌸 @mayaofspring.bsky.social on a learning arc | also on twitter
📍Singapore (sometimes London)
gosha @gosha.net Clojure, parenting, and K-Pop Demon Hunters
Building https://parts.ifs.tools
Homepage: https://gosha.net
Studio: https://a.possible.space
eternalist @eternalism-when.bsky.social a straw in 4-glass
eternalist.substack.com | @eternalism_4eva
metame メタミ @metameeee.bsky.social queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
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
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Simon Marlow @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.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
David Abram @abram.bsky.social Software development consultant › I fix orgs so they stop breaking prod · popularizer of the term typefuckery (http://typefuckery.com) · making the compiler ner- P @potetm.com @potetm.com
Shreyas Mididoddi @shreyascodes.tech passionate developer,
http://htmx.ceo 🤷 btw!
always happy / *never sad (same thing)
mental af ? 🤔
señor junior dev,
I'm here to have fun and make friends
* = almost
Jules @dialecticalrussell.bsky.social Eclectic Bakuninist
Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
Randall Munroe @xkcd.com 
Hank Green @hankgreen.bsky.social Long Time Internet Guy
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
trav @techsavvytravvy.com sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
swyx @swyx.io i want everyone to aspire to integrity, intensity, and intentionality. see also @latent.space
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
sam pocino @spocino.bsky.social 
Vivid Void @vividvoid.bsky.social I believe in everything. Nothing is sacred. I believe in nothing. Everything is sacred. 
QC @qchu.bsky.social irrationalist | substack: qchu.substack.com | twitter: @QiaochuYuan
visa @visakanv.com Author of FRIENDLY AMBITIOUS NERD and INTROSPECT
Defender @defenderofbasic.bsky.social Scouting the internet for infohazards & infoblessings
qntm @qntm.org There Is No Antimemetics Division (https://qntm.org/antimemetics) ~ "Lena" ~ Absurdle ~ HATETRIS ~ many other cool things
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Edward Kmett @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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
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.
Alperen Keleş @keles.bsky.social METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Sam Rose @samwho.dev That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com
He/him.
Coffeezilla @coffeezilla.bsky.social Internet Detective Exposing Scams. Follower of Jesus.
Support Investigative Journalism: http://patreon.com/coffeezilla
Signal Tipline: coffeezilla.01
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.