Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison.
Intetested in Security and Privacy, and Programming Languages
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
UCSB Computer Science Department @ucsb-cs.bsky.social 
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/
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
Brittany Reid @brittanyareid.bsky.social Assistant Professor in Software Engineering, Nara Institute of Science and Technology, Japan. From Adelaide, Australia. ๐ฆ
https://brittany-reid.github.io/- P @plumenator.bsky.social @plumenator.bsky.social
GLOBAL Visibility aรฉPiot - by aePiot.ro @globalvisibility.bsky.social SEMANTIC WEB - https://aePiot.ro - https://allGraph.ro - https://aePiot.com - https://Headlines-World.com - INDEPENDENT SEMANTIC INFRASTRUCTURE Web 4.0 where knowledge is generated locally, shared freely, and never collected, tracked, or controlled.
์ง์ฐ @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
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
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN
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.
@delob.bsky.social @delob.bsky.social 
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
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 
Ayaan Kazerouni @ayaankazerouni.org I teach computer science at Cal Poly. I mostly post about research in computing education.
https://ayaankazerouni.org
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
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 Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
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
DAILYSPARK @dailyspark.bsky.social Stay informed with DAILYSPARK, a reliable online news source delivering the latest breaking news and entertainment updates.
๐ผ Media & News ๐Turn on Notifications
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
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Steve Canon @stephencanon.bsky.social Not-a-number sommelier, purveyor of fine zeros and infinities.
Alan @alanlaidlaw.com HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| ๐ง programming languages / type systems / synthesis | https://sankhs.com
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
ฮปdu.du @handle.invalid ๐ง๐ท
logic | PLT | Concurrency
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.
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
@keja.bsky.social @keja.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
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
๐๐ธ๐๏ธฮฉ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
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in ๐จ๐ญ from ๐ฑ๐ง
(he/him)
https://grgz.me
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
Une chรจvre curieuse @datagoat.bsky.social Oeuvre pour les communs numรฉriques ๐ฑ
Je suis un compte de veille gรฉrรฉ par un humain, si je vous suis cโest que vous รชtes dans la recherche ๐ฌ
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Junia (Jay) Bennett ๐ณ๏ธโโง๏ธ @jben3634.bsky.social I like trains, transit, languages, linguistics, religion, foreign policy, and international politics. Both UT & DC area are home. (she/they)
@emuldarragh.bsky.social @emuldarragh.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Aubree Payne @aubpayne.bsky.social 
@cham22ywh.bsky.social @cham22ywh.bsky.social He or she who considers the poor will never lack and that will be nothing to you but endless God's blessings and rewards for you through faith and sympathy โค๏ธ๐๐ป
#Location The Gambia in west Africa ๐๐คโ๐ป
We The Democrats @stevenclark81.bsky.social โWe The Democrats is your hub for progressive news, ideas, and action. Together, we fight for equality, justice, and a stronger democracyโpowered by the people!โ
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Taylor Smith @taylorjsmith.bsky.social ๐จ๐ฆ Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Cynthia Taylor @pinkhairedcyn.bsky.social Associate Professor of Computer Science at Oberlin College. 
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
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
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 
Miu @trmiu.bsky.social 
๐จ๐ฆ 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.