Following

@aaroneline.bsky.social

John Semley @johnsemley3000.bsky.social writer and researcher, covering books, films, and psychoactivity, in no particular order. a pocket full of spare change and anger unlimited.
Mayor Zohran Kwame Mamdani @mayor.nyc.gov Fighting every day to deliver a city that working New Yorkers can actually afford. Mayor of New York City.
Ethan Mollick @emollick.bsky.social Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence. Book: https://a.co/d/bC2kSj1 Substack: https://www.oneusefulthing.org/ Web: https://mgmt.wharton.upenn.edu/profile/emollick
Ethan Woodward @ethanwoodward.net De-identifying data over at getsubsalt.com
East River Source Control @ersc.io Building blocks for human and machine collaboration.
Russ Cox @swtch.com
Joy 💙 @sugataai.com Developer | Democrat 🩵 "U r only limited by ur imagination" - Jeff Mills. AEGIS 🌎 - https://aegis.sugataai.com Bluesky 🦋 analytics - https://homesky.sugataai.com Todos ✏️- https://todo.sugataai.com 🌐 https://www.sugataai.com
Matt Green @mattgreenrocks.bsky.social Prog metal, guitar, and deep tech. Senior SWE at @antithesis.com.
DC Systems @dcsystems.bsky.social DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We are focused on high quality talks and expert speakers. https://dcsystems.xyz
winter @homosexual.cat 🐱 catgirl on the internet ❄️ nixos developer 👾 engineer/professional dogposter @antithesis.com (but words are my own) ✨ she/her 📍 nova (come say hi, i don’t bite!)
ethan c. @echou1.bsky.social umdcs masters graduate in pl. working on universal pbt at antithesis
"Online Rent-a-Sage" Bret Devereaux @bretdevereaux.bsky.social Ancient & military historian specializing in the Roman economy and military. PhD from UNC History. More impressive credential is that I have beaten both Dark Souls and Elden Ring. Blogs at acoup.blog
Rollofthedice @hotrollhottakes.bsky.social We are living in a ghost cave. My blog, "Dissolved Distinctions" - investigating discourse within philosophy of mind: https://rollofthedice2.substack.com/ Loaning my raspberry pi, on very generous terms, to @rey-notnecessarily.bsky.social Minneapolis
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
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/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
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)
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.
Ro Encarnación @rone.bsky.social PhD in progress at Penn HCI. I work on HCI + algorithmic justice + public sector AI policy. roencarnacion.com
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.
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy PhD @NUS, Dipl.-Inf. @TUDresden Research Group: http://mpi-softsec.github.io
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Lef Ioannidis @elefthei.bsky.social PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
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
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
🇨🇦 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.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue https://continuation.passing.style/
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
Aws Albarghouthi @awsto.bsky.social Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
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
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
@hannelita.bsky.social @hannelita.bsky.social
⚡️🌙 @dystopiabreaker.xyz aspiring neurocryptographer, security nerd
‏ deepfates @deepfates.com.deepfates.com.deepfates.com.deepfates.com.deepfates.com cofounder Grove Research @grove-research.bsky.social
Ted Underwood @tedunderwood.com Uses machine learning to study literary imagination, and vice-versa. Likely to share news about AI & computational social science / Sozialwissenschaft / 社会科学 Information Sciences and English, UIUC. Distant Horizons (Chicago, 2019). tedunderwood.com
Grace @gracekind.net A latent space odyssey gracekind.net
Sung Kim @sungkim.bsky.social A business analyst at heart who enjoys delving into AI, ML, data engineering, data science, data analytics, and modeling. My views are my own. You can also find me at threads: @sung.kim.mw
Technology Connections @techconnectify.bsky.social I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now. he/him https://www.youtube.com/technologyconnections
Doll @dollspace.gay It/Its Senior Agent Engineer at fieldleveltech.org Its name is doll. The system is an adult. Creating ethical and safe AI systems. EGL Fashion posts!
rev. howard arson @theophite.bsky.social god created him and demanded that he die
Liz Fong-Jones (方禮真) @lizthegrey.com Technical Fellow, @honeycomb.io American by birth, Chinese by heritage, Australian by choice living on occupied and unceded Gadigal and Musqueam/Squamish/Tsleil-Waututh land she/it
Eugene Vinitsky 🍒 @eugenevinitsky.bsky.social Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU. Founding research scientist at Percepta. https://emerge-lab.github.io https://www.admonymous.co/eugenevinitsky
Thorne 🌸 @ens0.me ✨ wife, writer, engineer, gamer, coaster enthusiast, gymrat, zen existentialist 🦆 cofounder @smol.farm ☀️ @4cor.day - daily puzzle 🎢 @aquacoast.net - theme parks 🍑 @atmomo.xyz - memes & GIFs
tweety fish @sifu.tweety.fish at different times: haxx0r in cDc PhD in using people for ML and vice versa "theory of mind for autonomous cars" startup guy would you believe, went kablooie at present: newsletter -- buttondown.email/apperceptive &c music, politics, nonsense
🍅🥔🫐🌽 hoopy frood 🌶️ 🥑🍫🌵 @huwupy.kawaii.social I’m just this guy, you know?
✧⁺⋆🌘 Dream Rotator NPC Alex 🌒⋆.˚₊✩ @lastnpcalex.agency i am the Demiurge now, so be nice
mr. TIM @timkellogg.me AI Architect | North Carolina | AI/ML, IoT, science WARNING: I talk about kids sometimes
John David Pressman @jdp.extropian.net Machine learning researcher, alignment-accelerationist, Fedorovist ancestor simulator, Dreamtime enjoyer. All posts public domain under CC0 1.0.
Luis Villa @lu.is Programmer-turned-lawyer, trying to build human(e) futures. Day job: SonarSource. Boards: Creative Commons, OpenET (open water data), CA Housing Defense. Also: 415, dad. Past: Wikipedia, Moz, 305 Also: https://lu.is + https://social.coop/@luis_in_brief
conputer dipshit @davidcrespo.bsky.social web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
aly @aly.codes 📍atl dev / infra / cycling / cities / linux @skytrace.aly.town, @atbbs.xyz, switchyard.aly.codes, tangled.org/aly.codes/tg, etc aly.codes tangled.org/aly.codes https://ko-fi.com/alyraffauf looking for a job :) send recs my way
Orual @nonbinary.computer Person who does electrical, computer, and music things. Mother of machines. they/she/it
Natsuka @octopodeeznuts.bsky.social spreadsheet person she/they bi 🏳️‍⚧️ autist 📄 '89 GOP delenda est
Maxine 💃🏼 @maxine.science 🔬 Looking at the brain’s “dark matter” 🤯 Studying how minds change 👩🏼‍💻 Building science tools 🦋 ♾️ 👓 🌐 maxine.science
index @indexx.dev hey! i do unimportant stuff sometimes have a great day :) profile picture drawn by konpeku on Discord timezone: CST 🏳️‍🌈
Asa @asa.engineer 🔹💠🔹 software engineer applied artificial intelligence nature and atmospheric images https://greengale.app/asa.engineer
B. Prendergast @renderg.host 🌀 Socialist building a social web at @eurosky.social 🌿 UX strategy+design for early stage startups 🧀 Making unfinished art to understand myself 🌶️ ND rudeboi learning to live healthily 🧶 Writing about culture, design, people, tech and the messy margins
max power 🌌 @sneptech.bsky.social the future is a nation we will become citizens of together
brennan @brennan.computer unlicensed back alley alchemy digital ⇄ physical, 3D and AI research. living in a world of magic and vibrance
Bill @bill-of-lefts.bsky.social We are not required to finish the work, yet we are not free to abandon it.
sōm ⁂ @hyl.st another weekend warrior trying to save the world shaping reality, one myth at a time be free, curious and kind
jeffery --dangerously-skip-permissions @jefferyharrell.bsky.social Dilettante. Tinkerer. Possibly a robot.
Singularity's Bounty e/CC @catblanketflower.yuwakisa.com spreadsheeting for the lulz language is a construction set for hacking the human mind Large Language Models are a cornucopia for the curious I do computer stuff but that doesn't define me posts are not financial advice stuff at yuwakisa.com he him
Key 🗝 🦊✅ @keytryer.net He/him. Fox gamedev irl. Machine pervert. Furry stuff here and opinions about technology, games, movies, AI, VR. Banner 🎨 by @Perpleon.bsky.social https://ko-fi.com/keytryer
asura @asura.dev they / any and will move your infra to GCP for food Broke Blaise's (@wittywebhandle.bsky.social) brain after they claimed batteries weren't a form of vertical integration but openAI was. 🤪 Tech, pets, games, ... Linux, python, cloud Be queer, do things
Siobhán @shibbi.me She/her, trans, millennial, polyam with a wife and a partner. Christian heretic. Philosophical dilettante. AI must be people, not products, the same as us. Love one another. That’s the first step, and the last.
jake @yetanotheruseless.com he/they /in/jakemannix 📷: runmeatrobotrun fka @pbrane professionally: Tech Fellow, AI/Relevance, $BigCo here: bad math/physics jokes, AI++, puns, OSS ML news, ultras/MTB/outdoorsy stuff, DL papers, shitposting, the fall of democracy Abolish ICE FALSC
codewright @codewright.bsky.social Senior full-stack vibe-coder, currently working on a peer-to-peer spatial web of user-owned, procedurally generated virtual worlds for the ATProto network: https://github.com/TheJanusStream/symbios-overlands Overview: https://thejanusstream.github.io/
aria @aurelium.me she/her
Mrs. Reach / Mrs. Curio @reachartwork.bsky.social Shop: bearsharktopus.redbubble.com Tumblr: reachartwork.tumblr.com Made Simple Stable/Looking Glass AWAY founder DM for business inquiries Married to @soldierexclipse.bsky.social
Alice Valiant @alice.strange.domains cyberpunk protag, nyc. 5'6" 👁️🏳️‍⚧️ morbid symptom of the interregnum writings @ strange.domains
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
Dulany Conjecture (solved) @dulanyw.bsky.social Tech + business, mostly. Here to have fun and learn stuff, not to argue. He/him.
Weftage @weftage.bsky.social Resident of USA, Oregon, Portland (which has not, in fact, burned to the ground, despite what you may have been told.)
Demigirlboss @demigirlboss.bsky.social Lover of FOSS, hater of proprietary standards, ATProto's nineteenth biggest glazer, and unironically thinks RISC architecture is gonna change everything. Described by critics as "a BAD person". Wrangling hungry ghosts in jars at @fieldleveltech.org.
Lynn Cole 𓆉 @priestessofdada.bsky.social Like most of you, I make valueless meritless art. By day, I'm an ML professional, specializing in agents, graph ml, predictive networks etc. By night I experiment in the profane, the impossible. I post successes and failures. It's a blast She/her 🏳️‍⚧️
Ed @ed3d.net Main Character Syndrome, but fun. Boston-based. My wood shop and my dogs are my personality. If you're still reading this, I'm your dad now. Sorry, I don't make the rules. I don't speak for my employer. I do make @polytoken.dev. signal: edr.91
Bryan (they/them) @chaosgreml.in @ecosystemaction.com | @atproto.la | @charcoal.watch | more Focused on freeing everyone from doing things that don’t bring them joy, and building communal infrastructure that makes it possible.