{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 22:09:34.100Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/joseph314/followers","following":"https://mathstodon.xyz/users/joseph314/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/020/002/403/317/736/original/ebf4e67d3b2c61c1.png","id":"438r7nb0tkwnogz","inbox":"https://mathstodon.xyz/users/joseph314/inbox","iri":"https://mathstodon.xyz/users/joseph314","isLocal":false,"last_fetched":"2026-01-28 16:07:11.959Z","outbox":"https://mathstodon.xyz/users/joseph314/outbox","preferred_username":"joseph314","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn+YvtQTfB3mQfkEi3buf\nEgKGTD5PgMdr3yQSA/RkjCEHBABAjD04m3ITo+G42i6YtkYW7yU/JIXL+XChbQQ/\nPCHe89Fy6faoEonUnLgZT2+fe2RtHM06frz0/g617uqdIrU1noRSAEILrNJIUZUd\nfNIgRnyRe5+e9hWTcqQEiJMGOdcSpFa5eNz6Ymm7sJrr169DS1FgarYFs0sMnarv\nrp/Q5l5Y49y5IuqhBG+rYs7veX21qh+0hoKJvhcA/7AIlMU+lE/zSMVtkc95ZhhT\n5tvCzZm3JSqjSlzc/ltVMvRgh2x9V0YYAPWrIIu1A3C4InyUFzWGcnFIjEvNWiS7\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-17 00:00:00.000Z","summary":"

I'm here for the math.

","updated":"2026-01-28 16:07:11.959Z","user":"","username":"Joseph"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 12:22:17.648Z","domain":"mathstodon.xyz","followerCount":1,"followers":"https://mathstodon.xyz/users/athousandwords/followers","following":"https://mathstodon.xyz/users/athousandwords/following","followingCount":37,"icon":"","id":"y9v0cjorvk8nbq2","inbox":"https://mathstodon.xyz/users/athousandwords/inbox","iri":"https://mathstodon.xyz/users/athousandwords","isLocal":false,"last_fetched":"2026-01-28 16:07:12.099Z","outbox":"https://mathstodon.xyz/users/athousandwords/outbox","preferred_username":"athousandwords","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAllW709DLqCiFqzM/opHk\nrb7VrQjekmRVHpNUn8pb65kD3U2kl+bCsOMUBERPV5eV5a+F1npHnD9NCXKje/2O\nOls1VVpI3EtRa/YImVCiHxNht6hYj1BFRBbJ/BGTHBMLjnIiOSlJGVL9WhtbHT1o\nTyPe+CWHSjtsdiFQGPlJF1rL3nVejg1DyCIurCgA2aE+7xHTaln6hCYUydeowhDI\nbjfzTIzi/1N+S5uQOc/AtjKUpv2Br+OmgcfuA4H+arCRXTAfjji6nhcQpludGo1r\n4Eo9T+aTdb2J62v7H7gntF5tzxhgnFyJ6tDiw0hZsOJr0ALoO4DnAFS/l+YvTVab\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-19 00:00:00.000Z","summary":"","updated":"2026-01-28 16:07:12.099Z","user":"","username":"athousandwords"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 16:07:12.239Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ghostrights/followers","following":"https://mathstodon.xyz/users/ghostrights/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/898/256/377/581/054/original/35492233d03bceb8.png","id":"olxo233bfp4fa01","inbox":"https://mathstodon.xyz/users/ghostrights/inbox","iri":"https://mathstodon.xyz/users/ghostrights","isLocal":false,"last_fetched":"2026-01-28 16:07:12.239Z","outbox":"https://mathstodon.xyz/users/ghostrights/outbox","preferred_username":"ghostrights","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqP4Y/FOpGiqA9UsmpN1N\n2zoHVhLhpXskUX1lQyfvtkqyO0BrrzfAb1rdmwu89ywkdU2I9DS3NUX47TQEQNKH\ncE5/RvQfsJDDpdljglcVPwoqwKGr2tKyyDIynhgxzUutsD426e6D8hbdyzSOxHqP\nmehKPjBoN3VQeNiSOgEaPAHp0PZwar/NZDKwLHS+yOjjbQ7gUFBYREEDnQwzMR1d\ntuUCDXJTp0xHX6MZAZMQUuHEk+JocfCCkpETICKea5P/salvEHpzGM7aZ0S4q0Ed\nhdtBE3fN59jJyK2aaPyZmuLp73GZIcWN9y89WqyDDPciPHg2hxJmb8s5/yTX/8c7\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-27 00:00:00.000Z","summary":"

CS PhD student @ UMD (part of PLUM). previously at Epic, Northwestern University
https://cjpopova.github.io/

","updated":"2026-01-28 16:07:12.239Z","user":"","username":"Caspar Popova"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 16:07:12.378Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/ap/users/115670091130085270/followers","following":"https://mathstodon.xyz/ap/users/115670091130085270/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/670/091/130/085/270/original/f07e1dc73a1f1f7a.jpeg","id":"0b7a9snex4qml17","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2026-01-28 16:07:12.377Z","outbox":"https://mathstodon.xyz/ap/users/115670091130085270/outbox","preferred_username":"u8cat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArl/L1wNz0V3zHee6G4o8\n+e/HPzBOrmwOJmb44PeuajgXTDdcY6LrCY93gTZh+HJoXRuZj0LhfpAqqg6OZvYj\n7LcF5/jo640QaViI1LSesYuPfNgPc9zimheeSWLfTf+fig+JOSozRMniumofAbZn\ndBcZCvXaq3jkTGlJUKj1T/7akjCA7Vt5rXTPlHTvLffXoWCSPSYzYYJVOL3DtPFC\nofCQizxLwcVU1CN1ATTMfNuYoYNuNUxOwFzzlyqg4sCKnOJICNF6LPr7kdq0wkeE\nYpwf0D69AzrpDPOYi+SUQymEYCme5FQbHBOuRjeN3zhhEZk8IjZ+eOqsHOp4IX58\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-06 00:00:00.000Z","summary":"

A CS PhD student working on formal methods

","updated":"2026-01-28 16:07:12.378Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 20:39:58.721Z","domain":"ruby.social","followerCount":36,"followers":"https://ruby.social/users/castlehoney/followers","following":"https://ruby.social/users/castlehoney/following","followingCount":46,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/110/816/205/209/691/601/original/ed0b6b317a1c32e0.jpg","id":"ebdp0b8oybvuujc","inbox":"https://ruby.social/users/castlehoney/inbox","iri":"https://ruby.social/users/castlehoney","isLocal":false,"last_fetched":"2026-01-28 16:07:13.720Z","outbox":"https://ruby.social/users/castlehoney/outbox","preferred_username":"castlehoney","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAynn8j9ISd4En21zID4Ny\n3iEjXiAsRj42BOHj14tO8t81k5QxRSGPRkJc6ff3sz+daoN9f90ae29tHRBT12oe\njmuCFgMKeITmWv//43LVvvDy7OJUIK3/UJB01hEbZW9mnq7NKLNV5gVwbgNLrgQD\nU1srZMyT9IhBC1zfhDGKEayRyP3s2HmJZ0ul8PSDAmOEcDcHUW9HjLNgFQzb6D+d\nOfF7Od81K7LmTWGL9cXwu0pOsre57ttSpz6IOIHFsqGutR+/D4oj7J1p6/p8o6ni\nbKIl9FhqSPSpwAIU6u7sHlzrKMCye5YH+/up1JzA/4CQlYPjTaxdcCfLfGhvAAe2\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-01 00:00:00.000Z","summary":"","updated":"2026-01-28 16:07:13.720Z","user":"","username":"Seong-Heon Jung (정성헌)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 16:07:14.278Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"6pjioo5ros9mvtb","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-01-28 16:07:14.277Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

","updated":"2026-01-28 16:07:14.277Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 14:01:29.333Z","domain":"discuss.systems","followerCount":39,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":65,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"y974nusj4gezge5","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2026-01-28 16:07:15.463Z","outbox":"https://discuss.systems/users/amoine/outbox","preferred_username":"amoine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl8Z8QEQl+2h81j1+d8uZ\n9tBBe32W7Q/6+M4rLitcd2f8MADDBe3jgvW6olMN1fG1kEiEKPLHmHz6Gnxpp1GZ\nVRq7XEbEO5X2pDbWAvtRm99ZGqCsdmmMRPqJOYvlbmiTmibTd8CHmQWPaSIDZGmG\nzeY9Zsmlk6Y2U8zzlk0MEJxAoGkMY5ZSNR1LZ/vwouK66uO5Mk4EpsFLLqancXUB\nZuS7Mo51dXUAwWhepIot6H01gSiDUYRypEIC2FAN+7MGGrpjMGFQm/yp9kuqZEHG\nqaiAPQ/9s/vU/ghO/Tlc0JC5q1HTBRP00mm/0O0jswprBJyaT1vikBXozdQHcGE/\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-05 00:00:00.000Z","summary":"

Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.

","updated":"2026-01-28 16:07:15.464Z","user":"","username":"Alexandre Moine"}],"page":1,"perPage":10,"totalItems":270,"totalPages":27}

markusde, ZF-∅ believer

Following