{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-24 01:15:56.467Z","domain":"mastodon.social","followerCount":791,"followers":"https://mastodon.social/users/rrwilliams/followers","following":"https://mastodon.social/users/rrwilliams/following","followingCount":133,"icon":"https://files.mastodon.social/accounts/avatars/109/254/361/200/715/617/original/356de3235148ba0a.jpeg","id":"800xkwt8d30m8r7","inbox":"https://mastodon.social/users/rrwilliams/inbox","iri":"https://mastodon.social/users/rrwilliams","isLocal":false,"last_fetched":"2025-12-20 15:22:13.658Z","outbox":"https://mastodon.social/users/rrwilliams/outbox","preferred_username":"rrwilliams","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyJUrJz7PVLzea9NzuKJr\n1xieJPj74TPfJj5M/ctlrebL+ulAIhAbRRAOrIykxS4h9bkO9CYSTbf39D7o9YuE\nG2XL6TvfqOV4wX6xBuvTroUGfb6ufklJxifNw/BHGxPua7Zdykj5/q5ZpJcFuT7F\nyx0Ay94aBhF9M/MQ29Ta0p/adWJrlqjntWrGGf/HxqeotfOYrepqjf10OpMhEyK+\nOsj1YEBIh6Vh7Z6H6bZ3kIKhVn2BVnmYZSd+5NZfIsJRvnBDwH5kben7RNw9S5OI\n9TVcHATgzwul33nbOcA/AcaLSUa2TfK15UIqxFT8/+sul2gOjTflCfSnxUMeMvM2\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

professor of EECS at MIT, currently visiting IAS. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)

","updated":"2025-12-20 15:22:13.658Z","user":"","username":"Ryan Williams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 19:22:56.183Z","domain":"mathstodon.xyz","followerCount":3540,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"g0bn8uqy6xn94ed","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-20 15:22:13.850Z","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-20 15:22:13.850Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 17:55:29.068Z","domain":"mathstodon.xyz","followerCount":63,"followers":"https://mathstodon.xyz/users/gconstantinides/followers","following":"https://mathstodon.xyz/users/gconstantinides/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/174/215/483/622/338/original/9342bf977286199a.png","id":"05tr1ejgsz3qgoc","inbox":"https://mathstodon.xyz/users/gconstantinides/inbox","iri":"https://mathstodon.xyz/users/gconstantinides","isLocal":false,"last_fetched":"2025-12-20 15:22:13.886Z","outbox":"https://mathstodon.xyz/users/gconstantinides/outbox","preferred_username":"gconstantinides","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArv5JWgvnb1owHJ//qleF\n3adb3LlQwgxVhlEBZrtsTDnoO5D2zLck9A1bxG7lKki8xAvIR+83vr+5PZHbbAw2\nRKyouaY3tWjaqgIE8gs7dFq3voaWiN1AS02b7vRw5qLOOeNZrPutHQ5tJU9d5B6q\nLrY+Xpm6wBprc5xaPHG0IP7URv6Ks02tk9sHiFg0/egJTRSbq8gvkdCEViBFxenR\nMFFAnHElAdV3/L6PqKWhh5J0APdSunWQDGEsLSPiNdLt6ofJSD4+Bt74l4WNG6bC\n4uqsXy82hUPEjAvk0fqRa3RWhqhZYUunz9E+OlNX1hIZ2P4LAa5YM4nHV5XSBJCl\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-10 00:00:00.000Z","summary":"

Prof of Digital Computation at Imperial College. Director, Early Career Researcher Institute. Vice Chair Imperial College Maths School. Views own. Blog at http://constantinides.net

","updated":"2025-12-20 15:22:13.887Z","user":"","username":"George Constantinides"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-30 01:10:46.171Z","domain":"mathstodon.xyz","followerCount":1345,"followers":"https://mathstodon.xyz/users/phonner/followers","following":"https://mathstodon.xyz/users/phonner/following","followingCount":328,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/002/727/original/501540cdcec9709d.jpg","id":"beeyzarfekzcf0k","inbox":"https://mathstodon.xyz/users/phonner/inbox","iri":"https://mathstodon.xyz/users/phonner","isLocal":false,"last_fetched":"2025-12-20 15:22:13.927Z","outbox":"https://mathstodon.xyz/users/phonner/outbox","preferred_username":"phonner","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtmQuPYoo8VlDaconiPIe\nhIshIMxSYVZtn/Ku45stlrSDfZHiZgx+aBH+fF1t6aottns5Ij6aMb9oijr22K+1\niOqHQ41AXoSVCccTFj6tMnDgMtziePOdocGKThUNPaE/YLbzCm11uFUrYgSFgY9D\noh4QwT3RcOkMiJ7UPwnI3OYM+KIodtXUtHMt9YIJChArpCCmemxI0zZJTpb4ZfPz\n/pDBrhrp+HTf+/x5TBEaZB92FR0WR5j0XJ9fgqPZ4i2sTc+8nA6N62vogfea1Cti\n8b9zunfyBxFHj2YFjhIWM2BbPZw5ToaVVzbSqkP5EDOqKON89oNsuYSZxkEnzRlf\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-09 00:00:00.000Z","summary":"

Math teacher, instructional coach, author (Painless Statistics), columnist (Quanta Magazine).

","updated":"2025-12-20 15:22:13.927Z","user":"","username":"Patrick Honner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 22:49:47.230Z","domain":"mathstodon.xyz","followerCount":20538,"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":"t093w6ukevq5a2z","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-12-20 13:35:50.302Z","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-20 13:35:50.302Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Stepan Vanzuriak

Following