computers can be understood • she/her, ⚢ • Chicago

https://andrewblinn.com abstractJuiceFactory

Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com

Documentarian

the drilbot, blue sky edition | community prompted, somewhat generated, creature curated | probably shouldn't be here if you're a minor

Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere bernsteinbear.com

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

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

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.

Graphics Programming Youtuber Formerly Intel, Sony Studio Bend https://www.youtube.com/@Acerola_t alt: @acewola.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

Software developer, Rust & langdev enthusiast, getting into hobbyist gamedev. GenAI is ethically unjustifiable

extremely dubious of "everything is public" social network

she/her dilettantish girl failure

wannabe computer scientist. radically pluralist, mechanically sympathetic. mostly harmless she/her if we're friends, they/them otherwise

compiler witch, striving to outshine stars 🌠 blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its

These comics are only visible to cool people!! Support me: https://patreon.com/shencomix // Store: https://topa.to/shen

memento vitae he/him koldinium.com

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.

They will be hearers of many things and will have learned nothing; they will appear to be omniscient and will generally know nothing; they will be tiresome company, having the show of wisdom without the reality.

unironically latinx

The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.

⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.

I play guitar and post nonsense about PL. @smasher164@hachyderm.io, @smasher164 on twitter

🎮 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

🏳️‍⚧️(she/her) https://wolf.girl.technology/ pfp by me banner by @spect-ion.bsky.social did you see that cool bug?