{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 04:11:30.791Z","domain":"mathstodon.xyz","followerCount":412,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":210,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"l1btd3i7k3602ia","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2025-10-19 13:47:01.352Z","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":"2025-10-19 13:47:01.352Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-22 13:21:04.178Z","domain":"mathstodon.xyz","followerCount":70,"followers":"https://mathstodon.xyz/users/glangmead/followers","following":"https://mathstodon.xyz/users/glangmead/following","followingCount":71,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/004/279/original/f33af66d18402768.png","id":"ihfhhiax8700wy3","inbox":"https://mathstodon.xyz/users/glangmead/inbox","iri":"https://mathstodon.xyz/users/glangmead","isLocal":false,"last_fetched":"2025-10-19 13:47:01.418Z","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":"2025-10-19 13:47:01.419Z","user":"","username":"glangmead"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 23:35:50.502Z","domain":"mathstodon.xyz","followerCount":404,"followers":"https://mathstodon.xyz/users/jdchristensen/followers","following":"https://mathstodon.xyz/users/jdchristensen/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/246/927/350/073/625/original/281b3ac6c1b69ce8.jpg","id":"8428a7tbc89039p","inbox":"https://mathstodon.xyz/users/jdchristensen/inbox","iri":"https://mathstodon.xyz/users/jdchristensen","isLocal":false,"last_fetched":"2025-10-19 13:41:13.335Z","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":"2025-10-19 13:41:13.335Z","user":"","username":"Dan Christensen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 06:04:03.264Z","domain":"floss.social","followerCount":4623,"followers":"https://floss.social/users/CoMaps/followers","following":"https://floss.social/users/CoMaps/following","followingCount":2,"icon":"https://cdn.masto.host/floss/accounts/avatars/114/410/007/480/178/290/original/20056dc849b5f542.png","id":"6d973w5ol339898","inbox":"https://floss.social/users/CoMaps/inbox","iri":"https://floss.social/users/CoMaps","isLocal":false,"last_fetched":"2025-08-19 22:25:16.875Z","outbox":"https://floss.social/users/CoMaps/outbox","preferred_username":"CoMaps","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjHAHQlZ6GHC7yLwxWrsz\nQfyAkO8446KR8db2tYZoZnCPvL4yrc74U2GYMwLAYca/EX6ntbrmbHM2/SSi90TT\nZpTlQXZV/LKvwrEHUaAzCOKkC5HdiwD1ZiJzkuqqVwE7na46BKKKWRgvZ7R6xORs\niwHgErnrsFzbcC2YwHmswH0ASSNz2dq8Ksa2Tl+mhulzFwxUbs/YuYzrXY4MPMiq\nqMMm21SSA7M31h/gMvL9IUF2tfS1ttb6dOPRz+461VwUSAHMI9n1fyUZte1XGVwa\nGkqYj/+fqKK9jUGOyT8UpcGaXXMZMnZQcs2Ta1btkk5dUII/lWMuzCHc5aM7jY7G\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-27 00:00:00.000Z","summary":"

A community map navigation app. Based on principles of openness & transparency, not-for-profit & in the public interest, community-driven, fully free and open source software!

","updated":"2025-08-19 22:25:16.876Z","user":"","username":"CoMaps"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 15:42:39.299Z","domain":"mathstodon.xyz","followerCount":3203,"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":"8ef6mil2u345iz8","inbox":"https://mathstodon.xyz/users/wtgowers/inbox","iri":"https://mathstodon.xyz/users/wtgowers","isLocal":false,"last_fetched":"2025-10-19 13:47:01.953Z","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":"2025-10-19 13:47:01.962Z","user":"","username":"Timothy Gowers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 03:37:01.435Z","domain":"fosstodon.org","followerCount":2657,"followers":"https://fosstodon.org/users/pandoc/followers","following":"https://fosstodon.org/users/pandoc/following","followingCount":69,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/248/151/424/624/982/original/fa3aae47f32d887d.png","id":"xwego73tp1u497a","inbox":"https://fosstodon.org/users/pandoc/inbox","iri":"https://fosstodon.org/users/pandoc","isLocal":false,"last_fetched":"2025-10-19 13:47:02.040Z","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":"2025-10-19 13:47:02.047Z","user":"","username":"pandoc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 01:32:52.829Z","domain":"ieji.de","followerCount":111,"followers":"https://ieji.de/users/vnikolov/followers","following":"https://ieji.de/users/vnikolov/following","followingCount":76,"icon":"https://ftp.ieji.de/accounts/avatars/114/329/869/160/467/389/original/92deb9a433cd6f2d.jpg","id":"qtl56j62896bs53","inbox":"https://ieji.de/users/vnikolov/inbox","iri":"https://ieji.de/users/vnikolov","isLocal":false,"last_fetched":"2025-10-19 13:47:02.262Z","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":"2025-10-19 13:47:02.262Z","user":"","username":"Vassil Nikolov | Васил Николов"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 21:50:21.606Z","domain":"mastodon.archive.org","followerCount":84173,"followers":"https://mastodon.archive.org/users/internetarchive/followers","following":"https://mastodon.archive.org/users/internetarchive/following","followingCount":14,"icon":"https://mastodon.archive.org/system/accounts/avatars/109/326/087/888/226/666/original/6fd012dbbfe83862.jpeg","id":"e1e27s79h0q1to2","inbox":"https://mastodon.archive.org/users/internetarchive/inbox","iri":"https://mastodon.archive.org/users/internetarchive","isLocal":false,"last_fetched":"2025-10-19 11:59:19.183Z","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":"2025-10-19 11:59:19.183Z","user":"","username":"internetarchive"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 03:56:02.462Z","domain":"mathstodon.xyz","followerCount":2002,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"967m9tb7w943ow8","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-10-19 13:47:02.602Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-10-19 13:47:02.603Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 23:35:50.543Z","domain":"mathstodon.xyz","followerCount":3529,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"mnr04108ymbcod2","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-10-19 13:47:02.663Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-10-19 13:47:02.670Z","user":"","username":"Martin Escardo"}],"page":1,"perPage":10,"totalItems":14,"totalPages":2}

Sheikh Shakil Akhtar 🇸🇦 🇵🇸

Following