Jesper Agdakx 🔸

@jesper@agda.club

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 - Effective Altruism - Veganism - Neurodiversity - Mindfulness and Engaged Buddhism - Woodwind instruments (particularly bassoon and clarinet) - Hiking and landscape photography