andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Dan Olson @foldablehuman.bsky.social Documentarian
drilbot @drilbot.bsky.social the drilbot, blue sky edition | community prompted, somewhat generated, creature curated | probably shouldn't be here if you're a minor
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Kathryn<'u1f338> @sakurakat.systems nb kibty :3 🔞 23
stereotypical rust enjoyer
tell me you came from here! https://bsky.sakurakat.systems
1 posthog notification = 1 headpat :3c
fav feed: mutuals
btws:
professional idiot
tumblr user
NixOS user
black coffee drinker
s: kathryn_sakura.75
Adam Chalmers @adamchalmers.com Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run a meetup austinsystems.org and love reading sci-fi, history and Jewish stuff.
russell @rpjohnst.bsky.social 
Acerola @acerola.gg Graphics Programming Youtuber
Formerly Intel, Sony Studio Bend
https://www.youtube.com/@Acerola_t
alt: @acewola.bsky.social
Fat Ass Rat @baked-beans.bsky.social Fat Ass Rat you have to stop. You smoke too tough. Your swag too different. Your bitch is too bad. they'll kill you
HJVT @hjvt.dev Software developer, Rust & langdev enthusiast, getting into hobbyist gamedev.
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
uli :3 @ulipink.bsky.social she/her
dilettantish girl failure
alto! @probablytoo.online scatterbrain
she/her if we're friends, they/them otherwise
waffle (recovering from EMF) @waffle.pet compiler witch, striving to outshine stars 🌠
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Shen Comix @shenanigansen.bsky.social These comics are only visible to cool people!!
Support me: https://patreon.com/shencomix // Store: https://topa.to/shen
not not kold @koldinium.com Certified Grungler
he/him
koldinium.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.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
sai @texoport.in 
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Akhil Indurti 🇵🇸 @akhil.cc I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
🪡 neoluddite
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
PolyWolf @wolf.girl.technology 🏳️⚧️(she/her) https://wolf.girl.technology/
pfp by me
banner by @spect-ion.bsky.social
did you see that cool bug?
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🫐 currently working on https://vixen.rs and ML/ASR stuff, occasionally making videos about my latest code crimes 🦀 rust shill until something better comes up
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
mcyoung 🏳️🌈 @mcy.gay a whimsicott crawled into your compiler and got stuck
call me sunny. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
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/
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
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
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
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.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
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
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Game Maker's Toolkit @gamemakerstoolkit.com 🎥 YouTube: https://www.youtube.com/@GMTK
🍓 GMTK Game Jam: http://gmtk.itch.io
🔠 Word Play: http://s.team/a/3586660/
🧲 Mind Over Magnet: http://s.team/a/2685900/
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
wren @blueberry-wren.bsky.social what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
ReScript @rescript-lang.org https://rescript-lang.org/
Ship great products!
Swift Language @swift.org Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
brian david gilbert @briamgilbert.bsky.social hello
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Aria Desires @gankra.bsky.social it's me, the gay cat who writes your docs~!
author of the rustonomicon and learn rust with entirely too many linked lists; worked on homestuck, rust-lang, swift-lang, firefox
she/her, trans, 30
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.
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
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
venko @venko.blog combat jacking on the posters battlefield
i write computer programs for fun and money
he/him
langs: en, eo