{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 21:26:34.984Z","domain":"agda.club","followerCount":1075,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":261,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"stwg4d60c75k88r","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2026-01-13 10:14:55.460Z","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":"2026-01-13 10:14:55.460Z","user":"","username":"Jesper Agdakx 🔸"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Johan Cockx

Following