@thunderseethe.dev
Alexis King
@lexi-lambda.bsky.social
computers can be understood • she/her, ⚢ • Chicago
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
addie! ☆彡
@addie.sh
she/her. do whatever you want forever. my awesome website https://addie.sh yuri expert; creator of @yuri-lang.dev free palestine 🇵🇸 I post rust/gamedev/graphics/music/computer
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.
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. GenAI is ethically unjustifiable
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!
@alto.fish
wannabe computer scientist. radically pluralist, mechanically sympathetic. mostly harmless she/her if we're friends, they/them otherwise
waffle .-.
@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
kold.
@koldinium.com
wizard-coded he/him koldinium.com
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.
@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?
Psychofugal
@pychofugal.bsky.social
Creator, mender, and enhancer of software.
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
Component Creator for Joomla
@component-creator.com
🚀 The fastest way to build Joomla extensions! 🛠️ Generate custom Joomla components in minutes—no coding required. 🌍 Trusted by developers worldwide. 🔗 https://www.component-creator.com
Paul Fesenmeier
@pfesenmeier.bsky.social
pfesenmeier.github.io
Catra
@handle.invalid
Personal account. Trans CatGirl. Rust Programmer. She/it. I like #rustlang https://catra.top/ I (re)skeet stuff I find interesting. This includes everything from developer talks to full porn. NSFW. MSA Advantage 900 daily driver and MSA Millennium haver
8bit
@8bit.lol
reginos, all links at https://8bit.lol/
Antoine Martin
@alarsyo.net
Software Engineer @ NVIDIA. Views and opinions are my own.
@navidhg.bsky.social
https://hyperzine.navid.io
Type Theory Forall
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Sam McGowan
@sam-mcgowan.bsky.social
22 he/him, UK Programming in Rust 🦀, art, photography, shitposts. Humanist. 🤖 Bot follows & engagement farmers will be blocked.
George Brown
@g0xa52a2a.bsky.social
Fast machine enthusiast - HPC and F1. Be the mosh pit you want to see in the world.
Dusty Pomerleau
@dpom.bsky.social
(he/him)
addie! ☆彡
@addie.sh
she/her. do whatever you want forever. my awesome website https://addie.sh yuri expert; creator of @yuri-lang.dev free palestine 🇵🇸 I post rust/gamedev/graphics/music/computer
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.