{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 21:37:42.697Z","domain":"mathstodon.xyz","followerCount":3633,"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":"n43501nogjvr4qb","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-22 21:14:06.655Z","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-22 21:14:06.656Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 07:49:17.774Z","domain":"mathstodon.xyz","followerCount":297,"followers":"https://mathstodon.xyz/users/JimPropp/followers","following":"https://mathstodon.xyz/users/JimPropp/following","followingCount":10,"icon":"","id":"scotludit54gds4","inbox":"https://mathstodon.xyz/users/JimPropp/inbox","iri":"https://mathstodon.xyz/users/JimPropp","isLocal":false,"last_fetched":"2025-12-22 21:14:06.687Z","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-22 21:14:06.687Z","user":"","username":"JimPropp"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 00:02:57.264Z","domain":"fosstodon.org","followerCount":379,"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":"87oz84a36470923","inbox":"https://fosstodon.org/users/megjlow/inbox","iri":"https://fosstodon.org/users/megjlow","isLocal":false,"last_fetched":"2025-12-22 21:14:06.732Z","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-22 21:14:06.732Z","user":"","username":"Margaret J. Low"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 08:54:56.745Z","domain":"mas.to","followerCount":10062,"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":"45622hu2b7440u5","inbox":"https://mas.to/users/kityates/inbox","iri":"https://mas.to/users/kityates","isLocal":false,"last_fetched":"2025-12-22 21:14:06.786Z","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-22 21:14:06.786Z","user":"","username":"Kit Yates"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 13:28:32.436Z","domain":"mathstodon.xyz","followerCount":2037,"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":"cb69nqlx1191k17","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-12-22 21:14:06.820Z","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-22 21:14:06.821Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 13:28:32.608Z","domain":"mathstodon.xyz","followerCount":1045,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"or75k4t0nsy66xu","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-12-22 21:14:06.852Z","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-22 21:14:06.853Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 21:14:06.887Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dccmath/followers","following":"https://mathstodon.xyz/users/dccmath/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/542/410/034/558/original/85dc2669d6063fe4.jpg","id":"u87hwxwsbt591py","inbox":"https://mathstodon.xyz/users/dccmath/inbox","iri":"https://mathstodon.xyz/users/dccmath","isLocal":false,"last_fetched":"2025-12-22 21:14:06.885Z","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-22 21:14:06.887Z","user":"","username":"David Clark"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 16:47:52.951Z","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":"r8poexv02030v12","inbox":"https://infosec.exchange/users/samcarter/inbox","iri":"https://infosec.exchange/users/samcarter","isLocal":false,"last_fetched":"2025-12-22 20:49:55.040Z","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-22 20:49:55.041Z","user":"","username":"samcarter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 15:47:26.461Z","domain":"typo.social","followerCount":398,"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":"6ivf4igkl6s0b1i","inbox":"https://typo.social/users/letterlibrary/inbox","iri":"https://typo.social/users/letterlibrary","isLocal":false,"last_fetched":"2025-12-22 21:14:07.035Z","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-22 21:14:07.036Z","user":"","username":"The Letter Library"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 02:19:51.107Z","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":"07mi6ush6wo1n4a","inbox":"https://mathstodon.xyz/users/MotivicKyle/inbox","iri":"https://mathstodon.xyz/users/MotivicKyle","isLocal":false,"last_fetched":"2025-12-22 21:14:07.069Z","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-22 21:14:07.070Z","user":"","username":"χle Ormsby"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 03:58:55.208Z","domain":"mathstodon.xyz","followerCount":1448,"followers":"https://mathstodon.xyz/users/robinhouston/followers","following":"https://mathstodon.xyz/users/robinhouston/following","followingCount":382,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/132/739/246/229/143/original/47477125549a073f.jpeg","id":"4b424g2a9xcn5gn","inbox":"https://mathstodon.xyz/users/robinhouston/inbox","iri":"https://mathstodon.xyz/users/robinhouston","isLocal":false,"last_fetched":"2025-12-22 20:42:32.752Z","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-22 20:42:32.753Z","user":"","username":"robinhouston"}],"page":1,"perPage":10,"totalItems":404,"totalPages":41}

Andrew Stacey (he/him)

Following