{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 09:50:09.620Z","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":"2cz08mu123lkm6k","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-12-22 11:13:31.954Z","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-22 11:13:31.954Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 17:02:16.332Z","domain":"mathstodon.xyz","followerCount":1219,"followers":"https://mathstodon.xyz/users/pretentious7/followers","following":"https://mathstodon.xyz/users/pretentious7/following","followingCount":7495,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/203/368/original/56e36a0c07ff46e8.jpg","id":"06j67t6g7fqu79y","inbox":"https://mathstodon.xyz/users/pretentious7/inbox","iri":"https://mathstodon.xyz/users/pretentious7","isLocal":false,"last_fetched":"2025-12-22 11:13:31.979Z","outbox":"https://mathstodon.xyz/users/pretentious7/outbox","preferred_username":"pretentious7","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu1CUqOQl8ObHaOui+omC\n/U+jdJFjTEo/tvAKXUibxP/yAc9CgAx1wJOsI1l1IcCJg2W8O7JOjDHvcxMqglNM\nV/woyXwLkK3ZcQMhNsa7CPVEMO8ZB7SkvXbl6J+GPIdi0e1QKL3KMPWzEglDslp/\nGDNtNxtsTjdXNsjQqYMnShWNTfEoXEVhOdLQDaa7EmUeU9xNbmytgxSBUkANwj5F\n/tM9CtXOg2hvn98HUURHvUmXv8n1nFUB5a+cXNsyiWm3HwDNFd+I5Bxw8UgS/n+W\n2hJ9T9aYdI5YdL7DZfCbpKwGNVR9pe+QnnquGE+0DoSRK8KLBhslvd+YS52wOoqR\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-09-27 00:00:00.000Z","summary":"

I like computers and physics.

Currently an MSI student at Stony Brook.

I'm a hindu.

Call sign - KE2DBM

(PS. follow reqs are mostly automatic, just have a profile pic and some posts)

","updated":"2025-12-22 11:13:31.979Z","user":"","username":"pretentious7"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 21:18:11.730Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/glepage/followers","following":"https://fosstodon.org/users/glepage/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/291/277/original/e8e578cb7e654ca1.jpeg","id":"56gl56oc0modlzv","inbox":"https://fosstodon.org/users/glepage/inbox","iri":"https://fosstodon.org/users/glepage","isLocal":false,"last_fetched":"2025-12-22 11:13:32.021Z","outbox":"https://fosstodon.org/users/glepage/outbox","preferred_username":"glepage","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4wSo/4EMDob9DO/L0AL6\npTJhEF01J9cBAntQuF4QoOzk3fT6461tNkQZgXS+wd/ctVxmfBjJnWZWuBplktvT\nyVeTT4K0uBcymqUEPmBvYcXc0b/j6QQf48/nE5gmlRTnl1DpBRf86b8h+HW5Z+7l\nHvxb3TIhi4xn2QDkpneK/OkcZH3ZiYVs8D8npZv3oVb0BFAMFX0JIyrMzurUoQN+\nlE2fRbY/CNmo23JcGl3m9pWc/OdDQ3faS4LT6oKKgVwgmirEmY9LTuCxtqN47lNm\nqQNr94QHVMbfVfGsgY0hI4p+eUeyk/MfQlh9Jqrvvs39ZygvvcI8+atnsr57/DVw\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-12-30 00:00:00.000Z","summary":"

🇫🇷 PhD in deep learning for robotics | Nix(OS) ❄ contributor.

","updated":"2025-12-22 11:13:32.022Z","user":"","username":"Gaétan Lepage :nixos:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 11:13:32.168Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/cole/followers","following":"https://fosstodon.org/users/cole/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/124/787/original/10d422cd3ab28f97.jpg","id":"kkq1vzqdkyyr3bh","inbox":"https://fosstodon.org/users/cole/inbox","iri":"https://fosstodon.org/users/cole","isLocal":false,"last_fetched":"2025-12-22 11:13:32.168Z","outbox":"https://fosstodon.org/users/cole/outbox","preferred_username":"cole","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApbtfU/pshzaHIZgV/nTN\nYNJ1U/HH9bvhi22NIPk8A+Q6Dh4LyjkgKPgRcHox8FTHqJuxeM/Nb0ptGxkgfyOP\n8eNGMrdTEMB8Xridh9/IYs6uwADVwOKvdy9CXEY4v2Y69vQh2c3RWanRO/PlqV/q\nj9bM+XWViHqmKkzolF1BFrx2r1dxKoRNUDQqjardMqy4y//9xTJpNPcjkjchNS5R\nQFNIEcycN3PK8TmwvqZ1SD2dl8cglobhgmvd7y3lGyymGrI9dcV2i+OsLLlT+sR9\nLHd/qAbnB2pAOkeapNej7W+r3Du7KNc3feDxoQeXK92Uw1RcUtAa87O/Lew71wNC\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-05-11 00:00:00.000Z","summary":"","updated":"2025-12-22 11:13:32.168Z","user":"","username":"Cole Helbling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 11:13:32.697Z","domain":"toots.hubns.net","followerCount":0,"followers":"https://toots.hubns.net/users/casey/followers","following":"https://toots.hubns.net/users/casey/following","followingCount":0,"icon":"https://us-southeast-1.linodeobjects.com/toots-hubns/accounts/avatars/109/329/348/952/601/107/original/ebe1b4133767f2ee.jpg","id":"grrn5mujlqnow0o","inbox":"https://toots.hubns.net/users/casey/inbox","iri":"https://toots.hubns.net/users/casey","isLocal":false,"last_fetched":"2025-12-22 11:13:32.697Z","outbox":"https://toots.hubns.net/users/casey/outbox","preferred_username":"casey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3b2zQULEmwksBGSGZxaP\neEBA2SwPyTrZTt13JadRtMIJuMA4Gm4BNFtciiE5EsNPh9wK265g8a+5V/zrGJWA\nKFS3zF2A0DUjSSvED2IOmBtrXg3INt2wyuDq0UyMnU8mp5ErTm9xj1mIZ9yU/Xla\nqs/MeAx9cd/t6TYdpbJZECkEKDkgxKLDfMoXrVtTluboQUekx6IqsfYLcPZL4M9V\n16TmPDs6HJNwg97gPwiww2+yWT5BnCRQuiZ4diQzvthiOhfEEb1uvh87+w4TjFQe\nUBNBgCq+nFMzQuJyCvxUQKDWqit1DI4gzpMlnFGaoKxfFAWi/K+UfHs+mfPzvSc8\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Contemplating a NixOS tattoo. https://casey.hubns.net/

","updated":"2025-12-22 11:13:32.697Z","user":"","username":"casey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 11:13:33.238Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/liyao/followers","following":"https://mastodon.acm.org/users/liyao/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/553/700/242/412/808/original/82ff5b5613272f6d.jpg","id":"8enhiok0uj984ox","inbox":"https://mastodon.acm.org/users/liyao/inbox","iri":"https://mastodon.acm.org/users/liyao","isLocal":false,"last_fetched":"2025-12-22 11:13:33.237Z","outbox":"https://mastodon.acm.org/users/liyao/outbox","preferred_username":"liyao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0PYdW22g9b8jjiw1IsBB\nGG25Gyy8HchdRQiNK0voT9FUmgl1YFh3CT6oE7+SG7+QcpZF+ZP6WDadzeweXNsp\n7DB7EUyP309q76H+uxn814XJs8JAa9+SRiLw+ZvTYBWkQ5PEtPsslXCG6AO7eUBe\n8SBPZXT8GIte8yiuIp1jRi70yFroXi4wpLZ3NSQs1nocpiAjCOcAqVFPo3vRtL2Z\nfIINw2EMwV8eTKspAxJyGYSGamazmY4whI+RSAd1Mc+qZaQwG1hXk9tCN3unItKq\nGNI6fsKzk7vO7Fy01HjN+lz7A7KS7JM2l6mkJewy5+x1mcpZ4rLnmdLEQEPtk6xV\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-21 00:00:00.000Z","summary":"

Assistant professor of Computer Science at Portland State University.

","updated":"2025-12-22 11:13:33.238Z","user":"","username":"Yao Li"}],"page":1,"perPage":10,"totalItems":17,"totalPages":2}

Jonathan Lorimer

Following