Good Enough @goodenough.us Good Enough is a team effort to make the web a little more interesting. Building useful, well-made software since 2022.
https://goodenough.us
Reject Convenience @rejectconvenience.com I make YouTube videos, and sometimes, people watch me read privacy policies.
https://youtube.com/@rejectconvenience
https://rejectconvenience.com/
https://www.patreon.com/RejectConvenience
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
isabel @isabelroses.com smart enough to know better, dumb enough to do it anyway
21 | she/her
Virginia Tech College of Engineering @vtengineering.bsky.social The official account for the Virginia Tech College of Engineering! #VTEngineering
Virginia Tech @virginiatech.bsky.social Solving complex problems, pushing boundaries, serving others, & reimagining education & technology. We are #VirginiaTech & you are welcome here. Go #Hokies! 🦃
Virginia Tech Department of Computer Science @vtcomputerscience.bsky.social Research and education with global impact. Experts available for interview.
東客 Tokaku @tokaku.media 日本華語流動創作實驗室，2025 年於東京成立。
報名參加 6 月 15 日東京大學線下活動「華語客廳在日本」:
https://docs.google.com/forms/d/1h89pYTfwbGGMSK55ZkiCr6uO5X3s3_MF1s3-1dW_7wk/
@igbt460.bsky.social @igbt460.bsky.social 住所不定、無職、低収入、チー牛（実質は大学教員）
Bruno Pedro @brunopedro.com Building an API Product: Design, implement, release, and maintain API products that meet user needs: https://a.co/d/dE6pQpK
Opinions expressed are solely my own and do not express the views or opinions of my employer.
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Scott Delaney @scott-delaney.bsky.social Co-founder of Grant Witness: https://grant-witness.us
Epidemiologist. Attorney. Social, legal, and environmental determinants of health.
On Signal: sdelaney.84
Gentler Streak @gentler.app Award-winning fitness app for moving consistently, not constantly.
2024 Design Award Winner • 2022 ⌚App Of The Year
If you prefer longer threads: r/GentlerStreakApp
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Mark Lemley @marklemley.bsky.social William H. Neukom Professor, Stanford Law School. Partner, Lex Lumina LLP. I teach and write in IP, antitrust, internet, and video game law
HYTRADBOI @hytradboi.bsky.social Have you tried rubbing a database on it?
https://www.hytradboi.com/2025
Dmitrii Kovanikov @chshersh.com 🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
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
garrulous abyss @garrulousabyss.bsky.social LGBTQIA一生推//双性恋//百合ing// 女朋友是 @yaoyao38324.bsky.social //程序员//伪全栈工程师//伪科研人员//真·法语学习博主//中文//English//français// 可能会ban纯黄推、纯政治推 //见到Incel、terf、小粉红、魔怔人立刻拉黑//随缘回粉，想要互粉可以私信我
Yiyun Liu @electriclam.com PhD student at Penn
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Why @why.bsky.world Wandering Wizard Utopian
General Partner @mana.inc
🌳
抱怨机器 @debbiehou.bsky.social 
Remko Tronçon @mko.re Software · Music
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Eric Liu 刘力朋 @ericliu.bsky.social 
黄猫 @shrugged-hi.bsky.social 
The Type @thetype.com 关注字体、设计与视觉文化，旗下《字谈字畅》播客、TypeTour 字游、「上海活字」研究等。加入会员： https://thetype.com/members
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Lu wilson @todepond.com prototypes @wikipedia.org
prev @tldraw.com
prev @inkandswitch.com
London
todepond.com
youtube.com/@todepond
Linus @thesephist.com thought & craft
Steve Krouse @stevekrouse.com 
지산 @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
Mariano Guerra @marianoguerra.org 🧑🏽💻 Co-founder of Gloodata & Instadeq
📘 Co-author of https://wasmfromthegroundup.com/
📰 Feeling of Computing Newsletter: https://newsletter.futureofcoding.org/join/
📑 Public Projects: https://marianoguerra.github.io/
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
𝕮 @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org • @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
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.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Michael Homer @mwh.nz I make programming languages and interfaces at Victoria University of Wellington
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
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
jaylin herskovitz @jayl.in ♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
@mechadense.bsky.social @mechadense.bsky.social 
Matt Keenan @negabinary.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
http://wolkenmachine.nl
Cole Lawrence @colelawrence.com End user programming & AI tool designer.
🛠️ CTO at https://phosphor.co & @forethink.ai
🦀 Rust NYC / https://RustEastCoast.com organizer 🙋🏻♂️he/him
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Zhenyi Tan @zhenyi.bsky.social I make apps like Vinegar, Baking Soda, Web Inspector for iOS, Gibberish, Lucky, etc. Latest app: Teleplayer.
Website: https://andadinosaur.com
Blog: https://zhenyi.gibber.blog
Mastodon: https://mastodon.social/@zhenyi
Rose 🌹 @rose.bsky.team COO of Bluesky 🦋 - hiring https://bsky.social/about/join!
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
Paul Frazee @pfrazee.com CTO at Bluesky. Not a nerd.
daniel holmgren 🫠 (@ ietf 126) @dholms.at just trying to build a little network we can all hang out in
head of protocol @ bsky 🌅
devin ivy 🐋 @divy.zone 🌀 bluesky team
dan @danabra.mov dancing for your pleasure
Aaron Rodericks @aaron.bsky.team Canadian wanderer in Ireland. Trying to make the internet a better place. Bluesky Head of Trust and Safety.
File a report in the app or via moderation@blueskyweb.xyz - not via mentions/replies.
https://aaronrodericks.com
Emily Liu @emilyliu.me this bio is left as an exercise to the reader
🌱 emilyliu.me
Samuel @samuel.fm human puppet for claude @ bluesky
📍 the posting mines
hailey @hailey.at opinions are my own.
Eric @esb.lol Chicago • Bluesky team
Jaz @jaz.sh Jasmine (Jaz)
Gender Nomad
IRC made me gay
Reject drab, wear bright colors and play fast
Former Platform Engineering Lead at Bsky
28. she/her 🏳️⚧️
BSky Stats- https://bsky.jazco.dev/stats
https://github.com/jazware
Rozelle @rozelle.bsky.social 
Foysal @foysal.it Build things.
Matthieu 🦋 @matthieu.bsky.team Protocol Engineer at Bluesky. Building the open social web on AT Protocol. Into web standards, OAuth, TypeScript, and over engineered code.
Dad, gamer, Dire Straits fan, sailor and beer enthusiast.
From Brussels 🇧🇪
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
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
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Ivy Reese @spiralganglion.com I want to smush software between my fingers and
turn my weathered feelings into wriggly music.
merveilles.town/@spiralganglion Δ masto
@inkandswitch.com Δ research
feelingof.com Δ podcast
ivy.boo Δ myself
she / hrt
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
taylor.town @taylor.town 🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 taylor.town 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer