{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 15:56:26.654Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":0,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"1vpu0ufxe2clccn","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-11-23 15:45:24.414Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography
- Veganism","updated":"2025-11-23 15:45:24.414Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 17:15:14.941Z","domain":"mathstodon.xyz","followerCount":9666,"followers":"https://mathstodon.xyz/users/standupmaths/followers","following":"https://mathstodon.xyz/users/standupmaths/following","followingCount":18,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/567/932/837/468/113/original/d535f1d8c2cd309e.jpg","id":"ex903mll403udqk","inbox":"https://mathstodon.xyz/users/standupmaths/inbox","iri":"https://mathstodon.xyz/users/standupmaths","isLocal":false,"last_fetched":"2025-11-23 14:11:23.101Z","outbox":"https://mathstodon.xyz/users/standupmaths/outbox","preferred_username":"standupmaths","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu26NcGfyqyAjISM7fsQl\nGJuRod54bvWnc2iM+A+5Rhs/2j6thOYfEFqP8pDJB3KBe6I0vdVNcz2rpl1gpD6a\nQ7Mb/STzisF5F9qlv5cihNITvALwOWHsGnglic7z2eKPQKNJg4v6sXvh+3sLAhfI\nnMgKsOzmEKNxkRgERut+X77tMRZHoJu4jhZ/DXvj6MrDfw1hQBHEMYETxuWES0k3\nbssgwRMj+7WD9yh+puzOMM5z9LS4PUItSvbmUiSbxYUcg1B+qWRVAtp5KnEp72Ux\n4PESWWsXhgXSxZ05VWb99GNc2OyfNUfCPsEJYfUM7zuOT4Na0KzqhsaKJWcBhcUQ\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-24 00:00:00.000Z","summary":"

#1 best-selling author, also maths clown. Humble Pi, a comedy of maths errors: https://mathsgear.co.uk/collections/books/products/humble-pi-signed-paperback
Videos: http://youtube.com/standupmaths

","updated":"2025-11-23 14:11:23.101Z","user":"","username":"Matt Parker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 02:35:24.819Z","domain":"mastodon.sdf.org","followerCount":1292,"followers":"https://mastodon.sdf.org/users/kathryntewson/followers","following":"https://mastodon.sdf.org/users/kathryntewson/following","followingCount":646,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/292/174/743/014/587/original/4d1dbc7e603ecd68.png","id":"51tx2slmkreaxbe","inbox":"https://mastodon.sdf.org/users/kathryntewson/inbox","iri":"https://mastodon.sdf.org/users/kathryntewson","isLocal":false,"last_fetched":"2025-11-23 15:45:24.742Z","outbox":"https://mastodon.sdf.org/users/kathryntewson/outbox","preferred_username":"kathryntewson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzBo4LxJIuCGakQmstzGa\n4bZAM6lCTU5LFwdB10RPQLe1LiTiKTK8ZsggD4NF7fcvitrhqw4ZhAv/ZTRF3n1J\nAcCbXVGfq9V8jsR3gwa56HUbCrcRBudMqkTx0VWrE9zLtmEBFPsw2RurKEHdyE4T\nC21a6GtPN8ya5rOGHaC0NcP270NXnjh04zt0+kUPDn9hn45nETbECiEPos4LcBvf\nvO4nQUXty/jWXor4oPpnkkQUZl0GyajVh02Mjpm2CvKyIoSpZuENimBUg3kaDTrH\nYpLjDpRB98Vms+6FdAQm8Uq3ga9qG/AiakuzXhd7z2npWpPaYZwda6BiUt/yQEO8\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Good in a crisis and at no other time

","updated":"2025-11-23 15:45:24.742Z","user":"","username":"Kathryn Tewson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 09:47:30.681Z","domain":"mastodon.sdf.org","followerCount":5533,"followers":"https://mastodon.sdf.org/users/AkivaMCohen/followers","following":"https://mastodon.sdf.org/users/AkivaMCohen/following","followingCount":885,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/294/123/790/430/595/original/6b0f881869b22def.jpg","id":"uny041bsijg935d","inbox":"https://mastodon.sdf.org/users/AkivaMCohen/inbox","iri":"https://mastodon.sdf.org/users/AkivaMCohen","isLocal":false,"last_fetched":"2025-11-23 15:45:24.912Z","outbox":"https://mastodon.sdf.org/users/AkivaMCohen/outbox","preferred_username":"AkivaMCohen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAobL1a/kO2E+/Ec6E2Acm\nJU36Xqkg4y71hY2Y8uASOxSv9yrOpLh1GSGFTObnM+7kP1GZqJws92F0U1V+eIdB\nq3WROBlwDXNWQtOqBWy3U+pW/qwSDY+hXVk3s2OVdQm+MAeg/FHAqUYeNr54HBHJ\n0GelUGPphCVD8R0XDczgWSqBXzCazRFUoPaOrTPPRGEY+7Xyx029OoqofXkdSmgf\ny+bQS+GKve+S8lYxenQEujNKlluh1lUNFnIWQ4+5Me6Yew6JsP1saFG5Ys5yP4ef\nq37i+6M95+yJlUYNouHa29kcReWAPKFUtklIIV1DwOEZyAMoQnPQyYEx4Z+cHmyE\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Father of five, orthodox Jew, "far-centrist", litigator, #Jets fan & LitigationDisaster Tourguide. Mostly in that order

","updated":"2025-11-23 15:45:24.912Z","user":"","username":"AkivaMCohen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 00:27:03.456Z","domain":"mamot.fr","followerCount":0,"followers":"https://mamot.fr/users/gallais/followers","following":"https://mamot.fr/users/gallais/following","followingCount":0,"icon":"https://static.mamot.fr/accounts/avatars/000/001/190/original/9eaa91c94697f7e4.png","id":"tg6zsxapk3ruowi","inbox":"https://mamot.fr/users/gallais/inbox","iri":"https://mamot.fr/users/gallais","isLocal":false,"last_fetched":"2025-11-23 15:45:25.000Z","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":"2025-11-23 15:45:25.000Z","user":"","username":"G. Allais"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-17 16:47:04.878Z","domain":"ioc.exchange","followerCount":4392,"followers":"https://ioc.exchange/users/kt_so_it_goes/followers","following":"https://ioc.exchange/users/kt_so_it_goes/following","followingCount":42,"icon":"https://files.ioc.exchange/accounts/avatars/109/300/650/104/205/813/original/220a39973198b5fa.png","id":"65ldxqydm2e3vrd","inbox":"https://ioc.exchange/users/kt_so_it_goes/inbox","iri":"https://ioc.exchange/users/kt_so_it_goes","isLocal":false,"last_fetched":"2025-11-23 15:45:25.540Z","outbox":"https://ioc.exchange/users/kt_so_it_goes/outbox","preferred_username":"kt_so_it_goes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2Dn2qbQ62jvyWdWCJ8KF\nKz2PTuU5y2BYTBy/F9coP57Fr1RQ03A2SpxniH+N/ru1npi2JcXnBcH3oHYa+VI1\n/QSHvNTXcfckZ0fa7N/1EtB8xtJTFxdxzdaC2fETyY+/U7vnRqJU8chyJi7l57XC\nfleeYkGeVG4nkyTJQ4Y9mDqRykqQ2MnQum0Kvm++xTDnAWtsK6Iolfam3HZviiR2\ngyAS9Ue9yRqtM5QFs+Xu7CcDjz5M0mhW/G9Z09XdZ/dxX3fS5e9bbaW0Yw5ljS83\nIKuh07b6pThuHPGD1/1QIWdMWscNGrL/fn4DVHLJf3nixdtx7p5CrwGYPlCkzaf6\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

turnip shepherd & bad person

","updated":"2025-11-23 15:45:25.540Z","user":"","username":"kilgore trout"}],"page":1,"perPage":10,"totalItems":41,"totalPages":5}

Ulf Norell

Following