{"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-18 02:33:53.333Z","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-18 02:33:53.333Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 02:33:54.066Z","domain":"social.coop","followerCount":0,"followers":"https://social.coop/users/apostolis/followers","following":"https://social.coop/users/apostolis/following","followingCount":0,"icon":"https://social-coop-media.ams3.cdn.digitaloceanspaces.com/accounts/avatars/000/007/571/original/c0f061e43833816b.jpg","id":"ehvsq34hfa2ywm8","inbox":"https://social.coop/users/apostolis/inbox","iri":"https://social.coop/users/apostolis","isLocal":false,"last_fetched":"2025-12-18 02:33:54.066Z","outbox":"https://social.coop/users/apostolis/outbox","preferred_username":"apostolis","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAopFT9dSGamQ27KiDEMVY\njOUauqRuX8Dl+rRP+Qy5OCNqhahAYw5JpVw9Ubw7N3olsPMKZG3KYJmqZw8BIC/K\nU0DKF7ZGpWCmP5RB76gC+qJ5/NZbCcu8V/sF1fIGyT+za9BQ8fe1+8fDqRWCFNB5\n6lfrQUzpYNGQxzBQDY9RZJn2ZMJce34I0MxVChQINAx96IoT753TIcThSaM/DjOP\nHIzLALg34jOxuituaR9d0sHLMMRw4iqtcf+IbdGZmKap9f1IVcNAQlo5La63MR5b\nHPRpWcVwwhLBQAALBRnE5Tc9mVF5kkAi7oDPlw1ha4QMVpOh7ZDks2rdsyRqqE6A\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-12 00:00:00.000Z","summary":"

NaN

","updated":"2025-12-18 02:33:54.066Z","user":"","username":"Apostolis"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 02:33:54.170Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dunhamsteve/followers","following":"https://mathstodon.xyz/users/dunhamsteve/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/306/544/643/479/952/original/3db48cc67402579c.jpg","id":"lthe0xbnhzppeiq","inbox":"https://mathstodon.xyz/users/dunhamsteve/inbox","iri":"https://mathstodon.xyz/users/dunhamsteve","isLocal":false,"last_fetched":"2025-12-18 02:33:54.170Z","outbox":"https://mathstodon.xyz/users/dunhamsteve/outbox","preferred_username":"dunhamsteve","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3SmgF9K5YpY3Jno6rVUA\nuIMrL1ONvIkj46oI5cnAznjikdUnF5A8mOJaPVO3A3NfsEFAhDSS7RoDfj/h3KGy\ngoGfhQ+pts0NMT01z0XddQeqYud8Utak54+6cP+3VzAtyt5Te8vQJVYWhTyNHyiY\nD+D50nafyD+lqJzWtcZL63geWJ/5uZlcIOesPI/RRl+c/QDZ/cOutl6MIPXjLfUA\nsHthYYhB2rmY8Vwxl2+aZ5PESySgLcnc1/yQjp4qbGvpfGHxb7k5bsN4pb/rs+hm\n81d75YgelGiJVL3GHHstmsCpKZxDREn4FtV1ht44de5stX71rjkWfxwLdgMRSioi\nuQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

I'm a former Math and Computer Science grad student turned software engineer. Recently I've been revisiting the academic side of things, trying to learn type theory and category theory in my spare time.

","updated":"2025-12-18 02:33:54.170Z","user":"","username":"Steve Dunham"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:34:40.484Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ayberkt/followers","following":"https://mathstodon.xyz/users/ayberkt/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/122/801/original/f1232d87d585c5d2.jpg","id":"so6fb277qi56j71","inbox":"https://mathstodon.xyz/users/ayberkt/inbox","iri":"https://mathstodon.xyz/users/ayberkt","isLocal":false,"last_fetched":"2025-12-18 02:33:55.217Z","outbox":"https://mathstodon.xyz/users/ayberkt/outbox","preferred_username":"ayberkt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNXWfWwkJCPEhfPzAtMr\nrrMZjwwpBILOXL/QdKfrdTDsDdjQ0HeqTtPgA2RfmkhQTwDyJh7baxVrtAlj7fwq\nRRK2uun6Jtul/ZYGVSIF0LpqqN9lud/tAnmQW2e2ISKhqmsYjXlyrLof1wgPOcRu\ntLNyzkUeWXRQz5RhsIPR4++I4EIB8UwlOP6DSALbIEOnCaP6BFoaMUpBeG6yuyft\nk6KIq5ttKP2QFkjmpTVkr+36mXHNb9rjNVfyag3TK3BiRQcEyT7j3aZXBIK2AAwS\nTuh4hrQypzjpon/rpXyFbkUhjmjQtIPY6TsGrjjtm2RhsuVJe+bAvn8nqTb7g9dC\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-11-20 00:00:00.000Z","summary":"

Researcher in formal verification at Zeroth Research (https://www.zeroth.org/).

Formerly, a PhD student at the University of Birmingham.

","updated":"2025-12-18 02:33:55.218Z","user":"","username":"Ayberk Tosun"}],"page":1,"perPage":10,"totalItems":21,"totalPages":3}

The Chicken

Followers