Fernanda Graciolli @heyyfernanda.bsky.social AI + Formal Verification. Cofounder @ Midspiral. I build tools that make sure your AI-generated code doesn't break the Internet. She/Her.
⠀ ⠀⠀ ⠀⠀ ⠀ @horse.kawaii.social surely I'll put smth thing here eventually..
lieke @liekee.bsky.social 🐕 it/she 27 plural
🔞⚠️ 18+ problematic kinks
🎨 traditional artist attempting to learn digital
pfp drawn by my awesome friend u should check out @puddingdraws.bsky.social
Banner by @nundang0w0.bsky.social
Media tab for my art
Black Box @theblackbox.bsky.social ⬛️
mentalblood @mentalblood.bsky.social he/him
💾 bytes wizard
🐙 https://github.com/mentalblood0
♟️ https://lichess.org/@/mentalb100d
Andreas Flierl @andreas.flierl.eu Software developer. Wannabe musician. Gamer.
“The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.”
― Albert Camus 
panic! at the alamo @panoramic.blue got two hands
Emília 🐇⚙️ @m1emi1em.bsky.social she/her | bunny enjoyer | chronically parenthetical
@keja.bsky.social @keja.bsky.social 
w0op5 @social.unseelie.wine From hactivism, to formal methods, to boring adulthood.
🏳️🌈 (B), 🏳️⚧️ ally
it was never death that interested me, it was the idea of an opportunity to follow a cold breeze that promised to take me anywhere but here
https://unseelie.wine/
🦊🌹 @til.bsky.social t4t piscean baeddnik foxthing
it/she
eng, tok (less these days)
a stray dog still howls for something
love is the only thing that matters
♉︎♓︎
Cognix Dev @cognix-dev.bsky.social Engineer ｜ Philosopher ｜ Pragmatist ｜ Positivist ｜ Life-is-a-Comedyist ｜ Ex-Microsoft ｜ Tokyo
https://cognix-dev.github.io/cognix/
https://cognix-dev.github.io/cognix/ja.html
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
星気深潭✨🌑 @astralabyss.m1em.gay 🐇・she/it・&・⚢・🔞
ℹ️ bunnies and dolls・eternally dissociated
🌐 en (native)・pt-br (learning)・jp (beginner-ish)
🩷💜
❗ antis fuck off
⚠️ followers will be vibe checked
Sekoia @sekoia.dev Systems programmer girl with a type theory bent
I WILL finish something to a level I am satisfied by *someday* I swear
WASM, ATProto, PLT, Rust
Signal: sekoia.99
Avishek ghosh @avishekcolours.bsky.social 
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
miniKanren.org @minikanren.bsky.social A little constraint logic programming language and associated community of researchers!
Nelind @nel.pet nerdy autistic 🏳️⚧️bian girl ask me about languages or code and i will not shut up.
is she a catgirl or puppygirl will we ever know? is she maybe both somehow?
19 and a horny slut almost daily so horny posting happens be warned. MDNI
she/they/it
@montanagal1979.bsky.social @montanagal1979.bsky.social 
lonjil @lonjil.net very sleepy
Louise @cheeselouisepls.bsky.social This mine. I made dis.
https://nattvandraren.bandcamp.com/
👉👈🥺
Stryker @m1126stryker.bsky.social just chillin here
Lemna_11 @lemna.bsky.social 
doll esters 🌑🐇 @este.rs 24⚧︎&θΔ🔞 ✳︎︎ it (3pp pref)/they&/she
someone-to-something transsexual 〜兎形〜
coders (con)linguists idm·likers
intersex disabled aroacespec
💜 @maeve.works’ warrenmates
🧡 @uniw.universitys mithasen
💙 @personhood.removal.surgery’s dolls–sisters–witches
@klaasgb.bsky.social @klaasgb.bsky.social 
Bruce Hauman @bhaum.bsky.social he/him Clojurist, figwheeler, canoe tripper, play actor, hand tooler, church remodeler.
Web: rigsomelight.com
Mastodon: @bhauman.functional.cafe
GitHub: github.com/bhauman
Danilo Piazzalunga @danilopiazza.bsky.social 40+ | he/him or they/them 🟡⚪🟣⚫ | Just let me be weird sometimes. | Embrace the silliness. | If I unfollowed you, it's because you keep posting things without alt text.
Herbert Hudson @herberthudson.bsky.social 30+ • developer • Married • Love Gamming and Programming! 🇧🇷
tetra 💎⏹️🇺🇳 @thetetra.space 💎 here to believe true things and do good actions 💎 someone should probably solve AI alignment 💎 enjoying things rules! ☀️ but it's not snowing now
english/toki pona/日本語
𝕥𝕙𝕖_𝕟𝕒𝕞𝕖_𝕔𝕒𝕟𝕟𝕠𝕥_𝕓𝕖_𝕓𝕝𝕒𝕟𝕜 @correct.technical.li ⓘ this user is questioning the fabric of reality. Three ferrets in a trench coat, writing shitposts. Berlin. A hoe (Head of Engineering) <insert social status labels>
Vale@ganbara.nai @valerauko.net Coder, mountaineer, beer drinker, bass player. Former anime production staff. Snowboard. Clojure, Kubernetes, Flutter, Tauri. Hungarian in Japan.
#alpinism #8000er #ultralight #hiking #craftbeer
☕ https://ko-fi.com/valerauko
🌴 https://amzn.asia/9ctecX1
BizarroFreak_999 @bizarrofreak999.bsky.social idealist looking to make friends;
sharing works, impressions, and ideas.
More technical on https://mastodon.social/@BizarroFreak_999 .
no magic yet.
Ada @gimme.moe 31 | she/her 🏳️⚧️
random thoughts thoughts from a woman living in upstate NY
NSFW
job -> industrial automations
PLs -> scala, c++, lisp-likes of all kinds, and elixir/erlang
Mari the Deer 🦌🖥️ @marisa.sayachan.org [34, she/her, non-binary, 🇪🇸]
Pathetic sad deer with trust issues.
SA survivor, broken but slowly healing.
Struggling game developer, veteran Doom modder.
Conflict-averse, but still very opinionated.
No minors. 🔞
Website: https://marisa.sayachan.org/
immi @iammteeh.bsky.social PhD tbd in Computational Fairness and Frustration @scadsai.bsky.social @humboldt-foundation.de
Mann der Praxis.
Zachary 🦋 @zed.earth Cyber-Social Infrastructure
Program Language Designer…
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Agam B @agam-b.bsky.social 
iurii (Юра) 🇺🇦 @iurii.net We need to write code… You son of a bitch, I’m in.
🇺🇦 Ukrainian. #SoftwareEngineering and #TechnicalLeadership. I also write about #politics and hobbies.
Music lover.
Vacation = Mountains.
https://iurii.net
https://mastodon.world/@iurii
Luke @ltriant.bsky.social He/him. Engineer. Movies. Strength training. Clojure(Script). OCaml. Perl. Emulators. Interpreters. Emacs. Melbourne, Australia.
Posting more regularly on Mastodon at the moment: @ltriant@hachyderm.io
CYRA ˒ 〄 @cyrawarexml.bsky.social ://Running boot procedures...
▮19 ˒ combat doll, domestic cyborg, 'princely' ˒ polyfragmented mixed system.
🧸 ΘΔ ♿️ ASD + disabled 🤎 Black | 🔞 MINORS DNI | Lokean | He, if you don't mind, they, if you do. 'It' if you'd please.
🤍 @cyraspacesys.bsky.social
@daxmictar.bsky.social @daxmictar.bsky.social 
@luckytink.bsky.social @luckytink.bsky.social 
Thomas @thomasmcinnis.com make computer go boop
·𐑜𐑮𐑱𐑕𐑦𐑥𐑨𐑯𐑑𐑦𐑕𐑦𐑕𐑑 | Greysemanticist @greysemanticist.com 𐑲 𐑜𐑪𐑑 𐑯𐑳𐑔𐑦𐑙.
Megumin @foremostarchwiz.bsky.social absurdist. at least 10% magical girl. witnessing the horrors.
wear a respirator. demand clean air.
they/them
Autumn (she/her) @fadedshotgun23.bsky.social Biologically Female
Your favorite emo angel <3
🏳️⚧️🏳️🌈
Intro post has everything else
negative tensor @negativetensor.bsky.social lurker
Alesya Huzik @alesya.social ❤️🧡🤍🩷💜
Software engineer trans girl from Sydney, Australia. Clojure, NixOS, nushell, Bitwig Studio. Made in Belarus 🤍❤️🤍
Also https://mas.to/@alesya on Mastodon, but I am not really actively there anymore
fae @faer.dev i coined the owen wilson "waow"
Selene 🏳️⚧️ | ⚸ @selene.euyis.me 🔞
yumi's doll | median system | black lipstick enthusiast
(@)euyis in most of the places
30s / 🦀 non-programmer / 🚩🏴 / audhd / disabled
lang: 官话, en / pronouns: 它, 她, 伊; it, she
@lilac.euyis.me | the other girl in here
@fallen.bsky.social | 🖤
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
cronopio @cronopiob.bsky.social Books, maths, thinking.
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
helen 🦄🌸 @hhart75.bsky.social 
Christian Weilbach @wh1lo.bsky.social Meta-constructor of constructive processes. Fascinated by destruction and the emergence of garbage.
Maxine🧙♀️ @maxisjoe.xyz game developer🕹️ + modder🛠️
Support Me💸: https://www.maxisjoe.xyz/maxfund
PLAY UNITYSTATION🎮: https://www.unitystation.org/
My Balatro Mod🃏: https://maxisjoe.xyz/project/maxine-joker-pack
🔞I occasionally RT suggestive content🔞
@babasque.bsky.social @babasque.bsky.social 
₊˚⊹ ཐི ཋྀ ₊˚⊹ @jamieasmr.bsky.social ཐིཋྀ The ASMR Girlie ཐིཋྀ
🐸🧚♂️🍄🟫🌲🌿
she/her | cozy posts
my socials: https://linktr.ee/frogsfaeries
second acc: @frogsnfaeries.bsky.social
subscribe: https://youtube.com/c/jamieasmr
insta: https://www.instagram.com/jamieelleturner
ru ding ware @nvyx.bsky.social I cannot see any DMs because i am in australia. Thank you albo
Luna 🏳️⚧️💜🦊 (wife arc) @trustmeim.gay Nerdy poly transbian disaster system, horny demiaroace foxgirls
We love gaming, coding, NixOS and cute things :) 💜
🩷🐇 Emília
💜🐍 @angie.girlkisser.dev
💙🐈 @saishy.girlkisser.dev
🩷🐇 @mikumikudice.bsky.social
https://pronouns.cc/@lpchaim
en🇺🇸/pt🇧🇷 | 🔞
Ricardo Mapurunga Junior @ricmaps.bsky.social homoiconic
mary🐇 @mary.my.id 🏳️⚧️🇮🇩 she/it · 23
web dev @buttondown.com @bookwalker.com
bad at this social media thing
ronin-red.bsky.social @ronin-red.bsky.social About Computer, Software engineering, Math.
You're warned : Social skills of a hyena on acid.
Daniel Slutsky @daslu.bsky.social A community organizer at https://scicloj.github.io/
building a #Clojure platform for #data and #science
https://github.com/daslu
Hubert @hubert-g.bsky.social 
Germax26 @germax26.net 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
danii (っ˕ -｡)ᶻ 𝗓 𐰁 @danii.fi bunny physicist ۞ 駿兎バニー ۞ the spirit is the master of everything and decides everything ۞ en/fi/fr/es/apc/APL - OK! ۞ DMs Open ۞ discord: danii.fi
pwmarcz @pwmarcz.bsky.social I work with computers and mostly repost things. He/him?... 🦈
https://pwmarcz.pl/
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
Komi Golova @jesyspa.bsky.social Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification (SnaKt) and semantics for Kotlin
she/her 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Eliza Zhang 🔆 @elldritch.bsky.social your builds should be faster and your government should work
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Ian @isuffix.com 📚 Programming language nerd
📝 Typst contributor
🦞 Avid lobster
🪀️ Yo-yo man (take me by the hand)
♠️ Board game enthusiast
😤 Prefix hater
Henry @henry.genet.ch Data plumber. Scala. 🇨🇭
kubie @kubiee.bsky.social fox that breaks things.
(was trying to be a mathematician but kept finding tiny computers in everything.)
fix your heart etc. you can be comfortable later.
any pronouns. please just know i'm gay 🏳️⚧️
🧡 @cookieuwu.bsky.social
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Fully Digital Future @fullydigitalfuture.bsky.social Your apocalypse buddy! Art, music, news, and links related to science, entertainment, technology, science fiction, and the looming cyberpunk apocalypse.
AI is dangerous. The future is frightening. But I'm hopeful and full of love for all humans.