Jujutsu VCS @jj-vcs.dev Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
Skyreader @skyreader.app RSS Reader on ATProto made by @disnetdev.com
https://skyreader.app
Hytale @hytale.bsky.social Early Access is now available!
Set out on an adventure built for both creation and play! Hytale is a game developed by Hypixel Studios.
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
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
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
dan @danabra.mov между маратом и архимедом
@cecek8.bsky.social @cecek8.bsky.social 
@xenaproject.bsky.social @xenaproject.bsky.social 
Logic Matters @logicmatters.bsky.social Recovering philosopher, but still interested in logic and abstract nonsense (and music). Occasionally blogs at logicmatters.net 
Randall Munroe @xkcd.com 
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
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.
Chris Staecker @chrisstaecker.bsky.social Mathematician, Z-list YouTuber.
Keenan Crane @keenancrane.bsky.social Digital Geometer, Associate Professor of Computer Science & Robotics at Carnegie Mellon University. There are four lights.
https://www.cs.cmu.edu/~kmcrane/
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Matt Macauley @visualalgebra.bsky.social Associate Professor (Clemson) | AIMS Lecturer (South Africa) | Author: "Visual Algebra" (forthcoming) | YouTuber | First Gen | Homesteader | Dad to Ida & Felix | 🔱
Shrutarshi Basu @basus.me Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
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
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Joe Cutler @alphaconvert.bsky.social cutler.pl
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
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.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Richard Zach @richardzach.org Logician, historian and philosopher of logic, mathematics, and computability
Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back
[bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
Olivier Roy @olivierroy.bsky.social Logician and philosopher at the University of Bayreuth (Germany)
Jackson Morris @jacksonmorris.bsky.social Homotopy theorist and friend
https://jackson-morris.github.io
John Goodrick @skolemizer.bsky.social Math prof at the Universidad de los Andes (Colombia). He/him, él/lo.
ProgramingIsTheFuture @programingisthefuture.com Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
Uberto Barbini @ramtop.bsky.social Functional passionate programmer. Kotlin GDE
Author, Public Speaker
https://pragprog.com/titles/uboop/from-objects-to-functions/
#TDD #FP #Kotlin
Living with family in a Japanese traditional house 日本語
Jonah Stockwell @jonahstockwell.com Theoretical computer science, math, art.
In NYC @ Columbia University.
David McCarthy 🇺🇦 @totalutility.bsky.social Philosopher, likes ethics, epistemology, uncertainty, welfare economics, category theory, climbing 🇺🇦
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Marta Bilkova @martabilkova.bsky.social Logician, poet, occasional photographer. Words in @blackboughpoetry.bsky.social. Senior researcher at the Institute of Computer Science, Czech Academy of Sciences.
Alex Nelson @pqnelson.bsky.social Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
Dr. Kimberly Ayers @kdayers.bsky.social Associate Prof of Math, CSUSM. 은혜 She/Her. Dynamics and Ergodic Theory. Podcast listener. 🏳️🌈
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
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.
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
Artem Chernikov @archernikov.bsky.social Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc.
chernikov.me
Richard Elwes @richardelwes.bsky.social Mathematician and Writer in UK.
Author of "Huge Numbers" (Basic Books, April 2026).
www.richardelwes.co.uk
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Dave Richeson @divbyzero.bsky.social Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Andrew Stacey @mathforge.org Mathematician: formerly academic (differential topology), currently educational (Head of Department in a UK secondary school).
Side interests in Maths & Programming & Art.
Website: https://loopspace.mathforge.org 
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.