{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 00:51:43.231Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"d2172l2yu2eq5ol","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-12-19 03:51:57.445Z","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-12-19 03:51:57.446Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 04:00:07.966Z","domain":"mastodon.social","followerCount":178,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":154,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/06e3527e2d4e2811.jpeg","id":"q12u2v18387ttlw","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2025-12-19 05:02:22.854Z","outbox":"https://mastodon.social/users/xanovsky/outbox","preferred_username":"xanovsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwWvDBLPpeG+i/YJ7Q3QJ\nZjAbVprpsiTX+K+DYK4amI1aZJUnt2BM+vX83N6gz2VQORX/l6F+I0ecGNk6miBn\nTJGTxf+4vGvVntME3J5ANGpd5X729/j/YJuhe7S7cIIC9oMcSQ+ppvYkDS+keHhK\nhzu/Oxc0ECpmt6oER29BcqPui+mBBSfyK8owCAOQbxYxlMhjVlhKwdeBqVRlcTxO\nDyAE7R0pK1NIuKIM+U1u0Qed7PTTM8Vs91MJ7nC/euoICsUtP0FS/kPVbY13ncI0\nUlLOlw66uoNjV6U3/Aeva8yFNgPFzwui8gfA6wbatMdXH+F8TYAueA5ntCZzyBCO\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"

Mom, foodie, traveller, computer scientist

","updated":"2025-12-19 05:02:22.856Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 00:08:27.216Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/gutenberg_org/followers","following":"https://mastodon.social/users/gutenberg_org/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/441/535/131/897/219/original/0ddf9d4dd12a5dee.png","id":"d55qkjic7v2gh46","inbox":"https://mastodon.social/users/gutenberg_org/inbox","iri":"https://mastodon.social/users/gutenberg_org","isLocal":false,"last_fetched":"2025-12-19 05:02:23.015Z","outbox":"https://mastodon.social/users/gutenberg_org/outbox","preferred_username":"gutenberg_org","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6GpHsg3G7GofMq1U4qUl\nTLXFwKhSBGbj9+7b3/293tBVBBJEKae1I3jNiUVJjClRzkdrpg2BuEnPrLopMv6T\nN3AbTUK04d44LQvNruBxcqLZD5Xjohx2bvzXG0Gl8Onj3ctDX4lBQ65ymcZmxJWY\n5radLNTuW/n6UArp4Ast002TYqoskRpwl0mNjYNrkF11Pm953QMBPjp4N6n9njne\nVB4Z23t5ux4FT0C79P3TcB260hFMnaOmQb96fze6qIuq2Y2EmElkRPxAsNKhJ3mR\nXFPo7UlgNZda09sewjiFh7ZhIEHYeB+0532IfZY4QvCeBlB9De4ZLRe8B8vpBsaz\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-27 00:00:00.000Z","summary":"

Project Gutenberg, founded in 1971, is the oldest producer and distributor of free ebooks.

For more information, visit our website at:
www.gutenberg.org

","updated":"2025-12-19 05:02:23.016Z","user":"","username":"Project Gutenberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 11:54:40.899Z","domain":"mathstodon.xyz","followerCount":3612,"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":"4z17c9l841824p8","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-19 05:02:23.049Z","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 05:02:23.050Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-07 11:16:09.323Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"cjaq58b7044q2a2","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-12-19 05:00:57.817Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-12-19 05:00:57.818Z","user":"","username":"Talia Ringer"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Radu Grigore

Following