Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
Ivan Di Liberti @diliberti.bsky.social Academic at Gothenburg University. Mathematician. Late millennial.
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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
arxiv math.LO @arxiv-math-lo.bsky.social Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Greg Egan @gregegansf.bsky.social SF writer / computer programmer
Latest novel: MORPHOTROPHIC
Latest collection: SLEEP AND THE SOUL
Web site: http://gregegan.net
Also: @gregeganSF@mathstodon.xyz
Sašo Dolenc @saso.bsky.social saso-dolenc.com
beri.kvarkadabra.net
Gro-Tsen @gro-tsen.bsky.social Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
Jean Abou Samra @jeanas.bsky.social PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math. He/him
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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app