Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Nick Pettigrew @nick-pettigrew.bsky.social That bloke from off of Twitter. Writes books. Likes cats. That sort of thing.
You can give Ko-Fi donations too, if you fancy it:
https://ko-fi.com/nickpettigrew
Kris Straub (كريس) @krisstraub.com LOCAL58TV, Candle Cove, All Houses Matter. Cartoonist, presenter, humor scientist. K’thriss on #acqinc, PAX. 🚫 GenAI. He/him 🇪🇬
Annie Sexton @anniesexton.com 📹 I make tech videos
👩💻 Software engineer for 15 years
Developer Educator @ ngrok
Comic book writer & artist: https://redstonecomic.com/
Founder of Webcomic Studio: https://webcomic.studio/
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Paul Danger Kile @paul-danger-kile.bsky.social Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ポール・デンジャー・キレ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Gen AI - the AI Hub in Generative Models @genaihub.bsky.social Bringing together Gen AI researchers to collaborate on models driving impacts for science, industry & society. https://linktr.ee/genaihub
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
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
Vector Fold Studios @vectorfoldstudio.bsky.social At Vector Fold Studios, we create everything from bespoke websites
to complex, high-performance software.
Find us at https://vectorfold.studio
Subscribe to our blog at https://vector-fold-studios.kit.com/c4f399916b
Thomas Zimmer @thomaszimmer.bsky.social Historian - Democracy and Its Discontents - Newsletter: Democracy Americana https://democracyamericana.com (also available in German: https://steady.page/de/demokratie-americana/posts) - Website: https://www.thomaszimmer.online/
Department of Engineering Science, University of Oxford @oxengsci.bsky.social 100 years of educating great engineers and research at the cutting edge
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
Alt18F @alt18f.bsky.social Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
@matthew-berman.bsky.social @matthew-berman.bsky.social 
Chris Withers @chris.withers.org Python, music, bit of BBQ and things…
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Katie Mack @astrokatie.com Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Jim Weatherall @jamesowenweatherall.com Philosopher, physicist, mathematician / Chair of LPS @ UC Irvine / EiC of Philosophy of Science / Poultry enthusiast fancier / Irish Step Dancer
Cailin O’Connor @cailinmeister.bsky.social Philosopher and applied mathematician at UC Irvine. Author of The Misinformation Age and Origins of Unfairness. Irish dancer. Mother. Mother of Chickens.
Neil Ghani @anarchia.bsky.social Category theory
AI
Political betting
Artist
Grant Writer
@alicebean.bsky.social @alicebean.bsky.social 
@cgreil.bsky.social @cgreil.bsky.social - L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
KinkyKongAI @handle.invalid The color of my dress means NOTHING. #Midjourney Event Host, Guide, and Community Outreach | Moderator at Hedra | Shares the best I see in AI | Your Fun, Friendly Creator at the Bleeding Edge of #AI . I BLOCKED MAGA words, Cuz I value my peace. 
Dan Samorodnitsky @dsamorod.bsky.social i'm an editor and science writer. i cover biology, genetics, the environment, stuff like that. i live in Minneapolis. my pronouns are he/him. i am a cofounder at @sequencermag.bsky.social
dansamorodnitsky.com
Zhaoyang Wang @zhaoyangw.bsky.social Researcher | Agentic AI Foundation Models, Bayesian Optimization, Reinforcement Learning, and AutoML. Uni of Birmingham.
Share the latest AI news. https://www.linkedin.com/in/zhaoyang-w-4995b5269/
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Reto Kramer @retok.bsky.social Software Engineering and Product Leader
@adam-mx.bsky.social @adam-mx.bsky.social 
Sean Carroll @seanmcarroll.bsky.social Physics, philosophy, complexity. @jhuartssciences.bsky.social & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social.
Latest books: The Biggest Ideas in the Universe.
https://preposterousuniverse.com/
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
Nathan Linger @rnml0.bsky.social I’m not talking to you. I mean, not really
@jackaltman.bsky.social @jackaltman.bsky.social 
Beth Gill @beth-gill.bsky.social Slightly unhinged Betty Crocker, with a wild obsession of cats and babies and all things feral. Mom, partner, poet and car karaoke aficionado.
Stephen Edwards @stephen-edwards.bsky.social Associate Professor of Computer Science at Columbia University
https://www.cs.columbia.edu/~sedwards
Brother Shields @brothershields.bsky.social I’m just here for the apocalypse, apparently.
I remain sardonically optimistic, but Never stop trying to find and spread around the good. A little light can reach a long way when things get particularly dark.
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
The Whimsical Muse @whimsicalmuse.bsky.social Theatre actor, bookstore connoisseur, autumn enthusiast, cat rescuer, educator, explorer of cobblestone streets, and defender of the Oxford comma.
Brett Baudin @brett-baudin.bsky.social Interested in all aspects of AI. Some AI art.
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
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
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Wesley @spacerangerwes.bsky.social Engineer and energy vampire.
Ranjan Sakalley @rnjn.bsky.social good for nothing. expert json transformer. building something interesting. otherwise writing, cooking, reading, playing, boring.
words - https://rnjn.substack.com
Christopher Mitchell @kermmartian.z80.me Director of Geospatial AI @nbcuniversal.com, CS Ph.D., founder @Cemetech, hardware and software hacker, distributed systems guru, lover of trains. Opinions are my own.
Almost Sure @almostsure.bsky.social George Lowther. Author of Almost Sure blog on maths, probability and stochastic calculus
https://almostsuremath.com
Also on YouTube: https://www.youtube.com/@almostsure
Elizabeth Warren @elizabeth-warren.bsky.social U.S. Senator, former teacher. Wife, mom (Amelia, Alex, Bailey, CFPB), grandmother, and Okie. She/her. Official campaign account.
Marco Paviotti @gfixme.bsky.social gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Carter T Schonwald @cartazio.bsky.social Extroverted mathy computer science etc. nyc 
David Corfield @davidcorfield.bsky.social Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
Michael Moore @michaelmoore.ai #AI, #Cybersecurity, and other technology topics. Trying to make the world a better place. Personal account; my views only. Work: https://s1.ai/purple at @sentinelone.com
Robert Szafarczyk @rob-sz.bsky.social CS PhD student at the University of Glasgow. Compilers, computer architecture, FPGAs, HLS, Bluespec.
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Lothian Buses @lothianbuses.bsky.social This is the official page for Lothian Buses. Visit www.lothianbuses.co.uk to learn more.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Chung-chieh Shan 單中杰 @ccshan.woof.group.ap.brid.gy He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT
🌉 bridged from ⁂ https://woof.group/@ccshan, follow @ap.brid.gy to interact
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Timothy Revell @timothyrevell.bsky.social Executive Editor at New Scientist
Have a book out about maths
He/Him
Ian Stark @ian.stark.scot 
walkhighlands @walkhighlands.co.uk The website for enjoying Scotland’s Great Outdoors, on foot. Views are not ours - they belong to everyone.
https://www.walkhighlands.co.uk/
Dara O Briain @daraobriain.bsky.social Yep, that one.
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.
[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]- T Tim Sweeney @timsweeneyepic.bsky.social
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
OCaml @ocaml.org https://ocaml.org
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
@gkimmell.bsky.social @gkimmell.bsky.social 
@julesjacobs.bsky.social @julesjacobs.bsky.social 
John Maraist @jpmrst.bsky.social Dad, hacker, organizer.
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Stephen Adams @rakudrama.bsky.social 
Sam Lindley @reifyreflect.bsky.social - R @rsnikhil.bsky.social @rsnikhil.bsky.social
David Tanzer @dtanzer.bsky.social Programmer, trainer/coach, climber, #bonsai enthusiast
Helping clients create better software and get better at creating software
React, TypeScript, Java, Kotlin
Pronouns: he/him
https://www.davidtanzer.net
https://www.devteams.at
https://quickglance.at
@augustsx.bsky.social @augustsx.bsky.social 
Henry Garner @hendroid.io Principal Engineer & AI Lead @juxt.pro
AI/ML • data intensive applications • product
Author of Clojure for Data Science https://cljds.com/book
Maintainer of Clojure(Script) library kixi.stats
{London | Cambridge | Brighton}, UK
Abel Dantas @abeldantas.bsky.social Researcher, Distributed Systems
R0b0tn1k @r0b0tn1k.bsky.social AI anthropologist, digital marketing
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Stephen Moreton-Howell @steve3007.bsky.social Interests: Software/physics/philosophy/ML. BSc Physics, with more recent MSc in AI. Looking at ways to use it in .NET MAUI based phone/tablet projects. 4 published so far - 2 educational, 2 games. Neural Networks educational next.
www.philotalk.com
OlderGeeks.com @oldergeeks.bsky.social OlderGeeks.com is the popular free software download site as featured on tech sites from around the world. - Randy & Deanna (The Older Geeks)
Eduardo Serrano @eduserrano.com Editor. Brazil. || The Secret Agent, Bacurau, Aquarius, Boi Neon, War Pony || https://www.imdb.com/name/nm3810896/