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
agda.club
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
agda.club
@jesper@agda.club
·
Mar 02, 2026
@mevenlennonbertrand well at least with Agda you probably don't need to burn as many GPU cycles to find a proof of false, so you could consider it to be more ecological alternative.
1
2
4
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...