{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 15:01:21.987Z","domain":"mathstodon.xyz","followerCount":149,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":306,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"soevcuucdkqt6i0","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2026-01-29 06:35:53.537Z","outbox":"https://mathstodon.xyz/users/jdw/outbox","preferred_username":"jdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA11q3KYjgldHFGI8JTJ9Z\nnLxtDx5Gm1XsPRxHBzJY0eYx8Fh4z5j6fJ4eL5jfvY9fgOwY5302eYdzwsyp8cSZ\nr5a72EF0oZ6PjEVlAy0jRtaZOKWMRFDJnrujrHVtA+8j4f3XDi3CGLJ7Ou+KZ6wn\n5YCXFtdPakNF7B1xlKq6q7ChUbrFs+DJ/SGsu8OBsf8vsv5RNk4kBU4JsqC+r8Zp\nwQvCT+kQUoTv9ASXsPHZf0JMl6CczHojmwO8p91lwFA7R4EnoO/sB+1GFMA3f3wW\nX8/ILb62grMev/K46PctZW74MAiLtWoNjSf09NZi0TA3ZT8zv2dekHeSrlHC27nw\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-05 00:00:00.000Z","summary":"

I’m a mathematician and computer programmer based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible.

I’m also interested in literature, history, sociology, music, economics and philosophy and I enjoy reading books from these fields.

I try to be friendly towards my fellow creatures, which of course has political implications.

","updated":"2026-01-29 06:35:53.537Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 07:19:36.802Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"orcprw13b02lasd","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-01-29 07:19:36.802Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-01-29 07:19:36.802Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 08:45:56.226Z","domain":"fosstodon.org","followerCount":996,"followers":"https://fosstodon.org/users/teamtype/followers","following":"https://fosstodon.org/users/teamtype/following","followingCount":9,"icon":"https://cdn.fosstodon.org/accounts/avatars/115/456/836/074/799/279/original/05ce5bff1600f291.png","id":"iny1xh00prc2olo","inbox":"https://fosstodon.org/users/teamtype/inbox","iri":"https://fosstodon.org/users/teamtype","isLocal":false,"last_fetched":"2026-01-29 05:27:08.161Z","outbox":"https://fosstodon.org/users/teamtype/outbox","preferred_username":"teamtype","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwzTCCuFYHqJG1MEFabYR\n0vtA56tQzPe9qw7IDsi/4GKNvJeZE0WB6Nnp9rsznIj3egGJ1FVWer+AmkcYKUrs\nP5uU1oF4YU4fYI9HnFY4UuLaOL/A+hyA8OfIMfAJn0Gg+zzUrTHPeAi9JaTD+mJE\nSNcbA2FTSHHkSAgKDBxQXMAPzNBS6opZpx/fD7QkN/tNrMHa74CVF2QLh0Gf/XTS\nt+JqDGACKCoiD2Hw91u9s0ezxDRT1rEq0/cEV8ccBaJFnyONm5oIaMDA3N1aQHhc\n7MOVoI7gMiYJyw1hifGLu7vxwXA7D4sIC5V3JrIm46WK7UJqS1rJHTDzIwjo7hzT\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-29 00:00:00.000Z","summary":"

Multiplayer mode for your text editor!

Teamtype enables real-time collaborative editing of local text files. You can use it for pair programming or note-taking, for example. It's the missing real-time complement to Git!

A project by @blinry and @zormit, funded by @nlnet and @PrototypeFund.

","updated":"2026-01-29 05:27:08.161Z","user":"","username":"Teamtype"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 00:09:34.599Z","domain":"mathstodon.xyz","followerCount":435,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":213,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"w7dqt1rksaod94t","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2026-01-29 06:01:41.077Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2026-01-29 06:01:41.077Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 07:19:36.836Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/glangmead/followers","following":"https://mathstodon.xyz/users/glangmead/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/004/279/original/f33af66d18402768.png","id":"mprqr0444y32wky","inbox":"https://mathstodon.xyz/users/glangmead/inbox","iri":"https://mathstodon.xyz/users/glangmead","isLocal":false,"last_fetched":"2026-01-29 07:19:36.835Z","outbox":"https://mathstodon.xyz/users/glangmead/outbox","preferred_username":"glangmead","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvmHlcFIJotW42Cn/4b3F\n3f1DpV6Ro7soJ/NjKdY/8GnP6LkJ8htb4EUyaMUSW1Uzq064ipSVBK1PR6gihT7U\nvxEp3mVwf62HLRAiLO6lKjuUmWLtpSeD4atQVmr8wkv89uNvSgGpRN759Ys0WFiy\nJ4V4laVOJO5DaSGbZRBDPGIwa2+ygiWlnU3vfa/k0qD1CGL4HvXd1gnrQMggEJYI\nktZQnX3nVSEz5z0sF2r7mY2QVIdiQ0ALnBce7qCOscKP+iqhNu06KLFQx/PYZPua\nWAtKLKkCtVfKFJNCMG6JFKpd/05vFENE1COoVU7cqgkSpvdhrAPwrpa0UWY11fTq\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-08 00:00:00.000Z","summary":"

Software engineer, mathematician.

","updated":"2026-01-29 07:19:36.836Z","user":"","username":"glangmead"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 16:12:14.235Z","domain":"mathstodon.xyz","followerCount":419,"followers":"https://mathstodon.xyz/users/jdchristensen/followers","following":"https://mathstodon.xyz/users/jdchristensen/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/246/927/350/073/625/original/281b3ac6c1b69ce8.jpg","id":"asss6wdphbwdioe","inbox":"https://mathstodon.xyz/users/jdchristensen/inbox","iri":"https://mathstodon.xyz/users/jdchristensen","isLocal":false,"last_fetched":"2026-01-29 07:19:36.864Z","outbox":"https://mathstodon.xyz/users/jdchristensen/outbox","preferred_username":"jdchristensen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoBi6OtppeRzaUMUh/t+K\nm+xUeeihPZSjr/3DvbGxQO9s4cQNex5OQn3zyx4I+6uGCCuJXE5wOU2gOCm1V3Ny\nCeRoTKGHi9YSMK5aoSp7LnFzxauT7eiS8eNIC+CaWP8CaZNFK/I2fa7DjX+MpwpT\npoABT7beVb2Lx/sQP6P6ICwNtunlyNZsyWSl9LWHhebFY3iYjy7rq8MZ6MgSuU5c\ncGL+KtCRlhYDwnCqCfOwdLgHF2dU9hywczNg01GRNMha3qjlKN7NqFPwAPKLw1b3\ncmu90UcEjeKKGvFM+zmENZjgphxkRqTPef1Tqh9SYlbs9NcixF2rk1asTQmUWLh1\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

I'm a mathematician at the University of Western Ontario. I'm interested in homotopy theory, higher categories, homotopy type theory, and many other things.

","updated":"2026-01-29 07:19:36.864Z","user":"","username":"Dan Christensen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 20:31:31.486Z","domain":"mathstodon.xyz","followerCount":3292,"followers":"https://mathstodon.xyz/users/wtgowers/followers","following":"https://mathstodon.xyz/users/wtgowers/following","followingCount":61,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/559/050/703/044/192/original/a2e622bf81a2b696.jpg","id":"ab4970kf4guzd5v","inbox":"https://mathstodon.xyz/users/wtgowers/inbox","iri":"https://mathstodon.xyz/users/wtgowers","isLocal":false,"last_fetched":"2026-01-29 07:19:37.002Z","outbox":"https://mathstodon.xyz/users/wtgowers/outbox","preferred_username":"wtgowers","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtWlgq6V2qxgYoqeiw9yU\n2e1y48d1wb8tXop+9ca8kAodpfgyJsjAangAId9fgkjxEPFsnJdkWEIlUrWB4XDU\n3U0Awp5bxLz5nQ789aeSN0OIxhsA7S5t/s5jdOopBy7XXz6fdaHFLWMAvtxXyApP\n4tSOCzsM+ZsPlbz7nZoZTmpnsZGbMLC4P56+oMrDFjctYI9XS9moJ4bOUdZ/CVam\n7Pfid8GzI0ExFjg+7VzEvtUeUU3hAdqiGjsJiQVNEd4nyq1o/FcdDciNYaHdp+cK\n8O52nPDAiHtcZK/2P8NeuzMM3ni1Os+CWOLFYrKwJsGUGyGHLv2+CP+/m2YMMH/f\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-22 00:00:00.000Z","summary":"

Holder of the Chaire Combinatoire at the Collège de France. Fellow of Trinity College Cambridge.

","updated":"2026-01-29 07:19:37.002Z","user":"","username":"Timothy Gowers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 10:46:48.747Z","domain":"fosstodon.org","followerCount":2789,"followers":"https://fosstodon.org/users/pandoc/followers","following":"https://fosstodon.org/users/pandoc/following","followingCount":77,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/248/151/424/624/982/original/fa3aae47f32d887d.png","id":"nkf8qhue8je6jlp","inbox":"https://fosstodon.org/users/pandoc/inbox","iri":"https://fosstodon.org/users/pandoc","isLocal":false,"last_fetched":"2026-01-29 07:19:37.033Z","outbox":"https://fosstodon.org/users/pandoc/outbox","preferred_username":"pandoc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7EsnxnTI/bVWVyFeHukO\ngrGhbWP8u4Agtu1gBVHdo88AY74VM9Z4gGo1d9RdgtwrhcvLfBJqw3bYhh3IDP1I\nNHUK8VFP6wZqRbDIii4w3EmgwBhfZmy+9RB1JJIS0+jEJEtPBCri9c5ZWdz//6Y2\nCkgwisWO95ICe18DtedIPgmM4Qp8oIEImAQpZEEPSIfQLkdx3ChwCUmkZPE0fZQB\nrgovZmGbx08ESqXxyiz8di7dymMFBQQHsLavmjq2eBEEN6foGegWoaZcJrr4DOGN\n5DJ7H5L2GTZ9/DUleoThHwqldS/UKITLSqSJvO8CGmza4pb2cHpqvQfgewH5wdI7\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Tips and news about #pandoc, the universal document converter by John MacFarlane. This account is run by @tarleb.

All posts made from this account are licensed under CC BY 4.0, meaning that you're free to use everything however you want, just please cite your sources.

","updated":"2026-01-29 07:19:37.033Z","user":"","username":"pandoc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 04:58:57.176Z","domain":"ieji.de","followerCount":0,"followers":"https://ieji.de/users/vnikolov/followers","following":"https://ieji.de/users/vnikolov/following","followingCount":0,"icon":"https://ftp.ieji.de/accounts/avatars/114/329/869/160/467/389/original/92deb9a433cd6f2d.jpg","id":"rrxopdp1350madw","inbox":"https://ieji.de/users/vnikolov/inbox","iri":"https://ieji.de/users/vnikolov","isLocal":false,"last_fetched":"2026-01-29 07:19:37.046Z","outbox":"https://ieji.de/users/vnikolov/outbox","preferred_username":"vnikolov","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2AxyWjh2J5rM/U8zvEAe\ncKk4mmij5vO8uD0ltS/gvICSQuqPPQhVXqdUe+sNRHGfY/0Awj7UbA2cuB032P4O\nQumMY4Nh/4LKg9qhwOWnaBiMNzOnyWAXEvcLauVksi3uBQHn8jnAUeHl1VC0e3ad\nps5HfSAI0SJQUCzw+KppAT0lwaXcyPGepRys2T43rXcufZHFfcr7xIWNBJEmAuCy\nuieqCB1nCRwWgC41zVJZH1HRt1vgIYw2A6SfqMvH5vQtc28vbTNYqGDF+dpVcWAV\n8ySENdBeeKG7KW5he4q4e5zPE8qorTutGB+OQ4+sOJFsK5GZfEIayqLvf9J/dJB1\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-13 00:00:00.000Z","summary":"

Radio specialist;
mathematician;
interpreter;
software engineer;
and jack of other trades.

","updated":"2026-01-29 07:19:37.046Z","user":"","username":"Vassil Nikolov | Васил Николов"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-20 23:19:40.221Z","domain":"mastodon.archive.org","followerCount":94730,"followers":"https://mastodon.archive.org/users/internetarchive/followers","following":"https://mastodon.archive.org/users/internetarchive/following","followingCount":15,"icon":"https://mastodon.archive.org/system/accounts/avatars/109/326/087/888/226/666/original/6fd012dbbfe83862.jpeg","id":"qhi2ijmovi49vrg","inbox":"https://mastodon.archive.org/users/internetarchive/inbox","iri":"https://mastodon.archive.org/users/internetarchive","isLocal":false,"last_fetched":"2026-01-29 07:02:48.303Z","outbox":"https://mastodon.archive.org/users/internetarchive/outbox","preferred_username":"internetarchive","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvyW/QGTRbY3x1CtDcggp\nFtSDSz+6byTs3h1KnKs7YodhCsFfuXJ2BfZOB1e7TMLwnqC/gOyjwM8anHQ8j1+c\nqe9cAFedIbtyfZ7u+X5HJr9C4lSDHW/H0jgeOdSWhmfhpAXSmW6l7mg9C3VFZ89s\nKFtMIZ3p3Hwsowmfqa0TwFQ6Q1qKz+z5gD30NOCjlo66DVkzw8sIk+GjxcVbPJY8\np3GLt4zC3y3eT08MjuRAz/z1uuwHe2Fx7MS2/NSktJFErfUDVqO5L6kCdc3CExPv\nOOgzAMwgerwGf6vFsgN0EUDAqyLBPFK8261pf8Sdv9Q2dnEqNQZTjdbTn2xjxhzD\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.

","updated":"2026-01-29 07:02:48.303Z","user":"","username":"internetarchive"}],"page":1,"perPage":10,"totalItems":15,"totalPages":2}

Sheikh Shakil Akhtar 🇸🇦 🇵🇸

Following