{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-06 00:50:45.597Z","domain":"mathstodon.xyz","followerCount":137,"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":"aqr4234d52g59fg","inbox":"https://mathstodon.xyz/users/BirkedalLars/inbox","iri":"https://mathstodon.xyz/users/BirkedalLars","isLocal":false,"last_fetched":"2025-11-16 02:25:42.611Z","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":"2025-11-16 02:25:42.612Z","user":"","username":"Lars Birkedal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 08:44:48.755Z","domain":"mathstodon.xyz","followerCount":124,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":99,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"anq018rure89wn6","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-11-16 02:25:42.647Z","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-11-16 02:25:42.648Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-16 02:25:43.218Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/ismailkuru/followers","following":"https://mastodon.acm.org/users/ismailkuru/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/861/270/740/451/768/original/685bd353037ac398.jpg","id":"2hjxpw42c6spj0y","inbox":"https://mastodon.acm.org/users/ismailkuru/inbox","iri":"https://mastodon.acm.org/users/ismailkuru","isLocal":false,"last_fetched":"2025-11-16 02:25:43.217Z","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":"2025-11-16 02:25:43.218Z","user":"","username":"Ismail Kuru"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 22:02:56.864Z","domain":"discuss.systems","followerCount":17,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":35,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"l72d0302o3610q5","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-11-16 02:25:43.543Z","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-11-16 02:25:43.544Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 16:16:52.447Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/julesjacobs/followers","following":"https://discuss.systems/users/julesjacobs/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/645/069/484/352/857/original/5374f6501e76bbc6.jpg","id":"1mir0h2jgg5mx51","inbox":"https://discuss.systems/users/julesjacobs/inbox","iri":"https://discuss.systems/users/julesjacobs","isLocal":false,"last_fetched":"2025-11-16 02:25:43.670Z","outbox":"https://discuss.systems/users/julesjacobs/outbox","preferred_username":"julesjacobs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzvlHLD1IeduVxRwd26r\n+ZHcPnLQp0DSmJpF+8w29jRB7mr1/bQ8UkMvP3WwUruzg5SRA288UNldDI0yER39\n6KmCRjW0JjlwWkqFVeab76N1skfXpEKZhSvoa3NrIphQuqUeE9ahlOs+r+3CdQ2q\nOikClrq43ybCpwBrnffe9+pYx3dFWOjPYORhv+wD8zbhBvuMAQAK1o7qrpE1/xTx\nEHCpflBCom3oD/rMWFBtAnntAcPeJhiaudl8RF6wwSGTetPfoyak6dMrlxpAJkU2\nzunsa6imu0lXj3X68wOtYUgBUhYdHiPrAtkGU/huMY+zSzBkNrpzLcAdKHo8ZVUS\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-07 00:00:00.000Z","summary":"

PhD student in PL (looking for postdoc for after
September)

","updated":"2025-11-16 02:25:43.670Z","user":"","username":"Jules"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-24 14:48:17.470Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/users/paulo/followers","following":"https://mathstodon.xyz/users/paulo/following","followingCount":21,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/271/175/535/354/193/original/f62c5767240feb5b.png","id":"dk965rf63h8o0q0","inbox":"https://mathstodon.xyz/users/paulo/inbox","iri":"https://mathstodon.xyz/users/paulo","isLocal":false,"last_fetched":"2025-11-16 02:25:43.704Z","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-11-16 02:25:43.704Z","user":"","username":"Paulo de Vilhena"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 06:05:38.631Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":53,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"o2ta95t623nv74g","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-11-16 02:25:43.735Z","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-11-16 02:25:43.735Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 08:25:03.857Z","domain":"mathstodon.xyz","followerCount":312,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":248,"icon":"","id":"5md62f59724774t","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2025-11-16 02:25:43.769Z","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-11-16 02:25:43.770Z","user":"","username":"ohad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 12:55:12.155Z","domain":"mathstodon.xyz","followerCount":41,"followers":"https://mathstodon.xyz/users/dif/followers","following":"https://mathstodon.xyz/users/dif/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/185/047/530/052/732/original/3b91e8fe37b2efda.jpg","id":"s477275oed604pw","inbox":"https://mathstodon.xyz/users/dif/inbox","iri":"https://mathstodon.xyz/users/dif","isLocal":false,"last_fetched":"2025-11-16 02:25:43.803Z","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-11-16 02:25:43.804Z","user":"","username":"Dan Frumin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-11 04:57:20.041Z","domain":"mathstodon.xyz","followerCount":29,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":103,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"9s29ag4c944vh2c","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-11-16 02:25:43.834Z","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-11-16 02:25:43.834Z","user":"","username":"ahuoguo"}],"page":1,"perPage":10,"totalItems":18,"totalPages":2}

Simon Oddershede Gregersen

Followers