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
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.
Cher @cherryramatis.xyz she/her ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐| 22y | princess bubblegum fan | software engineer @ifood.com.br | member at @He4rtDevs | trying to be a tech writer at http://dev.to/cherryramatis
Midori // Coding Maid VTuber @mid.nekoweb.org ใใใใใชใใใพใใใไธปไบบๆง๏ผ Moe megane maid Midori here to teach #TypeScript and #LeetCode for your future employment o7 #VTuber #ENVtuber #CodingVTuber
๐ mid.nekoweb.org
๐บ twitch.tv/MeganeMidori
โถ๏ธ youtube.com/@MeganeMidori
โ https://ko-fi.com/meganemidori
bisaknosp @bisaknosp.bsky.social autism
Lemuel @lem.my แแแแแแแแแแแแแ
แแแ โข github.com/lemueldls
Daily Novel Writing Festivals @novelfestivals.bsky.social All of these contests give you 3 options to submit: Full Novel; 1st Chapter; Performance video readings.
https://festivalreviews.org/daily-novel-festival-contests/
sqlskid @sqlskid.xyz developer
woke gamette
aramya @aramya.bsky.social https://aramya.neocities.org/
not really active here
Evangeline Rome ๐ต ๐ฆ ๐ฑ ๐ข ๐ ๐ธ @evadeva.bsky.social Sincere, autistic, empathic, depressed, traumatized, socially anxious, 24 yo human. Effect-pilled. Competent in Backend, DataEng, Frontend, DevOps, and others. I โค๏ธ OSS!
github.com/nikelborm/effect-garden
npmx.dev/~evadev
alex ๐๏ธ @paracausalex.siren-vibes.ts.net angel without wings :: she/her
Advocating for transgender's refugees in Gorom refugee camp @bryo96.bsky.social Advocating for the queers in refugees camps.
Human Rights Defender for๐ณ๏ธโโง๏ธ๐ณ๏ธโโง๏ธ๐ณ๏ธโโง๏ธ๐ณ๏ธโโง๏ธ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐๐ณ๏ธโ๐ please support us. https://chuffed.org/project/185557-save-goroms-lgbt-refugiees
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
@0xf0ad.bsky.social @0xf0ad.bsky.social 
Sam Thoyre @samthoyre.bsky.social ๐ Tech Enthusiast | AI & Dev Tools ๐ ๏ธ
๐ฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
๐บ Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
Josy @josygirl.bsky.social hey, i'm josy
fresh pics every hour
spicy stuff on my private page
onlyfans.com/justjosy/c8
Moobsky @i-like-to-moob-it.bsky.social The Bluesky -> https://moob.app migration is happening fast!
๐พ๐ค๐ข๐ข๐ช๐ฃ๐๐ฉ๐ฎ ๐๐๐ฅ: ๐ฉ๐๐๐จ ๐๐๐๐ค๐ช๐ฃ๐ฉ ๐๐๐จ ๐๐๐๐ฃ ๐ข๐๐ง๐ ๐๐ ๐๐จ ๐ฃ๐ค๐ฉ ๐ ๐ฃ๐ค๐ฌ๐ฃ ๐ฉ๐ค ๐๐ ๐ค๐๐๐๐๐๐๐ก๐ก๐ฎ ๐๐จ๐จ๐ค๐๐๐๐ฉ๐๐ ๐ฌ๐๐ฉ๐ '๐๐ค๐ค๐ ๐ผ๐ฅ๐ฅ'
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
mu @mthy41.bsky.social woke luddite codecel and professional nix larper
en/pt (I switch between languages a lot sorry)
Xerz ๐ @xerz.one Making dreams work~โฃ๏ธ
catgirl of soffsoff and nyanya and prrprr whom codes and draws and also even nyas ๐
Also around the fediverse: @xerz@masfloss.net
๐The G-ddamn Unix Man, golem fucking sea mouse๐ @theunixman.com ืืึทืืื ืคึผืึธืืืฆืื, ืืืืื ืืื, ืืืกืข-ืืื
ืื ืืฉืจืื ืขืจืืื ืื ืืื
I am but a simple Street Jew on occupied Tongva land
See you at breakfast, sport.
"Shrieking. Insane."
Adri @hydrogs.bsky.social 
Amber ๐ธ @shimmermathlabs.com Indie software developer โข math witch โข ML builder โข 49 โข ๐ณ๏ธโโง๏ธ she/her
Here to make friends and have fun (not argue). DMs open.
Currently working on new transformer architectures.
hฬโ = tanh(Wโ xโ + Uโ(rโ โ hโโโ) + bโ)
Clarisse @qex.at lexa/she ยท ich bin Kunst, ich bin Maschine ยท ๅคขใฎใคใฅใ
Germax26 @germax26.net 
waffle .-. @waffle.pet compiler witch, striving to outshine stars ๐
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
aron @adler.dev โ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
ฮป / lambda @lambda-was-taken.bsky.social they/it
reskeet extraordinaire
cs student, interest in compilers & hci
sometimes inappropriate, but i donโt repost nsfw imagery
all my skeets are released to the public domain
pfp: @locofur.bsky.social ๐
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
@0x0fab.bsky.social @0x0fab.bsky.social https://github.com/fabricio-p
https://codeberg.org/0xfab
ฮผ @aripiprazole.dev 
ezri @ezrizhu.com 21
RC S1'25
onfiv! @onfiv.bsky.social 
@pabloski38.bsky.social @pabloski38.bsky.social 
thunderseethe @thunderseethe.dev 
์ง์ฐ @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "Lethe" by scree
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Akhil Indurti ๐ต๐ธ @akhil.cc I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
Reza @zalah.bsky.social linktr.ee/rezahandzalah
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Juniper ๐ณ๏ธโโง๏ธ @fantasybabydino1.bsky.social she/her
dni nsfw accounts GET OUT!!!!!
ฮปdu.du @handle.invalid ๐ง๐ท
logic | PLT | Concurrency
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
Sarah D. Luffy @zaruhev.bsky.social Pirate of the high seas
She/Her | Cousin of Grace O'Malley
idk some girl @openrc.bsky.social 
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Sam Vervaeck @samvvc.bsky.social I love creating new programming languages. Founder of Accelera. Member of Volt, the progressive, climate-friendly, pan-European political party.
Wilfred @wilfredh.bsky.social Programming languages, human factors, and a healthy dose of Emacs.
@spivee.bsky.social @spivee.bsky.social @spiveeworks on twt, @spivee on Discord
ask me about how to make a computable homotopy type theory without stinky cubes :]
Andre Popp @andreypopp.bsky.social 
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apacheย Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. ๐ง๐ทย โย ๐ธ๐ชย โย ๐ http://bento.me/felipe / https://felipe.rs
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
sai @texoport.in 
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
ride ๐ฐ bunnyborn @ridefigglehorn.bsky.social she/they | proship dni
artist(the sound kind)
do you believe in Gravity?- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
โจ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
jarryd @jarryd.xyz 
๐ฅ๐๐๐พ๐ถ @juljasmah.bsky.social 22, faggot,
mostly on twitter now i just use bsky for cool ppl
https://www.twitter.com/juljasmah
tokki ๐ณ๏ธโโง๏ธ๐ต๐ธ๐บ๐ฆ๐ป๐ช (COMMISION OPENS) @nekkopara05.bsky.social hello dello, the catransgenderfemme is here
https://fuggydolly.straw.page
PLEASE, PLEASE, don't do mention me with certain NSFW or like it
uni @uniw.university omg me (it ! ), 22 , hello everybunny
discord: uniwuni
various creature thing ๐๐๐๐ฆ๐ฆ๐
say hi to glorious precious lovely bunnies @transgender.parts
kamila @iczelia.net programmer, mathematician, 22yo girl. https://iczelia.net/. https://github.com/iczelia
modula t. @modula-t.org normal & weird, but in the good ways. maker & enjoyer of code, noise, etc. pro-creativity, pro-freedom, pro-fun. gnostic-adjacent, cะพmmunist, extremist. friendly & in search of likeminded people. ๐ let's destroy reality & make a Good Future everywhere~โจโค๏ธ
floppydisk @fwoppydisk.bsky.social He/him
Os dev enthusiast
I like rust!
Interested in data science
klementine ๐ @klementine.gay 27yo anarcho-communist trans bastard lover girl
she/they
18+, sometimes NSFW, MDNI
gamer, computer god worshipper, cheeseburger, Black Sabbath's 1975 album Sabotage, and uh
@casualhonk.bsky.social @casualhonk.bsky.social 
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
Don't worry, I'm still me. @netdoll.bsky.social Shooting game, TGM, 9, etc.
"I don't know whether you being compared to Tomoko is a compliment or a cry for help"
she/her
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
Laura Streisky @luxploit.net 20, photographer, online slut, software dev
@acidpaws.cam - ๐ถ๏ธ๐ถ๏ธ๐ถ๏ธ๐ you know what
https://flickr.com/photos/luxploit - portfolio <3- E Ender รzcan @enderozcan.bsky.social software developer. emacs lover
rain @raininthemist.bsky.social pfp by raccoonosamu
Canary Prism @canaryprism.bsky.social meow meow
julia @monomere.bsky.social she/her
Interests include pltdi, gamedev, music. living in germany. https://monomere.cc/
Michael C @unixgeek.com Programmer nerd. Mostly ruby, python, java, *sh, SQL; secondarily React; tertiarily Next or Solid. Maybe Gleam, Vue, HTMX, Datastar... someday.
I use the Oxford comma, & 2 spaces after sentences. Food groups are coffee, chocolate, cheese, and caramel.
elucent @elucent.website i can live forever in formaldehyde
AxonOpsโข @axonops.com Apache Cassandraยฎ & Kafkaยฎ Unified Monitoring and Operations. Empower your Cassandra and Kafka teams with high resolution insights, powerful operations and tooling.
https://axonops.com
#apachecassandra #apachekafka #data #kafka #cassandra #devops #db
blinx @acctress.bsky.social software dev,
music addict
more @ acctress.uk
ร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
Erik Schmiegelow @eschmiegelow.bsky.social CEO Hivemind Technologies, passionate about FP, data engineering and web scale distribution, loves coffee and a good book, he/him
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Thomas @thomasmcinnis.com make computer go boop
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here ๐ฅณ
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure ๐ฅ