{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-21 15:13:05.676Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/ap/users/116107166506564004/followers","following":"https://mastodon.social/ap/users/116107166506564004/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/116/107/166/506/564/004/original/134597d88db43fe0.png","id":"mhdr4fwjzd8br6n","inbox":"https://mastodon.social/ap/users/116107166506564004/inbox","iri":"https://mastodon.social/ap/users/116107166506564004","isLocal":false,"last_fetched":"2026-02-21 15:13:05.676Z","outbox":"https://mastodon.social/ap/users/116107166506564004/outbox","preferred_username":"theqofms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArcksvb6kV5tJhClbhoDW\nUEdMmflrzjt0ggqEfgLVmjm2y+Z1HoKsbJXn07tzcjth7xoyLACPXYthbJEQISd6\n4srkmHT/4wo+mnCnjjvkNnwED6aFLnqYAuK8DeCpSQqWZC87GWgVMl2uxzGDIePl\ndoALby+oIn5Y+QGmy/GKcB/y3gABmTUylN8fWQOzzngxu1mY3NBRDGNPZCSLeXyx\nirgBcmkjXY5YsFznXDUKfUjFgu4UiOLJRcfY3z7tyuTji63+9T5ZrTybTELbLzsQ\nrugU6BS3HrZmFusGQqK7LjsRWBMD47OX8YhB7bzip7f2o1K4ytlq4Nfj6jUug8jj\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-02-21 00:00:00.000Z","summary":"","updated":"2026-02-21 15:13:05.676Z","user":"","username":"the queen of mixed signals"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-02 06:37:04.346Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/ejgallego/followers","following":"https://mathstodon.xyz/users/ejgallego/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/822/122/473/842/114/original/db69728b5874dc37.jpg","id":"bejsp9o5p59kys2","inbox":"https://mathstodon.xyz/users/ejgallego/inbox","iri":"https://mathstodon.xyz/users/ejgallego","isLocal":false,"last_fetched":"2026-02-21 13:33:05.780Z","outbox":"https://mathstodon.xyz/users/ejgallego/outbox","preferred_username":"ejgallego","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxpUDtNP0mhvfqFHPl+Gg\nzo8cLN9w8HbyVeSL9USY9jMDn20utv/wESw4yXUjsrRHoGJM+fG8VNFoBiu+dNbB\nJYGIG2wZGWoUk64BFno5ogz1GrDDv+BAJWrDCCVYlCNCKFIVlj+ZTGBrwPPbHk/N\nVZ5LSykgKUAZSgNOW5D5TPlR9mtngkPIDWhIUqT6zxMdD4imZOegFq0uY4A/9hzA\n6P/5VL0gz49d0pj4jxGMmBGL9DbbHEDonrkOPWXfGNWRjKoiObYmn+ZLUaZUojCj\ncaoyhns/2tExjzZuH7uiBXpfcFA2WnVIMo3Cmp317KasUEhwJB7dAPCcIMlbk5gP\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-13 00:00:00.000Z","summary":"

Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

","updated":"2026-02-21 13:33:05.780Z","user":"","username":"Emilio J. Gallego Arias"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 23:17:29.672Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/joseph314/followers","following":"https://mathstodon.xyz/users/joseph314/following","followingCount":55,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/020/002/403/317/736/original/ebf4e67d3b2c61c1.png","id":"l3lheiaxrho87w4","inbox":"https://mathstodon.xyz/users/joseph314/inbox","iri":"https://mathstodon.xyz/users/joseph314","isLocal":false,"last_fetched":"2026-02-21 15:13:05.718Z","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-02-21 15:13:05.718Z","user":"","username":"Joseph"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 18:14:37.638Z","domain":"mathstodon.xyz","followerCount":1,"followers":"https://mathstodon.xyz/users/athousandwords/followers","following":"https://mathstodon.xyz/users/athousandwords/following","followingCount":37,"icon":"","id":"wv1qgcquegu6p80","inbox":"https://mathstodon.xyz/users/athousandwords/inbox","iri":"https://mathstodon.xyz/users/athousandwords","isLocal":false,"last_fetched":"2026-02-21 15:13:05.746Z","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-02-21 15:13:05.746Z","user":"","username":"athousandwords"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-10 01:28:02.746Z","domain":"mathstodon.xyz","followerCount":11,"followers":"https://mathstodon.xyz/users/ghostrights/followers","following":"https://mathstodon.xyz/users/ghostrights/following","followingCount":17,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/898/256/377/581/054/original/35492233d03bceb8.png","id":"d6hp2zxdc98ol1q","inbox":"https://mathstodon.xyz/users/ghostrights/inbox","iri":"https://mathstodon.xyz/users/ghostrights","isLocal":false,"last_fetched":"2026-02-21 15:13:05.777Z","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-02-21 15:13:05.777Z","user":"","username":"Caspar Popova"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-08 18:43:10.316Z","domain":"mathstodon.xyz","followerCount":7,"followers":"https://mathstodon.xyz/ap/users/115670091130085270/followers","following":"https://mathstodon.xyz/ap/users/115670091130085270/following","followingCount":9,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/670/091/130/085/270/original/f07e1dc73a1f1f7a.jpeg","id":"q8u64ziflhk0spc","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2026-02-21 15:13:05.804Z","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-02-21 15:13:05.805Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-11 10:43:14.954Z","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":"wr6mpsq2r1iaf63","inbox":"https://ruby.social/users/castlehoney/inbox","iri":"https://ruby.social/users/castlehoney","isLocal":false,"last_fetched":"2026-02-21 15:13:06.510Z","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-02-21 15:13:06.510Z","user":"","username":"Seong-Heon Jung (정성헌)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-30 10:58:04.726Z","domain":"lipn.info","followerCount":274,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":114,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"r581hv8nds14yw6","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-02-21 14:35:19.932Z","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-02-21 14:35:19.933Z","user":"","username":"Meven Lennon-Bertrand"}],"page":1,"perPage":10,"totalItems":280,"totalPages":28}

markusde, ZF-∅ believer

Following