{"items":[{"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-04-13 00:58:56.185Z","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-04-13 00:58:56.185Z","user":"","username":"puming"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-24 03:11:49.217Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/ap/users/116111496394663417/followers","following":"https://mathstodon.xyz/ap/users/116111496394663417/following","followingCount":22,"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-04-13 00:58:56.249Z","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-04-13 00:58:56.250Z","user":"","username":"Johannes Hostert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-21 03:28:54.800Z","domain":"mastodon.social","followerCount":7,"followers":"https://mastodon.social/users/baojialu/followers","following":"https://mastodon.social/users/baojialu/following","followingCount":32,"icon":"","id":"oaobula4j5u5d4p","inbox":"https://mastodon.social/users/baojialu/inbox","iri":"https://mastodon.social/users/baojialu","isLocal":false,"last_fetched":"2026-04-13 00:58:56.927Z","outbox":"https://mastodon.social/users/baojialu/outbox","preferred_username":"baojialu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuIpDVO94ViAQphEv3BDN\n6lLHCcfVIantkhieBTtS5Z4JdnBfbLO2AAvNbavXiztN5++X44OOW1tV51pxK3Qi\nGd0dhr2CLNYgg7ALz/6tIji634hcnfLyhSPXcBO/UZX9Li9NURevBh991ixJSttc\nr7/jsOZ7Y8bGFEquUm2gMVyNdINC8oLugV3lKG2D0smMVGeaHKE7yycVcpJ5lYvn\noywIA9FTiJvPUXOmMaWy2QmFCosH7y3PyZ3cRljjP1McUIgeAeVVx0VsPCV46Gro\neflKQ3NkqkM2GNX1sZzyORsHJALJ8K9rfLw3BoKl1N/4WxhfEZlzbDY7OjSDnRk/\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-27 00:00:00.000Z","summary":"","updated":"2026-04-13 00:58:56.928Z","user":"","username":"baojialu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 11:47:59.799Z","domain":"mathstodon.xyz","followerCount":97,"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":"ih94vodewgokque","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2026-04-13 00:58:56.975Z","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":"2026-04-13 00:58:56.976Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 12:45:39.285Z","domain":"mathstodon.xyz","followerCount":84,"followers":"https://mathstodon.xyz/users/Convention_T/followers","following":"https://mathstodon.xyz/users/Convention_T/following","followingCount":244,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/264/843/077/781/684/original/11738c53183009e6.jpg","id":"hlx9t5rz4xx05jw","inbox":"https://mathstodon.xyz/users/Convention_T/inbox","iri":"https://mathstodon.xyz/users/Convention_T","isLocal":false,"last_fetched":"2026-04-13 00:58:57.017Z","outbox":"https://mathstodon.xyz/users/Convention_T/outbox","preferred_username":"Convention_T","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Y3gql2GFSM6Z1mkKgme\nbpvRkrevp+bxADNFlGq5YECkTFhkUVC5h2hFXcEC5kgGmOVc/s2EzmYjwkdAws7Q\n6NXEbjR3lTG3KtSEaEO9aLKiaSP5hlh+2crwRIIzhzfAaZJTlPacR9lzqdKXdcsT\nzhVZxKmtrxdWcK7gA9rKN/aKt3OUdBSn1KMM731Ae0IXcGQIWXgvmdvZMzJTaDux\n2QUc9iS82PLziDGcXdh9vPPQkxlEnzNTUzsbcLaklJdBFWiJBA71E2k0TqtifQMv\nKxf9VS9jNn0d2hG8PWYgA0Hurwu1Vzd+iieNFlbHsgReYnNkCDDji071ityhIZPa\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Graduate student (3rd Year PhD) @ Penn, logic
Trying to learn the Ways of Beweistheorie

","updated":"2026-04-13 00:58:57.017Z","user":"","username":"Alvaro Pintado"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-08 19:58:06.045Z","domain":"discuss.systems","followerCount":3,"followers":"https://discuss.systems/users/darwinmorris/followers","following":"https://discuss.systems/users/darwinmorris/following","followingCount":76,"icon":"","id":"ylrtt2ar9vbkpd8","inbox":"https://discuss.systems/users/darwinmorris/inbox","iri":"https://discuss.systems/users/darwinmorris","isLocal":false,"last_fetched":"2026-04-13 00:58:57.361Z","outbox":"https://discuss.systems/users/darwinmorris/outbox","preferred_username":"darwinmorris","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsCetE0Cyqiv8R1LRIQ0w\nkAtiCRYJ+FIjI2vydYHw84VV5XL/rkrIoVOKbpzr5Kp0jEUCI2lNWajHcb/Oi8Kq\nZB2ArvVg+DCEqKSiXE5SZiZW/jF6iAHpWbOZy+Dj0rtrVmXmARh8u14a5/6TMyH2\nYEl4Az5e2pCtG/8G8vWD8YGTBaDWIntjJetKqW9RlUHclg56AFzUK4rOUdsoV2C7\nPynuux1Df7OSiihg4tiK/Fpt0sK6Gru12BYXbNOsxGdpu9QJQUdhKkJSbkOK0oHf\nTIrLZ8F/cCZXhAhARZg5HkSPbHPd1is7O6hvzdcJB50Fclp52ZeSwn0ZLBBWW0Bm\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-16 00:00:00.000Z","summary":"","updated":"2026-04-13 00:58:57.361Z","user":"","username":"darwinmorris"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 09:23:20.125Z","domain":"mathstodon.xyz","followerCount":587,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":184,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"3j0g8hf1x8ednxb","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2026-04-13 00:58:57.418Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2026-04-13 00:58:57.418Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 01:42:30.703Z","domain":"mamot.fr","followerCount":552,"followers":"https://mamot.fr/users/gallais/followers","following":"https://mamot.fr/users/gallais/following","followingCount":183,"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-04-13 00:58:57.464Z","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-04-13 00:58:57.464Z","user":"","username":"G. Allais"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-20 19:39:24.181Z","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":"tl08xsfq37l38kl","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2026-04-13 00:58:57.505Z","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-04-13 00:58:57.506Z","user":"","username":"Zichen Zhang"},{"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-04-13 00:58:57.624Z","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-04-13 00:58:57.624Z","user":"","username":"Seong-Heon Jung (정성헌)"}],"page":1,"perPage":10,"totalItems":28,"totalPages":3}

Simon Oddershede Gregersen

Followers