{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 08:44:48.755Z","domain":"mathstodon.xyz","followerCount":125,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":101,"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-18 15:40:19.808Z","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-18 15:40:19.808Z","user":"","username":"Alex Kavvos"},{"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-18 15:40:20.122Z","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-18 15:40:20.123Z","user":"","username":"Alexandre Moine"},{"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-18 15:40:20.159Z","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-18 15:40:20.160Z","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-18 15:40:20.193Z","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-18 15:40:20.193Z","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-18 15:40:20.231Z","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-18 15:40:20.231Z","user":"","username":"ohad"},{"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-18 15:40:20.267Z","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-18 15:40:20.268Z","user":"","username":"ahuoguo"},{"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-18 15:40:20.301Z","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-18 15:40:20.302Z","user":"","username":"Dan Frumin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-16 02:58:24.473Z","domain":"mathstodon.xyz","followerCount":389,"followers":"https://mathstodon.xyz/users/favonia/followers","following":"https://mathstodon.xyz/users/favonia/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/283/653/572/737/743/original/7c37c4fd50d306d6.jpg","id":"70o54e16mkdr5o4","inbox":"https://mathstodon.xyz/users/favonia/inbox","iri":"https://mathstodon.xyz/users/favonia","isLocal":false,"last_fetched":"2025-11-18 15:40:21.356Z","outbox":"https://mathstodon.xyz/users/favonia/outbox","preferred_username":"favonia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4qiAl5t653Ox69fL7OeB\nxqSuEHXsDFshZRqbtaqj9DErlNd8G3PSvB0B64midyxj4W7gqk6xEVoJ4oZ6LWLx\nbwLf9aYts5Je/c62Bv+cVLe2tWzLcGiUbCv/DNsEvN2f23k0RM/gFuwbITBPK45C\naSutWH1VzV8sSJaYIXpclhq9v6qRhlNYMte5wHsKPeuULiLREwDQNVhS3huqPgYO\npvCz02ndz2+o6hjZB2i0AkmKCTXDoHcXxFp3l8hxqcposxU28HitNk8TXMGDiZS7\nx1R9RYocIGkjXAbfyfKXG/I1SaJUlX5y/uQo693Gs/hXwEUBPJGNJUatNVpuz4F+\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

🧑‍💻 cs&e faculty
‍🏫 u of minnesota
👤 any pronoun
💖 emoji lover
⚡ algebraic effects
🗺️ 國語 / 台閩 / english

","updated":"2025-11-18 15:40:21.357Z","user":"","username":"favonia"}],"page":1,"perPage":10,"totalItems":18,"totalPages":2}

Simon Oddershede Gregersen

Following