{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 07:26:03.971Z","domain":"mathstodon.xyz","followerCount":3615,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"7aiv92cxrb55zl5","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-17 01:27:50.105Z","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-17 01:27:50.106Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-14 21:35:23.048Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/JimPropp/followers","following":"https://mathstodon.xyz/users/JimPropp/following","followingCount":0,"icon":"","id":"m0q9ot7kttygk03","inbox":"https://mathstodon.xyz/users/JimPropp/inbox","iri":"https://mathstodon.xyz/users/JimPropp","isLocal":false,"last_fetched":"2025-12-17 01:27:50.130Z","outbox":"https://mathstodon.xyz/users/JimPropp/outbox","preferred_username":"JimPropp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxp6sS1JYky0h94emdoTN\no+XOk4fz7Lpw5qWMVwyPIqGAsM3NiwaY0St0kklYvWmlHhzS7n55kEISi/mabd5Q\nQX/26DWchYgNRhIkspjQ/UzQvJ/l4mzR9C2wd/NuYbpOu0cvXEtLT305txORhLIQ\nz3Dgw3IiX7x1kFCyKCHfUK5Yz6qY8leDKh+ppy/me9VVs1O4NpODzKegFlY2xn/y\nFfieMUx7JC61f1UATCG7e1JiKqwXX9iOGgxeE4ya0hFV9ax8Wx4iH8NOwocyuLzn\nGPAeDYr5zfaH7soDHtuUeWpP9aEYJDzUXVviU1qm4hSTVsPJ88KeR5Jd+HIj3bt3\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-09 00:00:00.000Z","summary":"","updated":"2025-12-17 01:27:50.130Z","user":"","username":"JimPropp"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 22:58:15.400Z","domain":"fosstodon.org","followerCount":377,"followers":"https://fosstodon.org/users/megjlow/followers","following":"https://fosstodon.org/users/megjlow/following","followingCount":518,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/412/294/920/264/890/original/3d9f2467675d831d.jpg","id":"57x2b5ks348647i","inbox":"https://fosstodon.org/users/megjlow/inbox","iri":"https://fosstodon.org/users/megjlow","isLocal":false,"last_fetched":"2025-12-17 01:27:50.175Z","outbox":"https://fosstodon.org/users/megjlow/outbox","preferred_username":"megjlow","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsdKVtDsbNWRIhlYDlbhk\nfu8pPKyte3ESIIqKY9P0265ol38sldNQO8+4SK/a+mHlI6t2Y9X6nPandZKWmLc5\nstwGD+XVptu09lEIksYxpo1qji4BPnSyjRo+pTKGh1psqedIojnGRplq4pHPCyHn\nCvNtFtkTrCAWlS6BZIgHtqoI54mbWJo1D7ZEXv+kSkxTsvo8hIKpwTYOWVRcl8jP\nJ9PCSBOGVV8iv+B1bOWHR3NnoC5/fGMNG41nbdQSNMv8VA0JcCdSKMEwfBFxNkm2\nRcP5SXsoJyhaqke8rZMYczHC41HVF9BhF4JjZjHOLec3PB39nVYps/B7JkMNse4m\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-26 00:00:00.000Z","summary":"

Engineering Outreach and Education at WMG, University of Warwick. I'm passionate about exploring and sharing creative activities in #STEM

All opinions are my own.
obsessive knitter (currently ganseys), reading, science, music.

#STEMeducation #TurtleStitch #WMGoutreach #UniOfWarwick #Engineering

","updated":"2025-12-17 01:27:50.175Z","user":"","username":"Margaret J. Low"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 01:36:58.421Z","domain":"mas.to","followerCount":10057,"followers":"https://mas.to/users/kityates/followers","following":"https://mas.to/users/kityates/following","followingCount":167,"icon":"https://media.mas.to/accounts/avatars/109/310/342/392/992/980/original/b1904d8df9f48fb3.jpg","id":"3zovpm94evt7plx","inbox":"https://mas.to/users/kityates/inbox","iri":"https://mas.to/users/kityates","isLocal":false,"last_fetched":"2025-12-17 01:27:50.199Z","outbox":"https://mas.to/users/kityates/outbox","preferred_username":"kityates","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9vuNjOaGbt9B8of0Fx8m\nuvkwHoV3Owhc8BuSD0wjOLT876/VlSop/E3xx13Vgve7uQXYIjbo1AqFOIa00tOS\nXY2YoaM1kLviXLKVS9qaoeGf1ceyXgxvSZsU84GeL4fyVaXE5fTcTxGTVRH3BMOH\nTaLeisBTuDeICuH8l8yw84PmW53dCV/A3r7dOdXtU4ckoW7NeAcEy8gKI+0jbnDB\n/CnN9wiHCq/rA9kUK5soqXUDFO2GXbYpUaAHQAHNcieFQPtqKMxdCJ4x/mE6tBfN\nh/aXw/wxfeX+nAcLwGRI1B0+dD3VcszNw/2lz3KiZKnFywrX1ncPBaBJDJex4lqD\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Author.

Prof of Math Bio and Public Engagement.

Member of Independent Sage since October 2020.

@Kit_Yates_Maths on twitter

Books -

Math(s) of Life and Death
How to Expect the Unexpected

Get them here: tinyurl.com/37rx2yuv

He/Him

","updated":"2025-12-17 01:27:50.200Z","user":"","username":"Kit Yates"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 07:26:03.864Z","domain":"mathstodon.xyz","followerCount":2041,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":114,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"877pe43r677f5pb","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-12-17 01:27:50.229Z","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-12-17 01:27:50.230Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 04:03:24.569Z","domain":"mathstodon.xyz","followerCount":1047,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"xvifvu5qcqx7v0h","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-12-17 01:27:50.254Z","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-17 01:27:50.254Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 23:04:57.145Z","domain":"mathstodon.xyz","followerCount":167,"followers":"https://mathstodon.xyz/users/dccmath/followers","following":"https://mathstodon.xyz/users/dccmath/following","followingCount":40,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/542/410/034/558/original/85dc2669d6063fe4.jpg","id":"75ohudix80og1zw","inbox":"https://mathstodon.xyz/users/dccmath/inbox","iri":"https://mathstodon.xyz/users/dccmath","isLocal":false,"last_fetched":"2025-12-17 01:27:50.280Z","outbox":"https://mathstodon.xyz/users/dccmath/outbox","preferred_username":"dccmath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9EoCcUo6V5eeJl/xrvdd\nCHk1tmlL0dRIqbtPj20C/VPMCWp3WS2oAObzxlnY+GBayywcKwZOtmsRWQSGkque\na9tlXrDBpGAov9DToLG92NxL6kVjjkLVfNZY815IYuVXPdGyAEb2QsZOKscaW7Qf\ngzlCkH5/nePtfHQT4JvN/KYE2S90eExShvPi/wtjKxz+Vdi74FHHBme9e6Lv5WbC\n2kRh6qsdv26bwlcP2macV0+LVR10BAsqGELmU/XpFHRhd720fWkiciU6aRTUv3UG\nvvRfp4KbyHKCJRwFLdPd0FnLo+7CgH9jTf59vRHMC8OGQuHFIaluchMbOo2uXXtB\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Mathematician at GVSU, but all views are my own. Alternative grading & assessment, active & inquiry-based learning, hiking, backpacking, games, gardening.

","updated":"2025-12-17 01:27:50.281Z","user":"","username":"David Clark"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 03:31:46.995Z","domain":"infosec.exchange","followerCount":88,"followers":"https://infosec.exchange/users/samcarter/followers","following":"https://infosec.exchange/users/samcarter/following","followingCount":86,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/115/061/382/477/555/623/original/b14066c64dc319ed.png","id":"3le633p4211wv3t","inbox":"https://infosec.exchange/users/samcarter/inbox","iri":"https://infosec.exchange/users/samcarter","isLocal":false,"last_fetched":"2025-12-17 01:27:50.324Z","outbox":"https://infosec.exchange/users/samcarter/outbox","preferred_username":"samcarter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtVVNIplrGcUVfNlNlBjC\nV8Jke0JNeUulebsB6LsDL9hayUchqKsXVvhlM+TfQwVNFK6aytvJTbOCBuPwiT7x\nCQNAgKb2ScyF4/ps217xtuSO1Jgfcf46k/3eu/nySqdKi493rmaEgNvUjvlquVoQ\neP3pHJgVb9iYqkYwTYGi+lelTqdFylEbH5U20ApHkqSP444yyfUXfV41Y91C7+qY\nACz1D0/utvc/RoC7ivR0Q4OIo5Y1hh7ZGixjfTSAGVsbMUy5+JEDi6EuhTh4UuKU\nxAqPUm0d5Z84x5vmLm2BpUcCgMYbwabTh8+MPq+cRkJoRWOyINm4CiSBH7g0j9hZ\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-20 00:00:00.000Z","summary":"","updated":"2025-12-17 01:27:50.325Z","user":"","username":"samcarter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 15:07:54.884Z","domain":"typo.social","followerCount":392,"followers":"https://typo.social/users/letterlibrary/followers","following":"https://typo.social/users/letterlibrary/following","followingCount":4,"icon":"https://typo.social/system/accounts/avatars/109/510/920/498/371/516/original/9eb8b4a223ad554f.png","id":"49xvrhi9w3ba51u","inbox":"https://typo.social/users/letterlibrary/inbox","iri":"https://typo.social/users/letterlibrary","isLocal":false,"last_fetched":"2025-12-17 01:27:50.365Z","outbox":"https://typo.social/users/letterlibrary/outbox","preferred_username":"letterlibrary","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr50O8LJEXhjq/hBoad+c\nXZTfXy3nKhweeZiGh2CaZ6HH+cSit4bxcoLmcXleQOOj8T6zz+UBqWNMwxqbexiL\nTGeT0rKEfNYk2DcIorSdFO1JDcGharbY6/JVcyFn6G1RJYFkR0DgSs0v8l0fKOtz\nnwwsS297lw3HHbeD+HtiRKKFpP6jnrxQZ6SBtcNI4xxqi9zDKb30XZ3vpBonboeZ\npnjaIzV6ow4YiELayVeOWqPdDyjjNRX8o5H3BJ47gPNXgYr5yQXHp2q4kuK7Dd/n\nTJceMptvIjaZwHhxQu2vOu7YpuIzDv4svy6qIixjpBESSWi48IDDifMObNa8rEju\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-14 00:00:00.000Z","summary":"

The type specimens of the world. A platform from the typography network of Schriftkontor Ralf Herrmann

","updated":"2025-12-17 01:27:50.366Z","user":"","username":"The Letter Library"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 12:13:49.383Z","domain":"mathstodon.xyz","followerCount":620,"followers":"https://mathstodon.xyz/users/MotivicKyle/followers","following":"https://mathstodon.xyz/users/MotivicKyle/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/287/262/original/f3be4737471a7fe5.jpeg","id":"jy878n3lhs101h9","inbox":"https://mathstodon.xyz/users/MotivicKyle/inbox","iri":"https://mathstodon.xyz/users/MotivicKyle","isLocal":false,"last_fetched":"2025-12-16 23:51:28.562Z","outbox":"https://mathstodon.xyz/users/MotivicKyle/outbox","preferred_username":"MotivicKyle","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyGjO2D6SvU/uG6knUqrj\nMNN3610t8FH2VIrhAp21cCoubUwrNkQMGfMD/8YOXn7NVMcCnyzVIWgmwt5K80nW\nlouNE5BOEgn2vN1b+E8Sh1gwDMYEjW+ysECz1X+icfpvCO+OozZ8J/z9yMroT155\nIU6BGgeXv8eB/tC7hXEysCiyRzlt5bKecBPVvDLXxfZFcZkK2UPf5hWUsajV5cvf\ntktdIdt5IubC14wGNLmGrK+yGNtBgabzxMrE4FsEVNMo9i31xm3/3k26g2RpQA5A\nrUldpL4lbNhgLptoNMMB2kcP8LxxWP5k2NQYIaFPBespFefArnf8OKjNWioxxZYu\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.

","updated":"2025-12-16 23:51:28.562Z","user":"","username":"χle Ormsby"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 01:06:04.146Z","domain":"mathstodon.xyz","followerCount":1434,"followers":"https://mathstodon.xyz/users/robinhouston/followers","following":"https://mathstodon.xyz/users/robinhouston/following","followingCount":379,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/132/739/246/229/143/original/47477125549a073f.jpeg","id":"gaonkos519rpj9r","inbox":"https://mathstodon.xyz/users/robinhouston/inbox","iri":"https://mathstodon.xyz/users/robinhouston","isLocal":false,"last_fetched":"2025-12-17 01:01:40.151Z","outbox":"https://mathstodon.xyz/users/robinhouston/outbox","preferred_username":"robinhouston","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArvzNKXSMJTWrX3ct5fSI\nQsvhmzeQDxSd9pMwIhnY1VHRQUjehVkouTmaO+fzGdWVFhinSioC+8R4KD+UUbVA\n5a+vSHbVrp6bJs1bdbifsFu9EU3H+ewgHLXkrCLs3wUXoPK8xU3+nXFdUrRf0G3X\nRCmppzR0hX7XHEgSWfUK4QieCTY1TatR3SXeunMyU9Rs4S7j/JpX03hswJPbuvU6\nF5vY3YoaZRyuaaPKIqLLIyr9BPuNVzhzMsY8BGEFZy8B4ZOSlpBmh7DEx9HhjnGB\nSYlpypKO8F2Tllc+qZACTJqCDk77cfo5JRDQO8D42Ep6g4yA9gaxcbngOcrSPStj\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-08 00:00:00.000Z","summary":"

Watching for the card that is so high and wild I’ll never need to deal another

","updated":"2025-12-17 01:01:40.152Z","user":"","username":"robinhouston"}],"page":1,"perPage":10,"totalItems":404,"totalPages":41}

Andrew Stacey (he/him)

Following