Sofa @sofahq.social iOS app that helps you organize your downtime by keeping lists of books, movies, podcasts, and more.
• Website: https://sofahq.com
• Made by @shawnhickman.me
Maintenance Phase @maintenancephase.bsky.social Wellness and weight loss, debunked and decoded. A podcast hosted by @michaelhobbes.bsky.social and @yrfatfriend.bsky.social.
maintenancephase.com
patreon.com/maintenancephase
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
Tim 'mithro' Ansell @handle.invalid Open silicon professional, FPGAs, ASICs, & more!
me@mith.ro
https://bit.ly/mithro-resume
https://linkedin.com/in/mithro
Michael McLoughlin @mmcloughlin.com Mathematical Software Engineer
Adrian Sampson @adrian.discuss.systems.ap.brid.gy Carly Rae Jepsen fan account.
🌉 bridged from ⁂ https://discuss.systems/@adrian, follow @ap.brid.gy to interact
Puzzmo @puzzmo.com puzzles that love you back
a zach gage and orta therox joint
www.puzzmo.com
Jujutsu VCS @jj-vcs.dev Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
Sleeping with Celebrities @sleepwithcelebs.bsky.social Host @JohnMoe.bsky.social speaks with remarkable guests about unremarkable topics. These are conversations to help you fall asleep, or just relax.
https://maximumfun.org/podcasts/sleeping-with-celebrities/
Cornell Tech @cornelltech.bsky.social Building ventures. Educating leaders. Creating new technology. All at #CornellTech
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Stereogum @stereogum.com 𝖙𝖍𝖊 𝖜𝖔𝖗𝖑𝖉’𝖘 𝖇𝖊𝖘𝖙 𝖒𝖚𝖘𝖎𝖈 𝖇𝖑𝖔𝖌
→ stereogum.com
Merch: http://shop.stereogum.com
Vega, Vega-Lite, and Altair @vega-vis.bsky.social Vega, Vega-Lite, and Altair are declarative formats for creating, saving, and sharing interactive visualizations. 📊📈
jamelle @jamellebouie.net The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group.
Send me your mutual aid requests.
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Heavyweight @heavyweight.bsky.social Podcast about unresolved moments. Now at Pushkin Industries. Made by Jonathan Goldstein, Stevie Lane, Kalila Holt, and Lisa Wang. New episodes this fall.
Zed @zed.dev A next-generation code editor that enables high-performance collaboration with AI and your team.
zed.dev
Dan Grossman @dangrossmanseattle.bsky.social 
East River Source Control @ersc.io doin' source control stuff at ersc.io
david barsky @davidbarsky.com i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Election Profit Makers @epmcool.bsky.social A podcast sometimes about prediction markets hosted by David Rees & Jon Kimball. Support us on Patreon + bonus content 👑 http://bit.ly/Ipatreon
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
The StoryGraph @thestorygraph.com An app for you to track your reading and choose your next book. Founded by @nodunayo.bsky.social. Built by her and @robfrelow.bsky.social. support@thestorygraph.com
Benjamin Brittain @bwb.dev Building better systems. ceo ersc.io
You might need to put up with an occasional NYC tweet.
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
Kate Starbird @katestarbird.bsky.social Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer.
David Mimno @dmimno.bsky.social He teaches information science at Cornell. http://mimno.infosci.cornell.edu
A. Feder Cooper @afedercooper.bsky.social ML prof @ Yale, mischief executive officer
https://attention-is-not-all-you-need.github.io
Nick Rioux @nickrioux.bsky.social Programming will get better.
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Allen School @uwcse.bsky.social The Paul G. Allen School of Computer Science & Engineering at the University of Washington educates tomorrow's innovators while developing solutions to humanity's greatest challenges.
Paul Ford @ftrain.bsky.social Aboard.com and Ftrain.com. Not steadily here. If you need me: ford@ftrain.com.
On the Media @onthemedia.bsky.social A weekly radio show and podcast on all things media produced and distributed by WNYC Studios — onthemedia.org
Hosted by @brookegladstone.bsky.social & @micahloewinger.bsky.social
Przemysław Pawełczak @przemyslawp.bsky.social Associate Professor at TU Delft | Embedded Systems Group (http://es.ewi.tudelft.nl) | Sustainable Systems Lab (http://github.com/tudssl) | 🇪🇺🇺🇦
John Moe @johnmoe.bsky.social SAINT PAUL, MINNESOTA
Host/creator: Depresh Mode, Sleeping with Celebrities, The Hilarious World of Depression.
Host/co-creator/head writer: Wits.
Author: The Hilarious World of Depression.
Lead singer: Math Emergency.
Dogs owned: 2
Phoenix by Tapbots @phoenix.tapbots.com An upcoming Bluesky Client for iOS/iPadOS & Mac from the makers of Tweetbot and Ivory.
Please don't take it personally if we don't respond often with this account. We are extremely busy working on Phoenix.
https://tapbots.com/phoenix
@kasikci.bsky.social @kasikci.bsky.social 
Patrick @patlafon.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Micah Loewinger @micahloewinger.bsky.social Co-host of @onthemedia.bsky.social from WNYC
mloewinger(at)wnyc,org Signal: (646) 753-2373
14850 Magazine @14850.com News and info for Ithaca, New York from 14850 Magazine, locally owned and published since 1992. 
nilay patel @reckless.bsky.social Editor-in-chief of The Verge, host of Decoder, cohost of The Vergecast. I am in love with spectacle.
Hello from the Magic Tavern @magictavern.bsky.social A totally improvised fantasy epic. And a funny chat show hosted by a guy from Chicago trapped in the magical land of Foon.
@chuntttttt.bsky.social @chuntttttt.bsky.social 
Usidore, Wizard of the 12th Realm of Ephysiyies, Manipulator of @usidore.bsky.social Magical Delights, Devourer of Chaos, Champion of the Great Halls of Terr’akkas. Known to the elves as Fi’ang Yalok. Known to the dwarves as Zoenen Hoogstandjes. And in the NE as Gaismunẽnas Meistar. And other secret names. + Hello from the Magic Tavern.
Max Korbel @maxkorbel.bsky.social Principal Engineer @ Intel, lead for ROHD
https://www.maxkorbel.com/
https://github.com/mkorbel1
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
brooke husic @xws.bsky.social a. ladee (she/her) solved/wrote/edited yr crossword
catch me at @puzzmo.com
Cynthia Taylor @pinkhairedcyn.bsky.social Associate Professor of Computer Science at Oberlin College. 
Flashes App 🌩️ @flashes.blue A photo viewing client for u from the creator of @skeetsapp.com & @bluescreen.blue
iOS: https://t1p.de/b3o4x
Android: Not available yet
❓ FAQS: https://t1p.de/24kj0
🐞 Bug Reports: https://t1p.de/phwii
💡 Feature Requests: https://t1p.de/8tmnc
Neil Adit @neiladit.bsky.social Research @ Meta. PhD @ Cornell.
www.neiladit.com
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
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.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Chris Gyurgyik @cgyurgyik.bsky.social Stanford PhD candidate amongst other things
https://cgyurgyik.github.io/
Hyperfixed @hyperfixedpod.bsky.social The podcast that solves your problems https://hyperfixedpod.com
Andy Pavlo @andypavlo.bsky.social Associate Prof. of Databases @ Carnegie Mellon.
Remy Goldschmidt @taktoa.bsky.social Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Shail Dave @shaildave.bsky.social @Qualcomm. Computer architect, making AI systems and eXtended Reality systems like smart glasses more efficient that continue empowering daily lives. Outstanding PhD from SCAI ASU, Silver Medal Awardee from ACM Student Research Competition. Avid learner
@titzerbl.bsky.social @titzerbl.bsky.social 
Horace He @chhillee.bsky.social @PyTorch "My learning style is Horace twitter threads" -
@typedfemale
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Alex Goldman @agoldman.bsky.social I make @hyperfixedpod.bsky.social and @amityvilleville.bsky.social. I used to make Reply All. One day I will be in the ground hopefully flowers will grow out of me.
If Books Could Kill @ifbookspod.bsky.social A podcast about the airport books that captured our hearts and ruined our minds.
Patreon: patreon.com/ifbookspod
Merch: ifbookspod.dashery.com
Zanie Blue @zanieb.bsky.social they/them — building Python developer tools in Rust at Astral
@julesjacobs.bsky.social @julesjacobs.bsky.social 
@ccadar.bsky.social @ccadar.bsky.social 
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
They Might Be Giants @tmbg.bsky.social Official. Our new LP The World is To Dig is here at TMBGshop.com. Multi-night stands in Boston then on to Austin Dallas Houston Minn St Paul DC and beyond www.TMBG.com for tickets.
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Depresh Mode with John Moe @depreshmode.bsky.social An award-winning weekly mental health podcast about living with complicated minds, featuring musicians, comics, researchers, experts, authors, and actors.
https://maximumfun.org/podcasts/depresh-mode/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Sammy Thomas @sgt-pl.com 
TheZoq2 @thezoq2.bsky.social Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
Kieran Healy @kjhealy.co Social science and other distractions. Old posts get deleted pretty quick.
https://kieranhealy.org /
https://theordinalsociety.com
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Aubrey Gordon @yrfatfriend.bsky.social Cohost of @maintenancephase.bsky.social. Author of WHAT WE DON'T TALK ABOUT WHEN WE TALK ABOUT FAT and YOU JUST NEED TO LOSE WEIGHT. Subject of @yrfatfriendfilm.bsky.social. She/her/hers. Photo by the wonderful Josh Coen. yrfatfriend@gmail.com
Andreas Gerstlauer @agerstlauer.bsky.social Professor of Electrical and Computer Engineering at The University of Texas at Austin.
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
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
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
Sara Xayarath Hernández @sara-x-hdez.bsky.social Community-minded & committed to making academia more accessible, supportive, and equitable. Mama, Inked, First Gen, Latine, Midwest Farm Kid, Associate Dean in Graduate Education at Cornell.
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