{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 19:35:50.047Z","domain":"agda.club","followerCount":1050,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":252,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"xqvdmu9383w534v","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-12-17 16:25:01.965Z","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-12-17 16:25:01.965Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 16:33:19.297Z","domain":"hacksrus.xyz","followerCount":0,"followers":"https://hacksrus.xyz/users/Taneb/followers","following":"https://hacksrus.xyz/users/Taneb/following","followingCount":0,"icon":"https://hacksrus.xyz/media/f4336c4d9b63cff12aaf7c0752424286430a37a0a84df08bfe7f15e0f14bb756.png","id":"7rgm1p0dz5b8d8y","inbox":"https://hacksrus.xyz/users/Taneb/inbox","iri":"https://hacksrus.xyz/users/Taneb","isLocal":false,"last_fetched":"2025-12-17 16:33:19.297Z","outbox":"https://hacksrus.xyz/users/Taneb/outbox","preferred_username":"Taneb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsF9jtl9VwGAoa8zjq95e\nkTmkIx18xO7hy8OG30XvXmNeWrtSim4FcW0xdk2gG911eBXd4+F4nuOjGXKkexP4\n+Caap6KlhvDG/z4c+X6/aG/av8n0YTHl/L3tG521SswEBSfzr+rMLPVJLnnGlb3r\nrN0fHcJH0kl7UnyWxCRebzquAtqCfbdoG+Y3rDDjxfAWXpzBx+CWDEL2GA3l3+4h\nxVh95C8JklEflZB3aX1fb6Qv6wgU8lQFdwh7N0YjxT5jaqFj64PFvA38V0AL1QZl\n7qI/37ZnpP+0SFZAI3YOmfHNaspM5NquDIGAb/s6sHjkpV9Kio1C2c1CuUjYQdfN\njwIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"2022-07-29 11:34:23.000Z","summary":"I write Haskell for a living, Agda for fun, Nix for poking at computers. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too. For some reason I keep trying to write actual programs in Agda.","updated":"2025-12-17 16:33:19.297Z","user":"","username":"Taneb"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-10 01:25:50.266Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mudri/followers","following":"https://mathstodon.xyz/users/mudri/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/761/885/833/121/original/2785c41c137e0dba.jpg","id":"iz5w8htv47x751s","inbox":"https://mathstodon.xyz/users/mudri/inbox","iri":"https://mathstodon.xyz/users/mudri","isLocal":false,"last_fetched":"2025-12-17 16:33:19.510Z","outbox":"https://mathstodon.xyz/users/mudri/outbox","preferred_username":"mudri","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4CcIMxBxRE6SDzyW4ByU\nQO6T83ZKki9/bzfBdgDqJ7RC5XhFhI7WBOI0aXDYZnRZprJ5UYtB1TT3ywPxGmOk\noBlIVnyb/gcuHLnCqG6gklPiRFOn7T+EWa1P/32gSxLvDU+vqrcZYows1OwvxavE\n9BC3zuCijRaZKjG1jHMFwuaiBM+fNTPDHh6MXWry+gVJXq6xIBt5r+HRuacAaTgU\nSeOxqIohrBjbGncIl1YYtCz0Jvm+p54S2ZStmmCh9uEpUZf+E0ZnUD14+IRMcG++\n85ukUFQ0z1paguWplgBGGhmWHSP1mCOFAqIhASpZsnjju0HM3w/A/I4Fpe/68Oit\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: https://stax.strath.ac.uk/concern/theses/tt44pn44w. Website: https://lamudri.github.io/.

","updated":"2025-12-17 16:33:19.510Z","user":"","username":"James Wood"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 16:33:19.531Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/thechicken/followers","following":"https://agda.club/users/thechicken/following","followingCount":0,"icon":"https://agda.club/media/19db2a20-b6be-430e-b82a-1740bc7b477e/agda_no_transparency.png","id":"z7s80p1zvpwi8lm","inbox":"https://agda.club/users/thechicken/inbox","iri":"https://agda.club/users/thechicken","isLocal":false,"last_fetched":"2025-12-17 16:33:19.531Z","outbox":"https://agda.club/users/thechicken/outbox","preferred_username":"thechicken","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxbp/MJm39B/B1TS2UID7\niefO8gET2KP1PH4BZSG9WtWGb2p/Rz/qeFVnDqAAuuAsqKLdKdpRjdgnfIeBQCoN\nfWzwA2JRiQbbwSWgxczy1RqJmAHUn/szayt36Lb/RMe8zUBO7QJ7URXOjIXMFRKN\nFQ//7vuw/X3V+9fCl+/340aDbTFIcuysVdH0yxTweu7wZQwgefiRV4we96ryneVb\n9/dKkk7FqQnKmDLcAj60VUIG4RKWnTIZOAlAnUmwcaiJDLmWHgdXDOVro6tJbWgq\nT6XkeL5iDlIWqxBBY40PTZ1PuRQn1BPQyIIl6P0uTgk+EaWLNR2VQmBvlTRyfhvA\nuQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"I'm a chicken","updated":"2025-12-17 16:33:19.531Z","user":"","username":"The Chicken"}],"page":1,"perPage":10,"totalItems":13,"totalPages":2}

GenerateAllTheThings

Followers