Professor of computational mathematics at University of Ljubljana, Slovenia. [bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]

Academic at Gothenburg University. Mathematician. Late millennial.

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.

Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info

Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org

Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.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

I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]

SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: http://gregegan.net Also: @gregeganSF@mathstodon.xyz

saso-dolenc.com sasodolenc.substack.com

Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.

Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths https://buymeacoffee.com/joeldavidhamkins

Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app