{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 11:36:37.409Z","domain":"mathstodon.xyz","followerCount":111,"followers":"https://mathstodon.xyz/users/varkor/followers","following":"https://mathstodon.xyz/users/varkor/following","followingCount":55,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/265/350/860/474/178/original/69157115ed1aa3b0.png","id":"u6dexki7fbf3v1o","inbox":"https://mathstodon.xyz/users/varkor/inbox","iri":"https://mathstodon.xyz/users/varkor","isLocal":false,"last_fetched":"2025-10-20 13:49:53.413Z","outbox":"https://mathstodon.xyz/users/varkor/outbox","preferred_username":"varkor","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzXAuhOSbs3oYwj4HAja6\nbvSpghZQihzMr6zZOFFUhfUPkPGWvPnms9NBtCbZeF6FWSp21BfdgpWHcH/YKCNu\naPXbi0o5r8jBiaxAQiiBYy2ReygyLsAxoo205gK2S+h6ceqYe0GYtckDmNMYvd7b\naiyv7Vp6QDrg41tLlOo+jrVLFad8mUa/IUapwRh9Mg8DSrSDD0E08pnNsl8HzJHR\nZlfUyAjx0E1xFBfgRvDPKt6RIfrLCVt+OxncHiRY0EQLmBBf87BOv4Z+LBJv93ru\nSCfdLEXZxNHa9AXimv05+f76EmUM2gD/c7+PFpvj73ww7fjgaw7FFLPxWRRf0RbM\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.

","updated":"2025-10-20 13:49:53.414Z","user":"","username":"varkor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 23:56:17.083Z","domain":"mathstodon.xyz","followerCount":1838,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":501,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"w3x6bl4u79u4110","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-10-20 13:49:53.960Z","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-10-20 13:49:53.960Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 17:43:46.552Z","domain":"mathstodon.xyz","followerCount":100,"followers":"https://mathstodon.xyz/users/chrisheunen/followers","following":"https://mathstodon.xyz/users/chrisheunen/following","followingCount":26,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/573/250/754/960/440/original/8bcc284ce7e3e7c0.jpg","id":"2bcas1di71ouvso","inbox":"https://mathstodon.xyz/users/chrisheunen/inbox","iri":"https://mathstodon.xyz/users/chrisheunen","isLocal":false,"last_fetched":"2025-10-20 13:49:54.000Z","outbox":"https://mathstodon.xyz/users/chrisheunen/outbox","preferred_username":"chrisheunen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyslc9Vho6EeqgqxSh+/f\nZthnQ6nKDrvlXgSfgtzc2LgJ3bfqU4h6c4o++GYY5JzqvYX5v2AQFAJ0mD6WrYX4\nHojvyYRsjyIilzdELm87CPI77L5qMEzwl0t7F12kvkCEDnFeLKhzir/LBTN/rxJr\n2btFnu7lewVLWDtMqRLXab8Q0wx52VsCFNIFZv7MBdCNpfUTCLcfNFzokRYPg2jD\nxdstNiCERRO/C3mxPnL3HJok3LN6mfIOci+kqqen0pYGDZXu5du40J8kPjoqN7A+\nfA+ON6MwEMLrNgfLcR1vaMkZwN0fUJXJ5jp8NDJPeko6mY64idzhkbYC4FvVyvnF\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-25 00:00:00.000Z","summary":"

Computer scientist, mathematician, father, karateka, pianist

","updated":"2025-10-20 13:49:54.001Z","user":"","username":"Chris Heunen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 18:38:10.433Z","domain":"mathstodon.xyz","followerCount":2004,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"wcee3hip0r37f1b","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-10-20 13:49:54.041Z","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-10-20 13:49:54.041Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 05:27:43.370Z","domain":"mathstodon.xyz","followerCount":83,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":65,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"5x99tniuh7r09ri","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-10-20 13:49:54.079Z","outbox":"https://mathstodon.xyz/users/lambdabetaeta/outbox","preferred_username":"lambdabetaeta","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx5Y33avhS99qyWVzYxGd\n9nclJp0IsLwDLiQjQLYbyluJC6NCiMnfrexOid/Tbx1A/OaLI7tlONSMZwc0Q+bH\nPh2jz4oL9c8REoZ57Gy7uvQCnY79mmA2rxsqgQ0cwZRVTlaGASjZf1hlrpRAvRpF\nWTBR8M3lWECRkJH61zRvqOVQ+FpgqN7zdaEscWA+kIeWAw6UD1gpL4rAIjXnjIQF\nZ917n5ybDPirEzWDZ0f2e5seXEzmEweSuLAdMmC7EbLHbUUS3pulaQiwVJlkZ2Nq\ngqj9INKqP1Z9qyCuty8v0HBC4TV7UDylPQyGQ2GMO6k5Y0NnNN97eQcawY8N3sy7\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-28 00:00:00.000Z","summary":"

computer scientist (moonlighting as category theorist). lecturer at Bristol U

","updated":"2025-10-20 13:49:54.079Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 12:18:34.707Z","domain":"mathstodon.xyz","followerCount":3529,"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":"498k60sidw36ohu","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-10-20 13:49:54.285Z","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-10-20 13:49:54.285Z","user":"","username":"Martin Escardo"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Max Lin

Following