{"items":[{"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-11-27 06:18:27.449Z","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-11-27 06:18:27.449Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-15 16:45:47.622Z","domain":"mathstodon.xyz","followerCount":176,"followers":"https://mathstodon.xyz/users/ijk/followers","following":"https://mathstodon.xyz/users/ijk/following","followingCount":201,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/839/485/968/083/399/original/3cedea3d5d7b15fd.jpg","id":"nb156i7lk16dlt3","inbox":"https://mathstodon.xyz/users/ijk/inbox","iri":"https://mathstodon.xyz/users/ijk","isLocal":false,"last_fetched":"2025-11-27 06:18:27.482Z","outbox":"https://mathstodon.xyz/users/ijk/outbox","preferred_username":"ijk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyTo2FTRumga6+K5+qXWr\nUHXH3HC4pJfDMJEy5xnq9NgSUhkQt2abrYWY1whFySuGXc80UqTQwx+gX+BOp/7N\nWrPzk2PoQF6UmqqBAQc2lbkUSDajlVYBxxqpwrXWyMhAKCDrUIK9newMDaZemWwb\nR1o93qCg6ogLPY4gGkR0EoyGa2OngcIXnCVNVHXM9TXTsTud0S6P7dEzWGYoLovt\n+8Jrmm1oz52ux5c0cIHZbmkhQguX1+3Xy8z6OFJvD9I3IIPiDPX29zFSTLyMTcSh\nD2nMgpP0VBjgfn8g+xu3mvDw8bb9VhoQ8VuGV2Mv8Y5m0z0X/NboZSkLmwqI4wGh\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-05 00:00:00.000Z","summary":"

MMath graduate, enjoying a respite from academia.

Main interests are general relativity and its generalisations. General mathematical interests include differential geometry, analysis of PDEs, analysis broadly, combinatorial game theory, model theory, and cryptography.

#BiInSci
#ActuallyAutistic
#SocialismOrBarbarism
#TransRightsAreHumanRights
#FromTheRiverToTheSea

","updated":"2025-11-27 06:18:27.482Z","user":"","username":"Izzy Killeen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-27 06:18:27.517Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/albcercide/followers","following":"https://mathstodon.xyz/users/albcercide/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/332/536/854/822/085/original/f499c80ab987dc3d.jpg","id":"b2n0ycb7mht613f","inbox":"https://mathstodon.xyz/users/albcercide/inbox","iri":"https://mathstodon.xyz/users/albcercide","isLocal":false,"last_fetched":"2025-11-27 06:18:27.517Z","outbox":"https://mathstodon.xyz/users/albcercide/outbox","preferred_username":"albcercide","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqTjpo59eDWnkYfCNy1cG\nmEXdovTUAV47y+c0tSLczpWOFOnPZp+yAuUYR1zHZu2hehxizcJJkoLpTKcoPj7y\n16mkCkZiAzVPklkyXdsgLq2JEvfiTpEZ0+q45UyX76/InjULljkvKUkWI3z0R6TN\nfqdKJa0VSjBNWKBoyFuvg4oO2wFqMLT5BsuIYM2Tll/eB4FPsxtSLQ0ruNjEVuQI\ny17AxvKnU0GcpMgflA1ejTaeha4/kXnwg7LPu87TOw5hf9aHEC6MXnvy/v7AUeKo\nhrYVbTjP7tq/ue7Y1O3kgCrNzrHpN8nJKdSHDrmthLmatj4RQsRv4/bIMQhouGJM\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

PhD student in differential geometry

","updated":"2025-11-27 06:18:27.517Z","user":"","username":"Alberto"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-22 01:23:47.831Z","domain":"mathstodon.xyz","followerCount":77,"followers":"https://mathstodon.xyz/users/vtucek/followers","following":"https://mathstodon.xyz/users/vtucek/following","followingCount":128,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/324/604/513/418/283/original/b42a75866844bbfd.png","id":"2nmqjgrpk5tanmn","inbox":"https://mathstodon.xyz/users/vtucek/inbox","iri":"https://mathstodon.xyz/users/vtucek","isLocal":false,"last_fetched":"2025-11-27 06:18:27.551Z","outbox":"https://mathstodon.xyz/users/vtucek/outbox","preferred_username":"vtucek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5x9j9WlVV0mhkWWveSIB\nxVqzdiqH/tudqzubAII8Do89I+rigsFMmZ6bQEYZgIrMOfQXqYpT94h5/ruoBeeO\nQdjcy/lD8tKlXKeMEbaL2R+Mf8MpzmxGqzQzWJdVbHwlJ3LIwGoDrc+MnsIYFyD4\n3/0FO/kSUIAR6OyhPlAzL/VXs0V4T9jYxdfnh1uoWn/8RD9O+DJZhDIQIZ7QAV2C\nuVbwZOlLTalUR2yS92g8qAUdMSE5rUsxsZUam410RFFtYBQVabJrj+59XI6h2kNB\nxD/SBjApgPO2z7lhjngUYWAZ54//qLLk7Tqju+O9Uiv/RR76hbmzM7ZIxd3X9U2U\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

representation theory, differential geometry, machine learning, python...

formerly at https://twitter.com/vit_tucek
occasionally still active at https://mathoverflow.net/users/6818/v%c3%adt-tu%c4%8dek

","updated":"2025-11-27 06:18:27.551Z","user":"","username":"Vít Tuček"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-02 09:35:57.555Z","domain":"mathstodon.xyz","followerCount":114,"followers":"https://mathstodon.xyz/users/pschwahn/followers","following":"https://mathstodon.xyz/users/pschwahn/following","followingCount":97,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/770/677/475/271/847/original/fbf2251d60044440.png","id":"bnvn6m4enlid807","inbox":"https://mathstodon.xyz/users/pschwahn/inbox","iri":"https://mathstodon.xyz/users/pschwahn","isLocal":false,"last_fetched":"2025-11-27 06:18:27.586Z","outbox":"https://mathstodon.xyz/users/pschwahn/outbox","preferred_username":"pschwahn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzLh8jck4xiUpAS8TILsE\nWcnmX4FNXfBsD83DYZjJPQkpra5dFRAHxiyMwAIGsoUXtqB/L0J5fIkrW6E82EHi\nnzUjT+qvmCgS+spgq6jKxAaM/S24hKp8DAuNE1UbwVxKI8GhxtQCC3UWqMLZD3Pg\nS/LBCIkrYHxR2WNze9TOycVQ4GU+T/whtIc3TYS9I8oteaf5lQpaMzQHqwEFywxh\nYGUmXkR9eIfZSPVMi0xW74UXc7OpQrzmrKULSNsABNtcCzM1Gn7imShByb6ffj7N\n81m6OUDyvIZyVGV4FGFDdey0agbQAm8pBj5kWbjIRHiNuHpOvBJwaVf+2/hZx1cn\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Sometimes I do differential geometry.

","updated":"2025-11-27 06:18:27.586Z","user":"","username":"Paul Schwahn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 13:30:01.903Z","domain":"mathstodon.xyz","followerCount":20130,"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":"vc4q04m1za5ls60","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-11-27 04:54:58.056Z","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":"2025-11-27 04:54:58.057Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

jl

Following