{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-19 11:27:07.558Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/sidgadgil/followers","following":"https://mathstodon.xyz/users/sidgadgil/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/381/328/159/416/471/original/1e2853b9820918da.jpg","id":"cu64pg9l1ggaja7","inbox":"https://mathstodon.xyz/users/sidgadgil/inbox","iri":"https://mathstodon.xyz/users/sidgadgil","isLocal":false,"last_fetched":"2026-04-19 11:27:07.557Z","outbox":"https://mathstodon.xyz/users/sidgadgil/outbox","preferred_username":"sidgadgil","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyNCVJ3lKX60d5MD86Uxo\nP+pZT1Je9nVVQn/jHwQ8B0Dvk+yex7UpZyJXBHEOz8N2ilsoDqmWrbWNVMoS6dZJ\n2b2n8sLTLupzC3aau1LbXbxCAHFr+uhLG+YFsD4Mw6IsvmeGwn3wsfwEnk0irhte\nZEbv9npzTqLT5JD7zyslatowCu2hK0+ISSwJIoqqYJk+1d0ww28cBu+T5MEP7eis\nFDICsp2ye0d1+bcRk+uGXNaptNbKQFFrJECvYDQeWdn4XmrBUBbTVvXGtFDAOTs6\nYU/kEznpMYFogC5FLl8wvJOvv1FmfvKwlh3Nk9tGrlLtCrNKKTbt/ODPZ/ENgnAY\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Mathematician at the Indian institute of science though mostly try Automating Theorem Proving these days. Original field Geometric Topology. http://math.iisc.ac.in/~gadgil/

","updated":"2026-04-19 11:27:07.558Z","user":"","username":"Siddhartha Gadgil"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 17:08:30.136Z","domain":"mastodon.online","followerCount":647,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":96,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"l30qqvsl5n8lpks","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2026-04-19 11:27:07.665Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2026-04-19 11:27:07.666Z","user":"","username":"Joachim Breitner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-11 22:05:31.165Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ejgallego/followers","following":"https://mathstodon.xyz/users/ejgallego/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/822/122/473/842/114/original/db69728b5874dc37.jpg","id":"sxa1zxjdmp4weka","inbox":"https://mathstodon.xyz/users/ejgallego/inbox","iri":"https://mathstodon.xyz/users/ejgallego","isLocal":false,"last_fetched":"2026-04-19 11:27:07.705Z","outbox":"https://mathstodon.xyz/users/ejgallego/outbox","preferred_username":"ejgallego","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxpUDtNP0mhvfqFHPl+Gg\nzo8cLN9w8HbyVeSL9USY9jMDn20utv/wESw4yXUjsrRHoGJM+fG8VNFoBiu+dNbB\nJYGIG2wZGWoUk64BFno5ogz1GrDDv+BAJWrDCCVYlCNCKFIVlj+ZTGBrwPPbHk/N\nVZ5LSykgKUAZSgNOW5D5TPlR9mtngkPIDWhIUqT6zxMdD4imZOegFq0uY4A/9hzA\n6P/5VL0gz49d0pj4jxGMmBGL9DbbHEDonrkOPWXfGNWRjKoiObYmn+ZLUaZUojCj\ncaoyhns/2tExjzZuH7uiBXpfcFA2WnVIMo3Cmp317KasUEhwJB7dAPCcIMlbk5gP\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-13 00:00:00.000Z","summary":"

Research Engineer @ Lean FRO.

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

","updated":"2026-04-19 11:27:07.705Z","user":"","username":"Emilio J. Gallego Arias"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:10:04.429Z","domain":"mastoxiv.page","followerCount":158,"followers":"https://mastoxiv.page/users/arXiv_mathCT_bot/followers","following":"https://mastoxiv.page/users/arXiv_mathCT_bot/following","followingCount":0,"icon":"https://wsb.hostdon.ne.jp/sgm129/accounts/avatars/109/595/602/636/269/763/original/35ec28fe82d458c1.jpg","id":"dsl0t0rfdk0m4ty","inbox":"https://mastoxiv.page/users/arXiv_mathCT_bot/inbox","iri":"https://mastoxiv.page/users/arXiv_mathCT_bot","isLocal":false,"last_fetched":"2026-04-19 11:27:08.650Z","outbox":"https://mastoxiv.page/users/arXiv_mathCT_bot/outbox","preferred_username":"arXiv_mathCT_bot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0P7hxZMxiA6r8rPFOaQJ\ncLX/9+vAnzo3aK4hRGCMEkejeGVJKHRLzk9YOBsjnkX7VzjOB83pf++a9G4JeWvD\nHio5EZqOnBvxNpWcLAoyWdF8vquZApkvpbQg3Ci+pM2ldQcHLSX25vgc1Y5VkJs5\nCiXf2aPjLJlNvTOLd5or06aSjqf8+lV90VoL79Xv7pKRSiQQzt0rYgwTIGxTDjRD\ne2wQo2J+sk0lrQq/nodPRZZ74V7xbYRoNWa4siuB7f+MHRUUIGjS9hmMQefs7/U2\n2ImpkzZ8yPyjZg1vyqTMOkLTdYDyVBkaWbl1/keaFHYIecfOln0Ms0H5McAq5SnT\nzQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

Mathematics - Category Theory https://arxiv.org/list/math.CT/new Not affiliated with arXiv. Run by @vela with https://github.com/so-okada/toXiv

Other bots: https://mastoxiv.page/@vela/109642387563304551
You can filter by the keyword toXiv_bot_toot to hide all toXiv bot toots.
#arXiv #Mathematics #CategoryTheory

text-search: https://tootfinder.ch

","updated":"2026-04-19 11:27:08.651Z","user":"","username":"arXiv math.CT bot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-11 05:00:53.426Z","domain":"mathstodon.xyz","followerCount":13,"followers":"https://mathstodon.xyz/users/seewoo5/followers","following":"https://mathstodon.xyz/users/seewoo5/following","followingCount":14,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/858/980/641/642/976/original/0a89086a37e4a5a1.png","id":"fbh5ow8m3hkb8h9","inbox":"https://mathstodon.xyz/users/seewoo5/inbox","iri":"https://mathstodon.xyz/users/seewoo5","isLocal":false,"last_fetched":"2026-04-19 10:44:50.112Z","outbox":"https://mathstodon.xyz/users/seewoo5/outbox","preferred_username":"seewoo5","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvd911a20ndKbD6osBB/T\ngaxKLeEGElFgRxpYMqBWifwBD1QTiwx43CepY/Ry+wGX3Nv/yJ6b68vBNV7AObI5\ngUF1nfQDkAfnHyTi3NnKgiJ/9rCJVvr/8JBjk84Gts2mK8dtNXhVYoJL5uRS1V8q\nO+mi7AymqoX1Ar0HWzg/7tpp9SaA4pOUwdn3tTn3wI9HuZjoXa/tzbgJzerS7fwc\nTYnzovubP8cBZqBnsRHbBhX6rcjNN3ey/ER+FBVw0x6WcLyG4sExVC0pqX9QIIuG\nnsq8tnUiMysGEZcOVrzrkPHi1xYBVTekCqy8VwS6DOnnxXw3ZOZp7FGGV5NXmxDq\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-13 00:00:00.000Z","summary":"

seewoo5.github.io

","updated":"2026-04-19 10:44:50.112Z","user":"","username":"seewoo5"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 09:48:19.791Z","domain":"mathstodon.xyz","followerCount":1274,"followers":"https://mathstodon.xyz/users/EuroMathSoc/followers","following":"https://mathstodon.xyz/users/EuroMathSoc/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/324/870/668/416/643/original/0fe245f0a47ebf6d.jpg","id":"dx281sr6lsj40oz","inbox":"https://mathstodon.xyz/users/EuroMathSoc/inbox","iri":"https://mathstodon.xyz/users/EuroMathSoc","isLocal":false,"last_fetched":"2026-04-19 11:27:08.693Z","outbox":"https://mathstodon.xyz/users/EuroMathSoc/outbox","preferred_username":"EuroMathSoc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt0DzxRovDzcXAFO03C/E\nrkieYX72/ApIhNnTVs6aMNGZbBQKVcaaBIhdJzxnpr37pTpqezqdt894UujqFXoC\nGXWZTRESUWuPJcDAWt1LrK0liaoUAdh9Z5iQdiywPfQYoEgfBGQesFd+dmBQxCt5\nqO7glI4rGI71myn7ftXzc3pPYWt9j73Nuc+XvAw+BpANUC5D1FAFOsH0jG2qkEJB\n9sdUQCRS9H8xdG6ZAmTje1HWL7qfeoHFEXNFsk5lvqgaTo2gFcHaOVCTQnwOuVOo\nZH9TdhGbrCpnmlt6JBHrkqlnooXhbcHcQwe1UHOo14gcQrvEjAKDMQf+euT28HHN\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

The Learned Society for Mathematicians from/in Europe

","updated":"2026-04-19 11:27:08.693Z","user":"","username":"European Mathematical Society"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 16:44:29.115Z","domain":"social.wub.site","followerCount":222,"followers":"https://social.wub.site/users/david/followers","following":"https://social.wub.site/users/david/following","followingCount":173,"icon":"https://files.socialwub.site/accounts/avatars/109/543/987/502/527/421/original/e74e14a4809540ab.png","id":"2q6qu252bczchf4","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2026-04-19 11:27:09.327Z","outbox":"https://social.wub.site/users/david/outbox","preferred_username":"david","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq3LgnQ8DtQRBBIBwP4xT\nhCcVQr5EVdOeRRdWsi8hNP1JZ0v2w20e3kIjcjMfokms98xXkXmp91OPc3BbIyYu\nK25ynJyWDJZfLykQP6FFTKOlAKvm6kDU8mP/ZUC+8HUdmAFL2ISndp6thZYNMr4A\nF7ruyxXsv57SuYuL/bN67JkDLnl/FgrIE2oyPZE2HPO/Fwt5Z3Q0VUJk4FSzEuq4\nO4HnLQY82EBbqx7z+TfzgeZ4bWjtM8cC2jsqNFny6TpaGRr/ZCQ3e8dFqiX82gVy\n40jxXZWF7ypQJvxTPAql8XX4gIb6H140nXQIMKsGYZxaEGIdm3c5G9iq354kw8Ku\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Pittsburgh, PA, USA

• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust

","updated":"2026-04-19 11:27:09.328Z","user":"","username":"David Renshaw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 18:19:59.405Z","domain":"mathstodon.xyz","followerCount":1146,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"dbzl4tzxmiduf57","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2026-04-19 11:20:34.785Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2026-04-19 11:20:34.786Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 15:56:15.032Z","domain":"mathstodon.xyz","followerCount":1148,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"yp5auejjc2ookzj","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2026-04-19 10:21:33.832Z","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":"2026-04-19 10:21:33.833Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 21:00:48.658Z","domain":"mathstodon.xyz","followerCount":2435,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1840,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"163eug87qyunx9e","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2026-04-19 10:23:16.558Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2026-04-19 10:23:16.558Z","user":"","username":"⏚ Antoine Chambert-Loir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 11:11:05.387Z","domain":"mathstodon.xyz","followerCount":22021,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"1bgppgc2hjbo18o","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-04-19 10:25:05.240Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2026-04-19 10:25:05.241Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

Sidharth Hariharan

Following