{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 06:11:22.328Z","domain":"agda.club","followerCount":1059,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":256,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"9abr090ur5p9640","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-12-24 11:29:36.948Z","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-24 11:29:36.948Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 01:34:52.245Z","domain":"mastodon.social","followerCount":75,"followers":"https://mastodon.social/users/baboum/followers","following":"https://mastodon.social/users/baboum/following","followingCount":98,"icon":"https://files.mastodon.social/accounts/avatars/000/017/041/original/media.jpg","id":"715p9ixi8hxr9g7","inbox":"https://mastodon.social/users/baboum/inbox","iri":"https://mastodon.social/users/baboum","isLocal":false,"last_fetched":"2025-12-24 11:29:37.188Z","outbox":"https://mastodon.social/users/baboum/outbox","preferred_username":"baboum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2eWGHWLG4R8p37zo5M5y\nr46MUI1/qvQEE73VKG1RBS23iHwN0lWkB7h4wTpWF+qBlOkwoRLriAAiD7peLqMK\n88Q1S0BX7msGnX9rM8G78MRNhOqXi1lY282lOr6aDWMosvIKC17ttcWoNlN4aEvK\nXtMSHqYeMkXk3tsMHenL0n0ijwMWh2fKBNr4Q05FZcJvwGEksZWsXOt0FXxVyc9Q\nOOUxyRtsiqKGoLeaS9GsFIstzQAxGwQzm5b7HHCqTNtH3Bfa9+uKS0Rgt0PQL/cC\nCYbCKeAcxX0Xa5L5Joj6Q4Kx0qfDta7SS4audJwTSZVc1DN8ZqGbAX56W/BScgKP\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-12-02 00:00:00.000Z","summary":"

he/him, fr/en

","updated":"2025-12-24 11:29:37.188Z","user":"","username":"baboum"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-05 02:29:19.740Z","domain":"discuss.systems","followerCount":48,"followers":"https://discuss.systems/users/dennis/followers","following":"https://discuss.systems/users/dennis/following","followingCount":36,"icon":"https://fd.discuss.systems/accounts/avatars/109/598/839/434/811/373/original/c73f516061190b3a.png","id":"2u84621m0f0b0kc","inbox":"https://discuss.systems/users/dennis/inbox","iri":"https://discuss.systems/users/dennis","isLocal":false,"last_fetched":"2025-12-24 11:29:38.098Z","outbox":"https://discuss.systems/users/dennis/outbox","preferred_username":"dennis","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApZ+4M8BlUEzaMuk/4/x4\nVz2TGTPPb0vHq2Sbnveoc+WkG+FDA4GXY6yg1bq8FnkGBSfyNHTwos3I7RjX645A\nbt3uP4Pm3N33thgYXQ73ZtWaJKswBKfMTbHioSEhwGshQqHGmf26laNHpVCz+Wkq\nZfSVm47FPJuEZMHB9wmoynRvrUgMnLH2Co9x8vOEjrIyVZ18TfRXYpsuhCEpwhO+\na1d7VKyypH98Zd6eH9K9hotbqmaO4L4VouDznhvQ6oaweahb4SWOH2gjP+hjoVXR\ntS4wYC408Kk2F1ygp0AEBWSRjsanS4kxJRuJXAIGfbfBzHzwKwx32Z1XilLYaeMg\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

Postdoc in Verified Systems at TUM 🇩🇪. Previously PhD on Binary Translation (PL/FM) at TU Delft 🇳🇱. Machine code (super)optimization & synthesis, dependent types. Also voxels.

","updated":"2025-12-24 11:29:38.099Z","user":"","username":"Dennis"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

jonathanbr

Following