{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-03 17:01:38.748Z","domain":"mathstodon.xyz","followerCount":6,"followers":"https://mathstodon.xyz/users/adelon/followers","following":"https://mathstodon.xyz/users/adelon/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/602/940/422/433/210/original/e4ae04b03a94a1f5.png","id":"0kld54ppefkf3e8","inbox":"https://mathstodon.xyz/users/adelon/inbox","iri":"https://mathstodon.xyz/users/adelon","isLocal":false,"last_fetched":"2025-12-19 09:32:31.641Z","outbox":"https://mathstodon.xyz/users/adelon/outbox","preferred_username":"adelon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy+iz+8EzAffjwFX5WdQ9\nujalNoVgpls9S+LyBvc2rVbO2w18pVzHt418tBzotz2pfY3fV2E0zWIpmbP8DiSo\n6z15j6lcnNYQxWYm3TjZyEKfEL++k0qVgj9SbDNj3L79u0Ig59sihS1sfLa0TRWM\ndj0eKr+SbRLr+Cpku3izy9usujfTQBgtMnZfJb0KKKhMhbkitn5iVf3gqq2GqfN0\n6iD0+1HAitonFiEvAyJY8P3n58RfwyEEn4SQGsTLjlRzsks3L/c77y+6tubFavYm\nxy5Ew/7BysX7DXLx37xtZj3a9dY0alrczAEvBVGjQd2gIdWNjJzWuc8+NjXZR9G3\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-07-06 00:00:00.000Z","summary":"

PhD candidate in formal mathematics at the University of Bonn

","updated":"2025-12-19 09:32:31.641Z","user":"","username":"Adrian De Lon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-11 22:02:03.891Z","domain":"bayes.club","followerCount":0,"followers":"https://bayes.club/users/modrak_m/followers","following":"https://bayes.club/users/modrak_m/following","followingCount":0,"icon":"https://bayes.club/system/accounts/avatars/111/889/402/225/323/326/original/84f8f5493b6aef70.png","id":"xcvt7ck9dx8wkwb","inbox":"https://bayes.club/users/modrak_m/inbox","iri":"https://bayes.club/users/modrak_m","isLocal":false,"last_fetched":"2025-12-19 09:32:32.174Z","outbox":"https://bayes.club/users/modrak_m/outbox","preferred_username":"modrak_m","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA000x4n6KjregLICGlt3n\nTM2/HYFU1qddyMg5xiO/T/JUfdvBtdPWu2CpQBVqSIT3sJpuuZl4JQcZ7vxI6nri\nqRmPQ7XxAWYW7VK+74PXRUS7GQsgxnFMVAhv6nQwcCdWQkf4gV9YBUqT/4gHRBLM\nX/Ja/PXuq1hiYcCebCQWa55aXsl0+PfzbndGG4Nj5GWBn9dyvhh36m9GmVYWaZ4f\nZq+qjgxv4LGfAJugGuREZrb1eZb+CjhrBRLs/yVhgOjoHu/6djNb00FQVe2gXPRw\nGM50Cy5hAy0HIE5Nh7IIH2ndx3SayYqD0AqKQs+ixARZDz4Dmw94J51H6nCszp3Q\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-07 00:00:00.000Z","summary":"

Bioinformatics, biostatistics. Bayesian. Stan language, simulation-based calibration.
Currently at Deparment of Bioinformatics, Second Faculty of Medicine, Charles University in Prague

","updated":"2025-12-19 09:32:32.174Z","user":"","username":"Martin Modrák"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 02:23:05.488Z","domain":"mathstodon.xyz","followerCount":505,"followers":"https://mathstodon.xyz/users/stringdiagram/followers","following":"https://mathstodon.xyz/users/stringdiagram/following","followingCount":131,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/337/780/676/405/855/original/a3a1e08fa187529c.png","id":"vi86f6xao5m6160","inbox":"https://mathstodon.xyz/users/stringdiagram/inbox","iri":"https://mathstodon.xyz/users/stringdiagram","isLocal":false,"last_fetched":"2025-12-19 09:32:32.209Z","outbox":"https://mathstodon.xyz/users/stringdiagram/outbox","preferred_username":"stringdiagram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3/BdU3KnV7aLTDIi9p25\n2O9G6aFDsG0g+eK5ojuzS5H1vJ4kxibLE0RKBiHlQCKg0D+1VkdOqBhGNdPoBvwp\nJkMaQIjtYLPYa1T+u7dUINjiPrFgc6hFH7OdbCBo3z3LxCe0SPrCTh7J/Z3ATd2B\nF2ACFiwEZuIq9HrwU/FDIDtuq7IlNtvbt3/s48rpqVW8MB4TJWCzZ6Uztygna0nq\ncMnzNEckSblJvcmeTrTD/5XCKJIsrvnuo3FPfzBMGf7teWbXwfGlXDTPdpm6Dbp6\naZ6mMt1eKhO0WhHbq3glKQKfOuNxeD8/zZVGnigqiPAo8skmYxOSfMsU+0Ont9zM\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Categories, computer science and logic

","updated":"2025-12-19 09:32:32.209Z","user":"","username":"Dan Marsden"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 10:07:12.629Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/nilesjohnson/followers","following":"https://mathstodon.xyz/users/nilesjohnson/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/002/738/original/074bc730aca8a947.jpg","id":"m64kp8arnni7lzp","inbox":"https://mathstodon.xyz/users/nilesjohnson/inbox","iri":"https://mathstodon.xyz/users/nilesjohnson","isLocal":false,"last_fetched":"2025-12-19 09:32:33.548Z","outbox":"https://mathstodon.xyz/users/nilesjohnson/outbox","preferred_username":"nilesjohnson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzKVZl90eEep8b04qMer1\npykMYbf01VUdIxWS6n4w69Eu6cH/lXFiEmMG2frRImpfg7BAUFOT6sKh8Mukak2X\nzZxA7hG5CfONTSmV05RT5Hkbgr6rJi2imZggR/JKfxB8ZcLZ2AZavxzOL7A54KdI\n+pcRkVvf5dyB2yEUI84w/uqMTs+ArGSrpb9vMF96PrRGmi7tFkRTme6hR31W4Pxi\n5vx3CHc081Wfpx5JSgPIlC07sWgxOK/ZmrrlBUaac7DKSK+999D6Mu7fSlicbBp2\nc4MlHjOtZ7AW0ebwKQlF3FxviOwQZXw1vO87GZTCRMspbVrZH67JquPquY4mpDY1\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-09 00:00:00.000Z","summary":"

Working in topology and category theory
Professor, Ohio State at Newark

","updated":"2025-12-19 09:32:33.549Z","user":"","username":"Niles Johnson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 09:32:33.583Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/bgavran/followers","following":"https://mathstodon.xyz/users/bgavran/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/536/193/392/190/234/original/bef7c76943d895ad.jpg","id":"qbyn7v98x3770v1","inbox":"https://mathstodon.xyz/users/bgavran/inbox","iri":"https://mathstodon.xyz/users/bgavran","isLocal":false,"last_fetched":"2025-12-19 09:32:33.583Z","outbox":"https://mathstodon.xyz/users/bgavran/outbox","preferred_username":"bgavran","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAveV3uyOK5UnqwaVnrUDu\n+4crHOPTSCFKaqmLkaifKElxubGGzc9PYmVI1F9yTiFu9+yZfa21H1iiJtmPbfwD\nvq86cGkG/F70Q7SNzRW42MITIicDIjYtJ62obe9RoolzeydBW6MSiua0XWr8a5oM\no42qTvPm/VYRVJ3CAJstOuBR2w88ntcJLswtnF5t38YaRfY2I9RQgxnZjXwxckF+\n2Hw7UEscEcko+0UK4oju0J++wO4608bsU7H14MTxRI90cPSrzcIFi01hoxAV5+kV\nfOn8GRXkxU0qcbSnzHK5Ttib1NXL99J+VBl3bAFXTk509c3sLZmK7Vp6BdCUEh0J\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

I'm applying Category theory, the science of structure, to the field of deep learning, which aims to learn structure from data.

","updated":"2025-12-19 09:32:33.583Z","user":"","username":"Bruno Gavranović"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 23:08:30.117Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"hzci83o2czmdydg","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-19 08:57:34.983Z","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.

See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html

","updated":"2025-12-19 08:57:34.984Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 14:42:36.714Z","domain":"mathstodon.xyz","followerCount":1821,"followers":"https://mathstodon.xyz/users/julesh/followers","following":"https://mathstodon.xyz/users/julesh/following","followingCount":151,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg","id":"8ycti4j8bf32po3","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2025-12-19 09:32:33.612Z","outbox":"https://mathstodon.xyz/users/julesh/outbox","preferred_username":"julesh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+8GStBTcZ47c0ZqpWg4\noSPey8n0oMa20EXxJSYmefWnBhQjQb8rBgZUoJjmFd2vB5svOSWi9Mhn7TqWYpJM\nOPk3fJzD1M9qw41MoTPE+DoGQFkyYSAzA3bHttJi7BewDk3yoRKp79lym520D5zq\nV1GDN934Fg5zn9u3H0BQHYExlIw+c1KlfJGAZAGB1Hw+r9I73OXWzob11fPBzrGg\nkb+JlBZo4Fuc2d2A/EM5MAu2JzAjUGIcocVQOc/8zEEl/+Nac0YNpkclvz/60mHt\nTgvNmAg3Z4DMSIQQhQpdV43XGq/oEY72+X52rIsBbDu5yVG5fBRd8ZKUhjrJApU5\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Applied Compositional Thinking

","updated":"2025-12-19 09:32:33.612Z","user":"","username":"julesh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-06 06:15:36.054Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/JukkaSuomela/followers","following":"https://mastodon.social/users/JukkaSuomela/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/252/786/393/804/168/original/cebb20cd7e34c1b5.jpg","id":"xmlltuliu2i9ytq","inbox":"https://mastodon.social/users/JukkaSuomela/inbox","iri":"https://mastodon.social/users/JukkaSuomela","isLocal":false,"last_fetched":"2025-12-19 09:32:33.988Z","outbox":"https://mastodon.social/users/JukkaSuomela/outbox","preferred_username":"JukkaSuomela","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7tDyvqI1ifQvYYVsA866\n/pB+JJLYSUwmUjqeP5MZ66pVMDOyNh69SpParST8BvxsWyY/KPy7sNJfs9eyFfCi\nmUCxugbsqay8Evw0K0IRY0oOqsQ8A9omW1OopV2VBSJNv/G7qf6rZw3OKn6hHeUB\nTNQI5KGQccSi3sH/2sDqB9BGMaoihw7FjTJ4y31HIBOacH7u1qIiMQ/nKkA0LZaG\nzt9sQCdpaUUXwKpZDlsw7CiRWTRYSl3Hd0/483pgnGQNETJJ5tGjwxhbUE+JtVLH\nUBqNg2IHZnhCBCq6lBB603QXBh4vgU4Sp5ONZsJ+S8WhvHV9QYEP+MOd+XwuwTqb\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Associate Professor, Department of Computer Science, Aalto University. Research interests: theory of distributed and parallel computing.
https://jukkasuomela.fi

Posts in Finnish here: https://mastodontti.fi/@JukkaSuomela

","updated":"2025-12-19 09:32:33.988Z","user":"","username":"Jukka Suomela"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-02 11:33:22.826Z","domain":"mathstodon.xyz","followerCount":590,"followers":"https://mathstodon.xyz/users/PeterSmith/followers","following":"https://mathstodon.xyz/users/PeterSmith/following","followingCount":273,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/307/132/692/749/435/original/04ff45f2bf83fb02.jpg","id":"m7c1n8qbtqzdfym","inbox":"https://mathstodon.xyz/users/PeterSmith/inbox","iri":"https://mathstodon.xyz/users/PeterSmith","isLocal":false,"last_fetched":"2025-12-19 09:32:34.034Z","outbox":"https://mathstodon.xyz/users/PeterSmith/outbox","preferred_username":"PeterSmith","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvocKHYCgcIt6s2MPGPxF\nE7bjzSQBt2nHNs3Z/FIwbWHppIuLR6MfNoOfJKituz62OuKSGVAMP0kGFsmmCDVf\nlY6v4xwRijo6p+J/3fOD9ySdj3pOEhOslT3ko/wK1FiMm6bTcqaeYx5ZNXTLMjBK\nvaQdZ3ERuoD7XVZvct4ksFmRaTy51dtmG7qCSj0V7zK1VETlP3YC2InRJipiGuVR\nQ1lw36L1qqpI+F7c0cSAx0nBzVVDQutnaZG4rWmYhJbTFiPc4Z77DuKOXLvXPwDQ\n5FqfXL/ltMok3DXYwPFRPUzlKo/q4ke4Gfe/Rc2tdISFrXUTO+RT0YC4reS7u/DK\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Cambridge logician, idling in retirement.

","updated":"2025-12-19 09:32:34.034Z","user":"","username":"Peter Smith"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-27 00:23:16.654Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":0,"icon":"","id":"qm4xcwzc487h0t8","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-12-19 09:32:34.073Z","outbox":"https://mathstodon.xyz/users/xenaproject/outbox","preferred_username":"xenaproject","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3vEz1vG/S4nmaHEDRAj5\nxrOnjS62RYb7L2m6wLh+TxRKee0LySGhyvKCZmzkxZrZ4IioR3td5/8Dtp9hk/+n\noKe71NtagnnE1oFscWjpNor4o2XgPRGuSaSt+K+WB02qw5uK3L8DYlXb7lY2QTmr\ngMNxq+rYGRVSHKkycnWS36c2cpXD88/LVz7XV6AjPxmyHpSc7avWZXvhAyo7dQ6U\nANft+2BUyo9l3a4C+Astja9yz3IoNy/Ixq/C4mEvaxBhJGqtByViM4agFbjXhjvt\n3VOHvwcI9gn38nHVgn83IMJLR9fBRzapWzAzff8G6loKrSqRHXn1s4MLvvPgMoQh\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Mathematician at Imperial College in London. Interested in number theory and theorem provers.

","updated":"2025-12-19 09:32:34.073Z","user":"","username":"Kevin Buzzard"}],"page":1,"perPage":10,"totalItems":458,"totalPages":46}

Pietro Monticone :verified:

Following