Abdul El-Sayed @abdulelsayed.bsky.social Public servant running for U.S. Senate because it shouldn't be THIS hard to get by. Michigan born and raised. Girl Dad. Doctor. Vote by August 4th!
U.S. Soccer Men's National Team @usmnt.ussoccer.com ⚽️🇺🇸
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Richard Lawson @rilaws.bsky.social NEWSLETTER: https://www.premiereparty.com/ | Partnerships & sponsorships 📩 sarah@collective.media
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
CHAPO TRAP HOUSE @chapotraphousereal.bsky.social ❄️⚖️ Will Menaker, Matt Christman, Felix Biederman, and Amber A'Lee Frost Producer: Chris Wade
Jon Bois @jonbois.bsky.social jon
https://www.patreon.com/c/SecretBase
https://www.youtube.com/SecretBaseSBN
Chris Keele 🥁🥁🎉 and 6 others @christhekeele.social You've met with a terrible fate, haven't you?
All opinions expressed are not my own, and strictly reflect the views of your employer.
nerd ~ #T1D ~ he/him
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Jiří Beneš @jiribenes.com Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
John Clements @jbclements.bsky.social scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
Tyler Fisher @tylerjfisher.com Founder, @euphonos.studio. Stop doomscrolling with @sill.social. Watch good NBA games with heatcheck.site. Used to work for a bunch of news orgs.
Lapsed Philadelphian in 🇳🇱.
Arkady Martine | Dr. AnnaLinden Weller @byzantienne.bsky.social speculative fiction (Teixcalaan series, ROSE/HOUSE), climate & energy policy (all statements my own), Byzantinist (nonpracticing but never not true).
unfortunately, I care about power lines now
she/her. halfway between Santa Fe and NYC.
Liberal Currents @liberalcurrents.com A community of mere liberals. Discussing, defending, and applying the many varieties of liberalism. liberalcurrents.com
Matt Bors @mattbors.bsky.social Writer of the TOXIC AVENGER and TOXIC CRUSADERS comics and co-writer of JUSTICE WARRIORS. Founded The Nib (RIP). Comics editor at In These Times magazine.
https://www.kickstarter.com/projects/glennf/that-one-matt-bors-comic
John Ganz @lioneltrolling.bsky.social dottore, ingegnere, avvocato
When the Clock Broke: Con Men, Conspiracists, and How America Cracked Up in the Early 1990s — out now from
@fsgbooks
https://www.unpopularfront.news/
Libro.fm @libro.fm 🎧 The audiobook company that shares profits with independent bookshops
💗 Certified B Corp
🔗 Shop, sign up, find bookshops, & more: www.libro.fm
Sarah Taber @sarahtaber.bsky.social Small farmer, ex-farm worker, crop scientist. Here to talk food, farms, & money.
https://www.youtube.com/@FarmToTaber
Grant Sanderson @3blue1brown.com Math videos
amanda moore 🐢 @noturtlesoup17.bsky.social If you’re a staff journalist here to rewrite my posts, you can at least credit me as a fellow journalist. Ty!
https://authory.com/AmandaMoore
https://www.turtlediaries.net/
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Ann Leckie @annleckie.com Author of the award-winning Ancillary Justice. Lives in St Louis.
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Nick Rioux @nickrioux.bsky.social Programming will get better.
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
Major League Balatro @majorleaguebalatro.bsky.social Stay Up-to-date on Major League Balatro featuring some of your favorite creators!
Schedule/Standings: https://majorleaguebalatro.com/
Business Inquiries: majorleaguebalatro@gmail.com
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
@hannelita.bsky.social @hannelita.bsky.social 
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
Serra Dane @serradane.bsky.social PhD student at UMich CSE
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Mitch Wand @mitchwand.bsky.social CS Professor at Northeastern University; supporter of Democracy; Jew
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Thatchaphol Saranurak @eigx.bsky.social Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
Stan Kelly @kartoonistkelly.bsky.social Legendary Editorial Cartoonist for The Onion for over 50 years.
"The Most Powerful Name in Cartooning" (TM)
https://linktr.ee/stankelly
Zach Lowe @zachlowenba.bsky.social https://www.instagram.com/p/DFvIa7IOHJ9/
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Ryan Culpepper @rmculpepper.bsky.social 
Hayes Davenport @hayesdavenport.bsky.social lamaterial.com
Detroit Lions @detroitlions.bsky.social #onepride
detroitlions.com
Sam Lindley @reifyreflect.bsky.social 
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
🇨🇦 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.
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Michael Kinyon @profkinyon.bsky.social Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Carolina Carreira @carolinacarreira.bsky.social PhD Student in CMU in Societal Computing
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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.
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
지산 @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: "Time" by Pink Floyd
Andre Videla @andrev.bsky.social I like trains
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Tim Disney @disnetdev.com Currently building software that can't betray its users.
@skyreader.app | skyboard.dev | www.flintnote.com
You can sponsor me on GitHub: https://github.com/sponsors/disnet
https://www.disnetdev.com/
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
Evan Washington @eewash.bsky.social yields falsehood when preceded by his own quotation
@jcreed.bsky.social @jcreed.bsky.social 
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Democracy Now! @democracynow.org Independent, daily global news hour.
Support our work: http://democracynow.org/donate
Daily News Digest: http://democracynow.org/subscribe
shachaf @shachaf.net 
NYT Tech Guild @nytguildtech.bsky.social We are the software engineers, designers, data analysts & scientists, product managers and project managers who build the digital products @ NYTimes. We won our union in March 2022 and we're bargaining our first contract!
Paul F. Tompkins @pftompkins.bsky.social TV & standup & improv & podcasts, hardly any movies
paulftompkins.com/live
Adam Serwer @adamserwer.bsky.social Romanista. Buy my book: https://www.penguinrandomhouse.com/books/665171/the-cruelty-is-the-point-by-adam-serwer/
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Peter @notalawyer.bsky.social No longer in good standing with the New York State bar
My newsletter: StringinaMaze.net
Dan McCoy @dankmccoy.bsky.social Creator/co-host @flophousepodcast.com, a comedy podcast about bad movies. Wrote for The Daily Show for a decade. Drawings on Instagram at danmccoydraws.
Four Years Ago Today @fouryearsagotoday.bsky.social This account was born on March 6, 2024 when Elise Stefanik asked, “Are you better off today than you were four years ago?”)
Send complaints to @helenkennedy.bsky.social 
Harrison Grodin @harrisongrodin.bsky.social 
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Blank Check with Griffin & David @blankcheck.bsky.social Sometimes those checks clear, and sometimes they bounce, baby! Your favorite movie podcast's favorite movie podcast, hosted by Griffin Newman and David Sims.
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
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
james @yoo.bsky.social 
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Amy Littlefield @amylittlefield.bsky.social Abortion access correspondent at The Nation and author of Killers of Roe, a whodunnit on the history of the anti-abortion movement, out now wherever books are sold https://www.amylittlefield.com/killersofroe/
Peter Rowlett @peterrowlett.net I teach maths and computing at a UK university and work as a maths communicator. Sheffield/Nottingham based. Editor, The Mathematical Gazette. Aperiodical blog, Mathematical Objects podcast. Part of http://finitegroup.co.uk
peterrowlett.net
Andrew K. Hirsch @akhirsch.bsky.social - T Tim Clark @timclark.bsky.social Not in a hurry.
https://letterboxd.com/TimClark/
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