{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-21 03:44:09.596Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Twisol/followers","following":"https://mathstodon.xyz/users/Twisol/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/005/078/original/b2e823412c87886a.png","id":"tohcmh8n01xti18","inbox":"https://mathstodon.xyz/users/Twisol/inbox","iri":"https://mathstodon.xyz/users/Twisol","isLocal":false,"last_fetched":"2025-08-21 03:44:09.595Z","outbox":"https://mathstodon.xyz/users/Twisol/outbox","preferred_username":"Twisol","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz/vUwq77szxl4bTiEqqc\njM99ECMjGr7tOnBf/QKe80Bo00NHdlx9MHGUVxc1xd1lW7bpfMd6HE7p5Cubx88I\n9jJs8jiLLPuFcyu56j7sBkioxx+wn08wzHHUtZyNw29KlU1wMzeKdYMnPxggJG0I\n9yfe4ZcacKsXVZuNjPfucP9SFl5Ya8IAKZWgvFmhVOOtdr9cMvxj2c6uPH8/eHtK\nS5c7llp6joYb2/TRoW8MImZkdEwfo8cwp8TR3OwKGDVnyM43k+A2+CmCE+CEkwZz\ndzGZKIhmzCXyLBQgNciUWSjTgVpvu0xcNHKIzGKSOi5ueM01SxfLpiP7uRYvS3Rp\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"

Ph.D. student in Computer Science at UC Santa Cruz, emphasis on concurrency, logic, and programming languages. Am/was @Twisol on Twitter. https://jonathan.com/

","updated":"2025-08-21 03:44:09.596Z","user":"","username":"Jonathan Castello"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 04:55:05.755Z","domain":"mathstodon.xyz","followerCount":543,"followers":"https://mathstodon.xyz/users/d_christiansen/followers","following":"https://mathstodon.xyz/users/d_christiansen/following","followingCount":166,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/637/193/257/788/original/45f143a216909f75.png","id":"z933g859xugtyzi","inbox":"https://mathstodon.xyz/users/d_christiansen/inbox","iri":"https://mathstodon.xyz/users/d_christiansen","isLocal":false,"last_fetched":"2025-08-21 03:44:09.912Z","outbox":"https://mathstodon.xyz/users/d_christiansen/outbox","preferred_username":"d_christiansen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0RoV61liT9+HHoPSTDe5\nHqkQvgJmMeI7UZcBWRxSioXqIupg9AWNLOnQEJsCtv0VgwUEZMC/rCciEEZYEUP+\nXg8/IPyW1MXZTNKYbvxq/5dfoqLszV/iKWTy1piO5CWDXmAByF8wt1yWIAmLj439\n3nRzF/71NlhBrix3hC7+z5zZrZsrc/6Y3nLSpw2Q0KQWVjg9Ym00KYzg7ltOD/tE\nMG9YuZbC8MsqNacTR3ucJWcBtKFNkujg+C2F83CMKVlOPL4LATRdioEGXrfnpN1b\nPwEV1mVzMcRqFer/UfgZI3f06CvU2BWWWyCUmqO8FajGCduNQQvoVkKckX5053TC\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"","updated":"2025-08-21 03:44:09.912Z","user":"","username":"David Thrane Christiansen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 13:04:51.086Z","domain":"mstdn.social","followerCount":321,"followers":"https://mstdn.social/users/plragde/followers","following":"https://mstdn.social/users/plragde/following","followingCount":124,"icon":"https://media.mstdn.social/accounts/avatars/109/285/882/987/363/196/original/6f43578a92b4d3a5.jpeg","id":"z5dq453anjvxi31","inbox":"https://mstdn.social/users/plragde/inbox","iri":"https://mstdn.social/users/plragde","isLocal":false,"last_fetched":"2025-08-21 03:44:10.107Z","outbox":"https://mstdn.social/users/plragde/outbox","preferred_username":"plragde","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvsBNIYDfa4mrnbL1NAd4\nbqvxDtnK9OO6irPfh5MhlFJuaJN1TTnwh4BE+XT7YQNyYb5iggWOK23OSXyiz+lC\npDVdY1cpIAvcm4gO9vfTZjOfWQWtFqJegKDWBP4VKx9ojW9pwzCOvAOfXUzr5JzK\nTeOYcgHpUYZOtJ8d7obHSBoAm3hviewCXNaM4NFB4Zvv6zVLbIOZDZLzOiCX3e/2\nEbLkLpmaFbIEUy41gl6gvXrP9agqCeF8hYktU20l9vEB/siXq43ZTvrEFwEICOqq\nTt3Pg+GD7KO/YTe7JYZXrdAO5Y4g4zlaGareMBYqXn9htFoS8VRdFjsVzKLGO6lw\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Food, wine, music, books, film, art, architecture, travel, feminism, and functional programming.

","updated":"2025-08-21 03:44:10.107Z","user":"","username":"Prabhakar Ragde"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 02:06:29.601Z","domain":"mathstodon.xyz","followerCount":1720,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":468,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"1elm63oa3q4n604","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-21 03:44:10.264Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-08-21 03:44:10.264Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 15:06:54.520Z","domain":"mathstodon.xyz","followerCount":3467,"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":"1z3w6zuq9r04601","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-08-21 03:44:10.855Z","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.

","updated":"2025-08-21 03:44:10.855Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 16:04:46.230Z","domain":"mathstodon.xyz","followerCount":19060,"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":"q1p4440b198o8n0","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-08-21 03:44:11.492Z","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-08-21 03:44:11.492Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Spencer C.

Following