{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 21:03:51.472Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/baojialu/followers","following":"https://mastodon.social/users/baojialu/following","followingCount":0,"icon":"","id":"t9nt2nmf5mfjax7","inbox":"https://mastodon.social/users/baojialu/inbox","iri":"https://mastodon.social/users/baojialu","isLocal":false,"last_fetched":"2026-01-09 21:03:51.471Z","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-01-09 21:03:51.472Z","user":"","username":"baojialu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-23 15:15:46.440Z","domain":"mathstodon.xyz","followerCount":95,"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":"9ce3whu7g4bp10c","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2026-01-09 21:03:51.497Z","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-01-09 21:03:51.498Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 18:58:22.047Z","domain":"mathstodon.xyz","followerCount":79,"followers":"https://mathstodon.xyz/users/Convention_T/followers","following":"https://mathstodon.xyz/users/Convention_T/following","followingCount":233,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/264/843/077/781/684/original/11738c53183009e6.jpg","id":"whgf7kpav519fqj","inbox":"https://mathstodon.xyz/users/Convention_T/inbox","iri":"https://mathstodon.xyz/users/Convention_T","isLocal":false,"last_fetched":"2026-01-09 21:03:51.531Z","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-01-09 21:03:51.531Z","user":"","username":"Alvaro Pintado"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 06:14:24.836Z","domain":"discuss.systems","followerCount":2,"followers":"https://discuss.systems/users/darwinmorris/followers","following":"https://discuss.systems/users/darwinmorris/following","followingCount":75,"icon":"","id":"beafmpccqrfqjp4","inbox":"https://discuss.systems/users/darwinmorris/inbox","iri":"https://discuss.systems/users/darwinmorris","isLocal":false,"last_fetched":"2026-01-09 21:03:51.831Z","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-01-09 21:03:51.831Z","user":"","username":"darwinmorris"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-21 01:13:36.165Z","domain":"mathstodon.xyz","followerCount":557,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":183,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"nzs2gqa9sy7tzgn","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2026-01-09 21:03:51.857Z","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-01-09 21:03:51.857Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-23 15:15:46.531Z","domain":"mamot.fr","followerCount":551,"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":"sl579o8x429aaxp","inbox":"https://mamot.fr/users/gallais/inbox","iri":"https://mamot.fr/users/gallais","isLocal":false,"last_fetched":"2026-01-09 21:03:51.916Z","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-01-09 21:03:51.916Z","user":"","username":"G. Allais"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 07:40:53.122Z","domain":"mathstodon.xyz","followerCount":7,"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":"oqiz3mdhwdksn34","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2026-01-09 21:03:51.940Z","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-09 21:03:51.940Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 22:56:46.905Z","domain":"ruby.social","followerCount":36,"followers":"https://ruby.social/users/castlehoney/followers","following":"https://ruby.social/users/castlehoney/following","followingCount":47,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/110/816/205/209/691/601/original/ed0b6b317a1c32e0.jpg","id":"bhp84splpam5szc","inbox":"https://ruby.social/users/castlehoney/inbox","iri":"https://ruby.social/users/castlehoney","isLocal":false,"last_fetched":"2026-01-09 21:03:52.018Z","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-09 21:03:52.018Z","user":"","username":"Seong-Heon Jung (정성헌)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 04:22:27.782Z","domain":"mathstodon.xyz","followerCount":141,"followers":"https://mathstodon.xyz/users/BirkedalLars/followers","following":"https://mathstodon.xyz/users/BirkedalLars/following","followingCount":46,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/472/104/164/859/original/d1c9778494b6de37.jpg","id":"oc2d868agcyuua6","inbox":"https://mathstodon.xyz/users/BirkedalLars/inbox","iri":"https://mathstodon.xyz/users/BirkedalLars","isLocal":false,"last_fetched":"2026-01-09 21:03:52.043Z","outbox":"https://mathstodon.xyz/users/BirkedalLars/outbox","preferred_username":"BirkedalLars","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0RSJyGpOhcUh2d3yQmC0\nhr88Rw0iKoNxDqSI3LHM5cEUxIsX7FpCg14O+k/0T9g6stm9ccw+sErSFJdafvd7\n/LODpt1chiDkRT4LhhBtim/3LZZGTKo1KeglkK+S8UUFdJbdMUsOLbu7uyr9nqJL\n1u2iswx5VwdQ+NvKwsN+v1z5wsPx6YAqv0q2zw/+J27vF1qewlS4eP73KkidTaCE\nVf3VhYsFfgvhpSwIw8A1yORAEUD0vkcSBFDrOdRAXaq5+5k0ugsjDyfQxwDLouFI\nMUzpQZJGf+ynq/YF9BMiZeFIk/2P0JHQXPz32VYg/NsED7AmiN/zskI8IMtw6QeB\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

Professor at Dept. of Computer Science, Aarhus University

","updated":"2026-01-09 21:03:52.043Z","user":"","username":"Lars Birkedal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 22:21:40.532Z","domain":"mathstodon.xyz","followerCount":135,"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":"r6oqt78t1337cfw","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2026-01-09 21:03:52.068Z","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-01-09 21:03:52.068Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-25 15:35:53.883Z","domain":"mastodon.acm.org","followerCount":81,"followers":"https://mastodon.acm.org/users/ismailkuru/followers","following":"https://mastodon.acm.org/users/ismailkuru/following","followingCount":288,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/861/270/740/451/768/original/685bd353037ac398.jpg","id":"ryc0yuvjp97zh88","inbox":"https://mastodon.acm.org/users/ismailkuru/inbox","iri":"https://mastodon.acm.org/users/ismailkuru","isLocal":false,"last_fetched":"2026-01-09 21:03:52.256Z","outbox":"https://mastodon.acm.org/users/ismailkuru/outbox","preferred_username":"ismailkuru","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvzvLwm0mzB2YV2/TN31P\nGIhoAWCdqvocoFGcqgZr533AfC778OdWXOfzcKWZkAE3q0fUAart1Rn7iesKY4PZ\nLW5t7U3bBhbavwfICyDCTZKsA5rd354Bhm2IzkMTWit7lux1atRA9HXPqxII3rQE\ny8x/yXkeYaI1+avnqtFDJ/SFn06ecMZmWvRjAkWNGoDmYCM68YUtNSVf9ACYNwEk\nurngRRUfvCv8Dlz06xl26i7eMQu8kTwVLLrDLj66p/ymAvjst1JrCjfUPSWza4lr\n0SqIIJZPpLPemBTAWU++/9ERExShcJOCDSswRwevCfjGHFGxLOkmU7dw6J/2vJCs\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-09 00:00:00.000Z","summary":"

All opinions are my own

Not a professional account

website: https://ismailkuru.github.io/

","updated":"2026-01-09 21:03:52.256Z","user":"","username":"Ismail Kuru"}],"page":1,"perPage":10,"totalItems":26,"totalPages":3}

Simon Oddershede Gregersen

Followers