{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 03:34:38.126Z","domain":"functional.cafe","followerCount":660,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":175,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"7rqv745jxji41aj","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2026-05-10 10:42:07.471Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2026-05-10 10:42:07.471Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 18:55:21.278Z","domain":"mastodon.social","followerCount":702,"followers":"https://mastodon.social/users/m33x/followers","following":"https://mastodon.social/users/m33x/following","followingCount":1230,"icon":"https://files.mastodon.social/accounts/avatars/108/280/232/464/985/411/original/f8864e3786204b6a.png","id":"ygblzp51cwnjkaf","inbox":"https://mastodon.social/users/m33x/inbox","iri":"https://mastodon.social/users/m33x","isLocal":false,"last_fetched":"2026-05-10 10:42:07.651Z","outbox":"https://mastodon.social/users/m33x/outbox","preferred_username":"m33x","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7L3NNbBcxPExH36Lwedz\nN1v6P2gRhsq35ggDy5sh0P1BG8yZ1wvosakbJ+UZ6t8suA2vopVK8VXs2ugIIt/A\nRPo7LWihsIHuyapHh9qlZlaugnz2ROQRBRbNABKLGsYd5gWRJEiYrEWTQeOsQR9C\nz2o+Ul1OFdzBrsgQaB2Q9tHHlgkc7upAlU16FYOsFp54ZzQ/3i5/ce8j8ulVrP6p\n1OgsdWpel4ZqXQGp7tnBzX5aTza2K3fx74VYR7tqQvyjMOMUPoLKRXMsiaP+j8rC\nfGya7bP7ZIegLLqkBLXLz5jgB5FiCk6gPHgmbomgBgWyYiTyYLKaQhTsXfy78pjS\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-10 00:00:00.000Z","summary":"

🧑‍🔬 Researcher @CISPA Helmholtz Center for Information Security ❤️ Usable Security and Privacy 🔑 Passwords and User Authentication 🕵️ Transparency and Privacy Controls

","updated":"2026-05-10 10:42:07.652Z","user":"","username":"Maximilian Golla"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-03 21:08:54.660Z","domain":"mathstodon.xyz","followerCount":3,"followers":"https://mathstodon.xyz/users/screen/followers","following":"https://mathstodon.xyz/users/screen/following","followingCount":8,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/146/683/841/314/087/original/e3bff5b11b99b80d.png","id":"dda1h3olobr1qva","inbox":"https://mathstodon.xyz/users/screen/inbox","iri":"https://mathstodon.xyz/users/screen","isLocal":false,"last_fetched":"2026-05-10 10:42:07.688Z","outbox":"https://mathstodon.xyz/users/screen/outbox","preferred_username":"screen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2EnNobfMplz1aNz78UEQ\n9PkbbyZht4k6IiuOgEQ2oBRtrEqKt4rgKXrCCczIdyUXVSIGmiVUOyFQMlhQ/zWi\nIDrHDPWnbNKCD9EsdPo/eD1VyMtrM2NRxjGOyj2ErD9YGyb7tlkSbv03ubnpfWM0\nsjpxX2MuIr5cJP27ov2dSE1k+Skx86rUwwFENAZ9yHgS+xUbwjCK2KsvuzN9frTJ\n+29bjUqppw5uYiTDFmpYBegYbQwup6D0/WicHfhE2xXYOu3u09sRzdMnK0ECKUNT\nM9QBuashLv7aDdkvzXCRTM3BEEFtToP48S/C6MC+KoYRTakNDz3cw7/xyKf0ptfY\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-12 00:00:00.000Z","summary":"","updated":"2026-05-10 10:42:07.688Z","user":"","username":"puming"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-24 03:11:49.217Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/ap/users/116111496394663417/followers","following":"https://mathstodon.xyz/ap/users/116111496394663417/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/116/111/496/394/663/417/original/ee3525083650d17b.jpg","id":"e17if8oxree2sli","inbox":"https://mathstodon.xyz/ap/users/116111496394663417/inbox","iri":"https://mathstodon.xyz/ap/users/116111496394663417","isLocal":false,"last_fetched":"2026-05-10 10:42:07.728Z","outbox":"https://mathstodon.xyz/ap/users/116111496394663417/outbox","preferred_username":"jhostert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqZ8qAVC6Y559LSIhsNKi\ngkhGDpgdCoG31rDs8IzEVMJu9PgizKSa0ZL/a1+Y2jMxTNyIqS77KwCxkxF6vYlD\npbz1r3XCjnDYwgSAMBn1t7gON6GUpqaflVD1C3M2MkSyaVMby3qPAK0YWm6oMUoA\nbRc2miCn7dROQJ1/LrROEbPxMK3JrYIhetaS8ix3lUtiBa9UCGdmjX4Q6ESQ0kJ5\nUxlxZgPjaP9WXiwg7u3lrFhavB92i+FKJVYwEcGjtDSik64FSdS3K97MoYSqxGLE\nhNjBnjNiOK2fOQLqHCv3Hn30c9VMV8vVuS+zh2xyQag8X9+L6fk/5nkFTV1b4YSr\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-02-22 00:00:00.000Z","summary":"

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Type theorists at heart.

","updated":"2026-05-10 10:42:07.729Z","user":"","username":"Johannes Hostert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 11:47:59.799Z","domain":"mathstodon.xyz","followerCount":109,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":80,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"ih94vodewgokque","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2026-05-10 10:42:08.198Z","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":"

https://pedrohaa.github.io/

","updated":"2026-05-10 10:42:08.199Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-20 19:39:24.181Z","domain":"mathstodon.xyz","followerCount":10,"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":"tl08xsfq37l38kl","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2026-05-10 10:42:08.234Z","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-05-10 10:42:08.234Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 01:42:30.703Z","domain":"mamot.fr","followerCount":584,"followers":"https://mamot.fr/users/gallais/followers","following":"https://mamot.fr/users/gallais/following","followingCount":185,"icon":"https://static.mamot.fr/accounts/avatars/000/001/190/original/9eaa91c94697f7e4.png","id":"54puzvcexuafxge","inbox":"https://mamot.fr/users/gallais/inbox","iri":"https://mamot.fr/users/gallais","isLocal":false,"last_fetched":"2026-05-10 10:42:08.312Z","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":"2026-05-10 10:42:08.312Z","user":"","username":"G. Allais"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 15:34:25.213Z","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":"zm60qkln97fw32g","inbox":"https://ruby.social/users/castlehoney/inbox","iri":"https://ruby.social/users/castlehoney","isLocal":false,"last_fetched":"2026-05-10 10:42:08.428Z","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-05-10 10:42:08.428Z","user":"","username":"Seong-Heon Jung (정성헌)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 20:48:23.752Z","domain":"mathstodon.xyz","followerCount":137,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"gco5z2ywtca6mry","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2026-05-10 10:42:08.469Z","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":"2026-05-10 10:42:08.470Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-18 23:08:19.230Z","domain":"discuss.systems","followerCount":44,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":83,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"esvr5q263iilzqy","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2026-05-10 10:42:08.794Z","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-05-10 10:42:08.794Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-20 19:39:24.733Z","domain":"mathstodon.xyz","followerCount":11,"followers":"https://mathstodon.xyz/users/paulo/followers","following":"https://mathstodon.xyz/users/paulo/following","followingCount":23,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/271/175/535/354/193/original/f62c5767240feb5b.png","id":"b6pjxq7ywfwdqcf","inbox":"https://mathstodon.xyz/users/paulo/inbox","iri":"https://mathstodon.xyz/users/paulo","isLocal":false,"last_fetched":"2026-05-10 10:42:08.830Z","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":"2026-05-10 10:42:08.831Z","user":"","username":"Paulo de Vilhena"}],"page":1,"perPage":10,"totalItems":34,"totalPages":4}

Simon Oddershede Gregersen

Following