Jesper Agdakx @agdakx@types.pl
- Pronouns
- He/they
- Website
- https://jesper.cx
- PGP
- 42dd565502cfa3768fda297748c6e03082b16e63
- Alt account
- @dregntael@dice.camp
Once Jesper Cockx but now running Agda instead. Assistant professor @ Programming Languages TU Delft.
Other things I care about include:
- Effective Altruism
- Climate change
- Mindfulness and self-compassion
- Creativity and imagination
- Neurodivergence
- Open source software
- Constructive mathematics
- Applied rationality
- AI safety
Hobbies:
- Playing and collecting tabletop role-playing games (@dregntael)
- Playing clarinet & bassoon (https://harmoniedelft.nl/)
- Hiking and landscape photography
- Watching anime (https://www.imdb.com/list/ls031529857/)
- Reading (https://www.goodreads.com/user/show/26066459-jesper)
- Playing board games (https://boardgamegeek.com/collection/user/dregntael?own=1)
- Playing (indie) video games
Achievement unlocked: use the `censor` function from `MonadWriter` in a real piece of code.
This code might require a bit of documentation, though. I am already starting to forget what it is doing.
It's beautiful weather here in The Hague. A perfect day to tell everyone we have to end subsidies for fossil industry.
Google maps has a weird definition of "moderate hill" here in the Netherlands..
Climate
This recently updated post on OWID also seems relevant to the discussion a few days back with @MartinEscardo : https://ourworldindata.org/environmental-impacts-of-food
Unreadable Agda goal
Real let bindings in Agda! Real let bindings in Agda! My kingdom for real let bindings in Agda!
Just one of the very exciting code sprints at the #Agda meeting in Edinburgh: explicit polarity annotations (screenshot posted by Josselin Poiret on Zulip).
- Pronouns
- He/they
- Website
- https://jesper.cx
- PGP
- 42dd565502cfa3768fda297748c6e03082b16e63
- Alt account
- @dregntael@dice.camp
Once Jesper Cockx but now running Agda instead. Assistant professor @ Programming Languages TU Delft.
Other things I care about include:
- Effective Altruism
- Climate change
- Mindfulness and self-compassion
- Creativity and imagination
- Neurodivergence
- Open source software
- Constructive mathematics
- Applied rationality
- AI safety
Hobbies:
- Playing and collecting tabletop role-playing games (@dregntael)
- Playing clarinet & bassoon (https://harmoniedelft.nl/)
- Hiking and landscape photography
- Watching anime (https://www.imdb.com/list/ls031529857/)
- Reading (https://www.goodreads.com/user/show/26066459-jesper)
- Playing board games (https://boardgamegeek.com/collection/user/dregntael?own=1)
- Playing (indie) video games
