{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 02:41:10.106Z","domain":"mathstodon.xyz","followerCount":93,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":73,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"rsn7i749oi9tbhf","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-12-18 06:37:23.233Z","outbox":"https://mathstodon.xyz/users/pamorim/outbox","preferred_username":"pamorim","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1muxgXT2cZclsGkzuia1\nfrERi9LL03awfkc6TEdpKysf+mto5WSsGSz96e2HQFKMlb0JIzwH+w/I1GyaWHE8\nxTBuWmr75TzUloaoNvU0g26CPKZTTao/4CqMcmFtEhaBbar8ig2BsNwlMHhb8OEU\nF7AcmeD3S0xs2vq6q80Qp96qlRr8uCxpxF5JF7eV5Nlv34BDYC6p3IOw5LQsQGop\ndWNO/bPlR03XcCsWI2CZxpzQwMpT2+gG877wczgZzQWlxuMh6q+s2xSR7boygHyc\nL+d1PCGHjyNxsZawrOSX+99Ggnoexza0AIf5NODaqysL1JSRYIIoTp5nZcSknIB2\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-21 00:00:00.000Z","summary":"

","updated":"2025-12-18 06:37:23.233Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 09:33:35.516Z","domain":"mathstodon.xyz","followerCount":6,"followers":"https://mathstodon.xyz/ap/users/115670091130085270/followers","following":"https://mathstodon.xyz/ap/users/115670091130085270/following","followingCount":10,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/670/091/130/085/270/original/f07e1dc73a1f1f7a.jpeg","id":"w3878p3gl7e04qn","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2025-12-18 06:37:23.262Z","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":"2025-12-18 06:37:23.263Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-10 00:20:00.824Z","domain":"mamot.fr","followerCount":0,"followers":"https://mamot.fr/users/gallais/followers","following":"https://mamot.fr/users/gallais/following","followingCount":0,"icon":"https://static.mamot.fr/accounts/avatars/000/001/190/original/9eaa91c94697f7e4.png","id":"a7sy9q90qz07v90","inbox":"https://mamot.fr/users/gallais/inbox","iri":"https://mamot.fr/users/gallais","isLocal":false,"last_fetched":"2025-12-18 06:37:23.356Z","outbox":"https://mamot.fr/users/gallais/outbox","preferred_username":"gallais","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm5EAiYZOGNi+QsqJfXN7\nRvoq4qtBh0gvQ7uX4jbumjNwngtsBjrvyw9SJ4r/jKnY7eokexiXycTjNNbMF0te\numEFlyIhURB57BJ/5lVrXdt+I089G6FUksrieTuLzVsgpGvkhh6ILJ7hGpJPx2IM\nNqN56v4i0mlTDe1hamf/uWSBucLKwo7qWVc3iBcOewKm3ef9EHdeKEUQOARH07+v\ne8USXPDuSnqDXvdRx9tss7ihTCplIkn5nFf+l1dtNRxYQ5ItsZdziMY4CRWbB3Xl\nEVSjVjwmvMN6PKeKiwHS8ENjkoladbkilOrQvro9WzjqxnkafiKPkCdQeSNI8eu8\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-06 00:00:00.000Z","summary":"

Lecturer in CS
#Idris 2 dev, all my toots are proven correct

","updated":"2025-12-18 06:37:23.356Z","user":"","username":"G. Allais"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 09:33:36.457Z","domain":"ruby.social","followerCount":32,"followers":"https://ruby.social/users/castlehoney/followers","following":"https://ruby.social/users/castlehoney/following","followingCount":42,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/110/816/205/209/691/601/original/ed0b6b317a1c32e0.jpg","id":"s1s70oa6o33q43t","inbox":"https://ruby.social/users/castlehoney/inbox","iri":"https://ruby.social/users/castlehoney","isLocal":false,"last_fetched":"2025-12-18 06:37:23.460Z","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":"2025-12-18 06:37:23.460Z","user":"","username":"Seong-Heon Jung (정성헌)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-07 09:02:08.796Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"64bu11m3ws08wlo","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-12-18 06:37:23.493Z","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-12-18 06:37:23.494Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-10 16:50:48.979Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"0bap7n9ksd144r1","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-12-18 06:37:23.820Z","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":"2025-12-18 06:37:23.821Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 06:37:23.861Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/paulo/followers","following":"https://mathstodon.xyz/users/paulo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/271/175/535/354/193/original/f62c5767240feb5b.png","id":"0wzlo8a44kdvy53","inbox":"https://mathstodon.xyz/users/paulo/inbox","iri":"https://mathstodon.xyz/users/paulo","isLocal":false,"last_fetched":"2025-12-18 06:37:23.860Z","outbox":"https://mathstodon.xyz/users/paulo/outbox","preferred_username":"paulo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3f0QfY91SA22GfHpKf23\n+f+CM8wcR5GdHDXPtjAZE1dASKwXoQx9IU+1mnIbNTijRBUxOADySNYk3FmWhbed\n8W3Bjlkzh9okFpQ/KkzjtP1udnDGVGDF5N90BomELktQ7wrSedgh69DrvlusvxqJ\nwm86CZZmx/nObNA9ZzUmgrVf5Db/sU7zAKgeunWzrFyM9/A9DbteejKkzSu1ncte\nxu379ojSUagvDxOLYuoSF9C95n9Qd1yNqN3xECkxqm2NaYdZRlkvPkT4jJIT6AFC\naRKkFx9RRGEwfJaDPIOsKhA7Liajn04ToNw5pq1+4cNoUl3Dz67fPICt76vHqZef\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-26 00:00:00.000Z","summary":"

"No matter what your dream is, you have to dedicate yourself entirely to it" - Senna

","updated":"2025-12-18 06:37:23.861Z","user":"","username":"Paulo de Vilhena"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 06:37:23.896Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"q7k7243634o6527","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-12-18 06:37:23.895Z","outbox":"https://mathstodon.xyz/users/shinghin/outbox","preferred_username":"shinghin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwJSPd6AyeWfP8UJiVYRX\nAuRR1fYsKRbK+/my7F/nqb4qC1kA2Nc30AzHn2IFAqqEeK/TriLaY0BnNRdtanbc\nxrm4IAzM1R1wOKIfsZl2/gSrJzcr/XCBwjThMnRoKdzQd2YV2C94C6qOylxMZMN5\nnysHTMiSudCzwTh1dd47yOPhXQrYOyWKYEIFNY8fWAvILvN0R0z1nDTqguowcjyv\nX7rTGFoqMe7XFHy1ig/v8hqCtZW4s64Se5hupwEihmCrB989ghY/nYb/PJqpibt1\n8TrGkJ6LRiM1wDVksaiGfCgcdcxDYCGroA/XtWBNlTxtiR9mt+W8BIknIhtPYXc9\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-11 00:00:00.000Z","summary":"

PhD student interested in logic and programming languages

","updated":"2025-12-18 06:37:23.896Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 02:30:39.736Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":0,"icon":"","id":"e367no7k8i46c0q","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2025-12-18 06:37:23.929Z","outbox":"https://mathstodon.xyz/users/ohad/outbox","preferred_username":"ohad","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArjMhAQbCW/Jblx8lt0wa\n8lz/ZN7+gV1GnJD7kSQdiha3AvhJQqom59ebn0doPCyBPSTJx5Nb5dYUKTBxiMGQ\n6CPsdStx77HSfLh2hD/RsseW+pFSreuYVeIx7jcfbZptGNdS1mw5tZcvZ7DzSCHU\nHFyNKLvvTMRgmyl986gExTB6GXp+v3pap2pqOXiPswicUKrHhsTaSFZ2xiISsmFB\nGGC4piu3fBXTzdtUo5PGcZcWuEb32mJK9H8jXqfITY8CibLkr9dPtlKzkoDXIChy\nizy+8Dlm9t77j20u8dRsECY6We+meVxwtxsZLEKu3L9J+DNRlLqqSrhZQEj3+s07\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-12-18 06:37:23.930Z","user":"","username":"ohad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-10 03:30:05.214Z","domain":"mathstodon.xyz","followerCount":35,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"nw04v361auh8qbk","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-12-18 06:37:23.965Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2025-12-18 06:37:23.967Z","user":"","username":"ahuoguo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 10:23:23.349Z","domain":"mathstodon.xyz","followerCount":44,"followers":"https://mathstodon.xyz/users/dif/followers","following":"https://mathstodon.xyz/users/dif/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/185/047/530/052/732/original/3b91e8fe37b2efda.jpg","id":"w6qjfz377d6s901","inbox":"https://mathstodon.xyz/users/dif/inbox","iri":"https://mathstodon.xyz/users/dif","isLocal":false,"last_fetched":"2025-12-18 06:37:24.002Z","outbox":"https://mathstodon.xyz/users/dif/outbox","preferred_username":"dif","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxAdacLL4496B2zd/z060\nzeC89zz7gNwqIawGbFu/2EZd9Q/yyve28y0gEfCtgPiw3A0KKxdzfa72L4TfVs1v\nPDRcTCFPaBU6QgVHFUbvCYnn7m+pG/QyD0QWZ7mp9YV2Jz1RAgEh0uwPVgnwJsaT\nHkVvSQQXgVNgnYZ1scy0u/RxE5DHUKJiA9fE+uVw4TrEtWzNbxZL7jHbnYvtfBe8\nGVFKD/zrWrSLway7PJHlNskM86Xxj8ZGek1HMFDt9U9TM9YQn3CziIYEw5EIurDd\nZz4ae7Sb+O3VNVG4z/ggwvpUibGRKSUYMab8GgU75oNfs1cufd2uu6LsikUQyjG4\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-11 00:00:00.000Z","summary":"

logic-adjacent

","updated":"2025-12-18 06:37:24.004Z","user":"","username":"Dan Frumin"}],"page":1,"perPage":10,"totalItems":26,"totalPages":3}

Simon Oddershede Gregersen

Following