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
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.
Beatrix ๐ณ๏ธโโง๏ธ @beatrix.bsky.social โIโm a New Deal Democratโ
doesn't bite
but may hold forth about trains, politics, or computers
consider yourself warned!
Somerville, MA- P @plumenator.bsky.social @plumenator.bsky.social
์ง์ฐ @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: "Help" by HYUKOH
Matt Keenan @negabinary.bsky.social 
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.
@delob.bsky.social @delob.bsky.social 
Sudan Chapagain @sudanchapagain.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 
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Cyrus Omar in NYC @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Mobile Tiny Homes @mobiletinyhomes.bsky.social We do have good and affordable caravans and mobile homes for sale we do delivery and set-up to all states
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Former Diamond Dealer | Turning research on learning, cognition, and systems into interfaces that reduce confusion, cost and decision stress.
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
โจericaveeโจ @ericavee.bsky.social ๐ต๐ญ๐บ๐ธโจthem fataleโจ35โจericavee on twt/ericavee1 on IG and tiktok/ipomoea-batatas on tumblr / i do art and cosplay and sing gay lil songs
Pandorable ๐ดโโ ๏ธ๐ณ๏ธโ๐๐ @pandorable.bsky.social Lil' Rhody. Genderfluid - They/She. 38yo, ADHD, Bi/Pan, Polyam. Fandoms: Our Flag Means Death, Sandman, Witcher. Interests: knitting, crochet, jewelry making/beading, general craftiness. Generally a horny loser and NSFW ๐
Lesley @lizlemonlyman.bsky.social I like your face.
she/her. kind of a weirdo.
๐ดโโ ๏ธ๐๐ณ๏ธโ๐๐ท๐ณ๐ชง๐ฅ๐
emzash @emzash.bsky.social Here for the gay shenanigans. She/they.
MrsScience ๐ดโโ ๏ธ ๐ @themrsscience.bsky.social Loon, chill fandom old & filthy pirate lover
1/2 pyramid owner
Still a priestkink evangelist
Never Left Podcast @neverleftpodcast.bsky.social Join Ariana (she/her) every other week for Never Left, A completely spoiled, totally unofficial, our flag means death podcast
https://linktr.ee/neverleftpodcast
Mikell Taylor @mikell.bsky.social Boston-based robotics nerd whose opinions do not reflect those of her employer. Come for the robots, stay for the cringe. Itโs pronounced โMichaelโ.
Chris Ogden @ctogden.bsky.social Walton, NY
Sam Kuhn @samkuhn.bsky.social 
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from ๐ง๐ช, living in Nantes. I'm a wannabe software engineer who tweets in rough ๐ซ๐ท and catastrophic ๐ฌ๐ง! I'm interested in functional programming (with statically typed languages).
๐ซ๐ท https://xvw.lol, ๐ฌ๐ง https://xvw.lol/en
sohalt @sohalt.bsky.social bicycles for the mind and for the body
https://soha.lt
Nick Rioux @nickrioux.bsky.social Programming will get better.
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
G Wilde @stackwild.bsky.social Software, AI, Infosec, Gamedev
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
CitizenCyborg @citizencyborg.bsky.social Sociologist, left social democrat antifascist with technoprogressive tendencies. Exec Director of the Institute for Ethics and Emerging Technologies @ieet.org @citizencyborg on Substack & Threads.
@stitchesbrew.bsky.social @stitchesbrew.bsky.social Crochet, independent film, and craft beer enthusiast. ExMormon millenial. Kindness is magic. โจ
Leif Andersen (leander767) @leander767.bsky.social Left X for mastodon a long time ago. Now lurking here to find out who went to Blue Sky.
Alan @alanlaidlaw.com HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw
Throbbing_stick_of_Joseph @throbbingjoseph.bsky.social Bareassed Lamanite lettuce ๐ฅฌ ๐ฝ advocate
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Artzee. @artzeemask.bsky.social I'm an artist, cat lady, hobbyist, rock enthusiast, LGBTQIA+ ally. Neo liberal. Southern Idaho. ๐ผ๐๐นโป๏ธ๐ณ๏ธโ๐๐พTalk to me
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
ฮปdu.du @handle.invalid ๐ง๐ท
logic | PLT | Concurrency
Martin Janiczek @janiczek.cz Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Parsa @sighpaa.bsky.social Interaction Designer
https://github.com/parsaa74
https://parsaazari.xyz
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting ๐บs
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!
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
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
๐๐ธ๐๏ธฮฉ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 Obsessed with software. Married with children. Building music software (stay tuned). Looking for the bright side of the absurd.
nickgideo.com
Michael Ann, sociotechnical femme @michaelann.bsky.social Online Communities, Social Tech, Folk Theories, Epistemic Justice, Queer/Trans HCI. Assistant Prof of Comp Sci & Comm Studies @ Northeastern University. @nusealab.bsky.social director. Neurodivergent, trans woman, wife girl, femme lesbian, dork. (she/her)- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Johannes @kenran.bsky.social I like Neovim+Emacs both, (functional) programming, Nix, roguelikes/-lites, running, logic puzzles, miniature painting ... (he/him)
Fediverse: https://mas.to/@kenran_
I very rarely stream programming stuff on https://twitch.tv/kenran__
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Cody @codislife1.bsky.social 
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
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
Spencer Kelly @spencermountain.dev Floor and ground enjoyer
David @davimiku.bsky.social Writes software, sometimes writes about software.
Programming language hobbyist and board game enthusiast.
Chicago, USA
Ban X in Europe! Campaign @xitnow.org Join us in calling for a safer, more equitable digital space. Sign or repost the petition today to support and protect European democracy, transparency, and inclusivity. Social media should unite us, not divide us! #XitNow โ๏ธ https://xitnow.org
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
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
@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
@st0p-badgering-me.bsky.social @st0p-badgering-me.bsky.social Curious about this new platform
๐จ๐ฆ 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.
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
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | ๐ง Learning Machine | ๐ฎ Enthusiast | Husband, Dad, Cat Whisperer
Joshua Lock @joshuagl.bsky.social Software engineer and part-time PhD student (programming systems / human computer interaction / computing education)
Jarrett Byrnes @jebyrnes.bsky.social marine ecologist, online bon vivant, dad, โค๏ธ teaching #datasci & #rstats, http://celp-lab.org #BlackLivesMatter @jebyrnes in other places https://linktr.ee/jebyrnes
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Alex Cruise @cluonflux.com vacillating between crippling self-doubt and megalomania
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing โข Personal account โข Opinions my own, not employer's โข RTs not endorsements
el @elliot.website and visual and creativity and computers and math and
elliot.website
julia @monomere.bsky.social she/her
Interests include pltdi, gamedev, music. living in germany. https://monomere.cc/
๐บ๐ฆ Ingvar Stepanyan @rreverser.com Cloudflare Worker.
You might also know me from my work on OSS tools and libraries for developers or WebAssembly DevRel work at Google Chrome.
๐ https://rreverser.com/
๐ท https://instagram.com/rreverser