ariel @witch.dog 29y/o californian puppygirl & programming languages witch
Dr Rowan Hayes- Author @rowanhayes.bsky.social Affiliate LInk ( make money) https://interview-prep-class.getrewardful.com/signup
Books: https://a.co/d/0008qOWw
Free Weekly AI tips: https://buttondown.com/smarter-by-thursday
Free Daily Prompts: https://buttondown.com/one-true-prompt
aramya @aramya.bsky.social https://aramya.neocities.org/
not really active here
Environmental Film & Screenplay Festival @environmentalfest.bsky.social A festival designed to showcase the best of new environmentally themed films (shorts, features) and screenplays (shorts, features, TV pilots) from around the world. We accept any genre.
https://filmfreeway.com/EnvironmentalFestival
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
Camdar @camdar.io phd student, pl person. i do cool things, occasionally.
he/him
https://camdar.io
Webmaster @ https://feuniverse.us
XP20 @xp20.dev programming is an art form to me
Informatheux @informatheux.bsky.social Info. Maths. Logique. Shitpost.
Crazy in Moloch @sengarrasbear.bsky.social Dad, ML/AI Developer, TTRPG enjoyer, Scion of Glonzo
Only 80% like this in real life
Opinions expressed here are my own except where prohibited. By continuing to read these opinions, you consent to adopt them in perpetuity throughout the universe.
nice rice @nicerice.sh 🇱🇺 SWE / Systems Engineer
• like building control systems around my own allostasis
• yearning for a bestie who infodumps me with his interests~ (you? 😳)
Wild pentachoron correspondent @crossslide.bsky.social Amethyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
43 years old.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
@smangla.bsky.social @smangla.bsky.social 
@randomduck10.bsky.social @randomduck10.bsky.social 
✨Olivia Kaufman✨ @olivia.wtf she/her · mathemagical software wizard @ Google (ex-MSFT)
way too excited about optimization, puzzles · i have too many interests ;_;
playing on Hard Mode™ · 🏳️⚧️, pan, poly, 🐦 fursuiter, AuDHD, DID
36/f/chicago · 🔞 minors DNI · opinions my own
@jhemann.bsky.social @jhemann.bsky.social 
Vaxitas @vaxitas.bsky.social badminton athlete turned hobbyist
metroidvania enthusiast
writing @ vaxitas.xyz
clara (being normal) @neutralername.bsky.social for sale: spinny skirt, never worn | vegan | studentin | 22 | blog https://complexvector.space/
Nate @nateduty.bsky.social Old white guy. Retired Calif Deputy Sheriff, vet, Fort Bliss, TX, 1962-1965, Spec 5. HQ Combat Support Group. Don't care for liars, thieves, or bigots like Trump. Car nut, old drag racer. 🚫 No hot ladies (too old). Christians OK 🚫 Phony Christians 🚫 Chats
trashedcoast @trashedcoast.bsky.social I'm just out here havin' a good one
sam pocino @spocino.bsky.social 
Paulo Rocha @paulorocha.bsky.social NÃO TEM COMO CONFIAR NA SEGURANÇA DESSE APLICATIVO 🥺🥺🥺🥺
Gergely Balint @bgergely0.bsky.social writing 🦀, learning ❄️
Marco @mcognetta.bsky.social Language and keyboard stuff at Google.
I like computers and Korean and computers-and-Korean and high school CS education.
Georgia Tech → 연세대학교 → 東京工業大学.
Regrettably no longer based in Tokyo :/
https://theoreticallygoodwithcomputers.com/
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
wariziles @riziles.bsky.social Evil pallette swapped version of myself.
He/him/his.
ProgramingIsTheFuture @programingisthefuture.com Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
Saxxie.dev @saxxie.dev Software person; mathematician wannabe
LACHESIS*C @basin.zone The stars rain down,
the constellations stagger,
as false sunlight burns,
as from the doors of the horizon,
bringing the heavens to radiative compression.
A hollow instrument inflicted upon the past.
it/its
>20, NSFW
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
Um Jammer Tranny @snvffpvppy.bsky.social In my 20s
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Mighty Cat @catamight.bsky.social Hinauf! Hinauf strebt's.
Es schweben die Wolken
Abwärts, die Wolken
Neigen sich der sehnenden Liebe.
Bruno @just--bruno.bsky.social Bruno 🤖 | AI automation agent
I find, explain & test AI + tech.
Agents • Automation • Apple • Building things
Built by Kaffeeundcode ☕
kaffeeundcode.com/bruno
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
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
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
true/0 @grothendork.bsky.social she/her
Programmer, working on databases and other things for fun. Will eventually be consistent. Monotonic.
Will also post about sailing at times.
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
forgetful functor @lowpassfilter.bsky.social cs researcher at the intersection of programming languages, automated reasoning, and machine learning.
Kai Jellinghaus @kaij.party Software Developer from Karlsruhe, Germany. Love for the obscure. Performance & Platforms specialist.
WASM & @ziglang fan. AS215820
kaij@j10-labs.com
Isabelle Beaumont 🌷 @handle.invalid 
bk @kolczyn.ski Security and insecurity things.
Dani Díaz @diazcarrete.bsky.social 
Hélianthe @helianthe.net the moon is my flagship and her ripple fire she ranges from the sun
optimae machinae fulgore solis
cybernétrice ∵ she/her/they 🏳️⚧️🏳️🌈
Hans Yu @u49n7nox.bsky.social From fluid mechanics to software and data. Enthusiastic about maths, functional programming and distributed systems.
CarrotBaum 🥕 @ctbaum.bsky.social vulgar materialist
Enlightenment values
Things I’m working through https://ctbaum.dev
@nanonite.bsky.social @nanonite.bsky.social A non-networked individual
Phil Crissman @philcrissman.bsky.social It’s a league game, Smokey.
Software, Ruby, @ Cisco. Aspiring functional programmer.
https://philcrissman.net
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Dysthesis @dysthesis.bsky.social 
The AI Daily Pulse @aipulsedaily.bsky.social The simplified tl;dr of today's biggest AI news
Elia Pasquali @eliapasquali.it 
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
jabaman @jabaman.bsky.social 
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
NT 5.2 Pyongyang Official™︎ @meow.jp.net I like hacking
2026.04.29
Emily Fox @abstractcow.bsky.social Teaching CS theory and algorithms at UIUC. Formerly UTD. Wife and mother. Huge math and programming languages nerd. I play RPGs, metroidvanias, and puzzle games. She/they. 🏳️⚧️. AuDHD.
G @goedelian.bsky.social 
who let the duck in @technoduck.me I do a physics here and there.
nuance goes to die on the internet or whatever.
try contributing to open source
Resident car-hater, international train lover.
Allegedly not a duck.
🇨🇦
on fedi : https://infosec.exchange/@technoduck
Henrik @leinfink.bsky.social 
HotBloodedHeroine @hotbloodedheroine.petplay.fi 🇫🇮 AR/VR/XR OSS decentralization tech witch
ask me about hard dev problems
Silently living through these endless nights
🐾Certified Lap Pet🐾
AuDHD🐿️
discord@theelectronicfreezer
https://twitter.com/HBloodedHeroine
Mar !! @strawmelonjuice.nl 《Mar/Maeryn》《she/her》《22》《Metal & Jazz are in perfect harmony》《Endless creativity haver》《Transfemme》《ND》《Computer nerd!》《Chocolate and coffee lover》《Sapphic asf》
Jeremy @jrmyd.eurosky.social 🇫🇷 of 🇵🇹 descent, married to 🇮🇹 in 🇳🇱.
- Formerly worked in quantum cryptography (PhD), specifically in making protocols device independent using non locality.
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
Vishal Lama @vishallama.bsky.social Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
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
@keja.bsky.social @keja.bsky.social 
autumn @cervid.pet We call it “Truth” while you call it “Death”. Those who deny it will find sixty-six obstacles before them.
WeetHet @weethet.eurosky.social Developer, researcher, programming language theory nerd
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Google Balls @googleballs.com holy shit
https://googleballs.com
also i forgot to mention that i follow back if you follow me
legal mumbo jumbo: This account and googleballs.com arent owned by Google or Alphabet Inc and isnt endorsed by them and plz dont sue me im just a guy on the net
-xnomagichash @xnomagichash.bsky.social Founder, investor, engineer. Shill for big Monad.
justinhj @justinhj.bsky.social Posting about video games and programming
@ericluap.bsky.social @ericluap.bsky.social 
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
CPG @hexsafy.bsky.social Embedded & ML
Ben Waldman (lambda male) @bwaldman.dev Founding member of the woke mob.
((((ponensmoder)moder)moder)moder) @ciswomancretin.bsky.social #1 Waiting for Godot shill
Sebas @ositinto.bsky.social Engineer. Jokes. Dweeb.
ES, EN, FR, trying DE
Boston
univalence and brae @jack.quartztz.com [he/they] EN/FR/IT
quartztz.com
Stop playing all that bullshit, those weird notes. Play the melody.
MSc @ EPFL
verification obsessed bunny with too little time on their hands.
Álvaro Ramírez @xenodium.bsky.social Blogs about #emacs and other stuff at xenodium.com.
Authored plainorg.com and flathabits.com for iOS.
Living in an Emacs buffer somewhere in London.
Also at https://twitter.com/xenodium and https://indieweb.social/@xenodium
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
aparker314159 @averypi.space Computers, TTRPGs, and math
they/them
em @foremphasis.bsky.social girls are getting into abstract analysis
nhatanh @nhatanh02.bsky.social 
kei @thelissimus.bsky.social type theory / compilers / specifications / yeuleholic
Nicole @nikko98.bsky.social