@n-teffi.bsky.social @n-teffi.bsky.social 
geanatz @geanatz.com I build software while trying to understand the universe. AI agents, MCPs, automation, and practical software experiments.
Noah Giansiracusa @profnoahgian.bsky.social Math prof at Bentley University, faculty associate at Harvard, cohost at Breaking Math podcast.
www.noahgian.com
Breaking Math @breakingmath.bsky.social 
Iris van Rooij 💭 @irisvanrooij.bsky.social Professor of Computational Cognitive Science | Dept. of Cognitive Science & Artificial Intelligence | @Iris@scholar.social on 🦣 | http://irisvanrooijcogsci.com | she/they 🏳️🌈
Pawel Jozefiak @joozio.bsky.social I like start new things in Digital. I experiment a lot.
#ecommerce #marketing
My blog: https://thoughts.jock.pl/
Peter Steinberger @steipete.me vibe coding is the way. I bootstrapped a remote company before it was cool. Founder @PSPDFKit (exit to Insight). 🏳️🌈
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/
code4math Community @code4math.org Consortium of Digital Ecosystems for Mathematics | Join our AIMath.org community of researchers and developers at code4math.org
John D. Cook @johndcook.mathstodon.xyz.ap.brid.gy Consultant in applied mathematics and data privacy
https://www.johndcook.com
[bridged from https://mathstodon.xyz/@johndcook on the fediverse by https://fed.brid.gy/ ]
Patrick Shafto @patrickshafto.bsky.social Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Alex Nelson @pqnelson.bsky.social Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
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 
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Himanshu @h-vash.bsky.social cryptography, security, freedom 🍉🕊️
Reposts don't always mean endorsement
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
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/
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app