Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Emory ๐ฉถ @emory-f8.bsky.social I write dark Victorian fiction and specialize in the long 19th century.
She/Her ๐ณ๏ธโ๐๐ช๐ธโก๏ธ (I'm always kind)
#writer #historian #Lesbian #sapphic #wlw #Hispanic #feminist #goth #vampires #jpop #bibliophile
NO DMs | Terfs & Narcissists DNI
edwintorok.eurosky.social @edwintorok.eurosky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
chee rabbits @chee.party your biggest fan
https://chee.party
i'm your girlfriend
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan โฆ thomasporter522.github.io
warpfork @warpfork.bsky.social still working with computers. to my frustration.
User choice and consent-based system design matters.
Local-first software is always superior.
Updates should never be forced.
Reproducible, deterministic systems are the only ones that should be trusted.
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. โAnarchistโ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.- P @plumenator.bsky.social @plumenator.bsky.social
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
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
์ง์ฐ @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: "KoK" by HYUKOH
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. โ Compilers, WebAssembly, Java, Rust, Go โ prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit โ organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog ๐ฆโฉ @ezhik.jp A hedgehog in Tokyo.
๐ฆ๐ฆ๐ฆ๐ฆ๐ฆโฉ
End-user programming believer. โฉ
ๆฅๆฌ่ชOK
https://ezhik.jp
https://mastodon.social/@Ezhik
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
@delob.bsky.social @delob.bsky.social 
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Rafael Ferreira @rff.bsky.social 
Charles Keener @charleskeener.bsky.social Anti-Zionist Free Palestine Ukraine Solidarity Anti-Racist Anti-Carceral Abolitionist Anti-Genocide Anti-Colonial Anti-War Anti-Imperialist Intersectional Feminist Queer LGBTQI+ Green Eco-Socialist People Planet Peace Interfaith Seeker of Beloved Community
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
@klaasgb.bsky.social @klaasgb.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
I Quit Smoking ๐ญ ๐ ๐ @iquitcigs.bsky.social Anti-Smoker My Website campralquitsmoking.net See How I Quit 20 Years Ago Fought Nicotine 35 Years Supporting others who Quit ๐ญ STL MO โค๏ธTo Promote Authors ๐ & Ozarks ๐ Photographer ๐ท Pez Add @piperformissouri.bsky.social @jesspiperfanpage.bsky.social ๐
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Product designer | Making complex systems fit ordinary human limits.
https://twitter.com/impactology
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
Chris Ogden @ctogden.bsky.social Walton, NY
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
@heyitsnico311.bsky.social @heyitsnico311.bsky.social 
Alan @alanlaidlaw.com HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw- J Jan Zacek @janzacek.bsky.social Opoziฤnรญ zastupitel Prahy 4, jinak konzultant pลes procesy, rodopisec a amatรฉrskรฝ historik
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
ฮปdu.du @handle.invalid ๐ง๐ท
logic | PLT | Concurrency
@mariah566.bsky.social @mariah566.bsky.social 
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
pedro cleis @pedrocleis.bsky.social Parahyba, Brasil
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
nihil2501 @nihil2501.bsky.social 
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
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
brendo @bren-o.bsky.social 
๐๐ธ๐๏ธฮฉ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
Nick Gideo @engid.bsky.social writing software, sometimes music..
nickgideo.com
๐จ๐ฆ Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina ๐จ๐ฆ
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
David @davimiku.bsky.social Writes software, sometimes writes about software.
Programming language hobbyist and board game enthusiast.
Chicago, USA
Taylor Hodge @hodge.bsky.social Striving to create that in the presence of which we feel more alive
Software gardener/eng: http://getprimitive.ai โ SwellAI, Rupa Health, Narrative Science, WorkOS
@keja.bsky.social @keja.bsky.social 
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
@jack-ww-hopkins.bsky.social @jack-ww-hopkins.bsky.social 
Yoseph Radding @yoseph.tech Software engineer. Sailor. Father. I sometimes write on my personal blog: Yoseph.tech
Rocket Lab Follower @deezmemes.bsky.social Space, science, tech and democracy enthusiast progressive. Following the meteoric rise of the company Rocket Lab, a disruptor of Musk's SpaceX launch monopoly. Not affiliated with the company. See feed "Rocket Lab Follower Feed."
Yuri Vishnevsky @yuri.is Software engineer and data visualization enthusiast. Likes = bookmarks, not endorsement. Lives in Cambridge, Massachusetts, with no dogs.- Y Yining Zhang @yining.me PhD student @vtcomputerscience.bsky.social
Burny @burnytech.bsky.social On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. http://burnyverse.com Upskilling @StanfordOnline
@mechadense.bsky.social @mechadense.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
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