Jesper Agdakx 🔸

Once Jesper Cockx but now running Agda instead.

Associate professor Programming Languages Delft (npub1r26…km2p).

I've taken the 🔸10% Pledge (#2542) to donate to effective charities since 2017.

I've received the Five Mindfulness Trainings in the Plum Village tradition in 2023.

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

Pronouns: He/him or they/them
Website: [jesper.cx](https://jesper.cx )
PGP: 42dd565502cfa3768fda297748c6e03082b16e63
Alt account: Dregntael (npub1lu3…lrau)
Goodreads: [goodreads.com/user/show/26066459-jesper](https://www.goodreads.com/user/show/26066459-jesper )

Last Notes

2026-09-23 11:33:40 GMT

A message from my colleague Benedikt Ahrens:
> Hi all,
>
> I have funding for a postdoc position at TU Delft on combining computer proof assistants and computer algebra systems in the area of category theory, and I would be happy to hear from potential applicants before the formal advert goes out.
>
> I am looking for someone who is interested in all three of proof assistants, computer algebra systems, and category theory, and who has some experience in at least one or two of them.
>
> The position ideally starts no later than March 2027.
>
> If you are interested, please email me at [email protected] with a short note about your background and your research interests. Informal questions are very welcome.
>
> Please feel free to forward this to anyone who might be a good fit.
>
> Best wishes,
> Benedikt

2026-04-14 07:55:07 GMT

Our department is hiring an assistant professor in computer science (including programming languages). If you would like to join our small but diverse PL group in beautiful little Delft, please don't hesitate to apply! Also feel free to reach out to me if you want to know anything about our department or academic life in the Netherlands.
Deadline for applications: 11th of May
https://www.academictransfer.com/en/jobs/360114/assistant-professor-in-computer-science/
#TUDelft #AssistantProfessor #Hiring #ComputerScience #SoftwareTechnology #ProgrammingLanguages #TypeTheory #SoftwareVerification #Agda #Rocq

2025-12-29 14:17:44 GMT

I just installed @npub1rk6…hv4q on our VPS together with my dad, as a replacement for our Seafile server that started misbehaving a bit after an upgrade. While it took some time to figure out the nginx and docker configuration, the whole process was pretty smooth and I imagine someone who's more used to setting up such things could do it in less than an hour.
Now that we have it, there is so much cool stuff that's included: photo albums, calendars, collaborative editing, Doodle-style polls, synced bookmarks, and many more (see https://apps.nextcloud.com/).
So far there's just a few small things that could be improved: syncing softlinks is not supported, and history is only on a per-file basis (not a whole directory). But overall I'm really happy with the quality and feature set.
#NextCloud #SelfHosting #OpenSource

2025-08-29 19:09:00 GMT

Here's a small selection of the photos I took on our trip to #Wales this August. It was surprising, mysterious, wonderful, and stunning, and I can't wait to go there again and visit all the places we missed!
#photography #naturephotography #landscapephotography #outdooradventures
https://agda.club/media/da489540eb5f37df8ad1c73e9be9f5bbd624ac0818102318f3e8e9c47f7ae26f.JPG
https://agda.club/media/c67bed475012ee83e700480400d2a0cb3c3369e3057789a08ae8cddebb6c075f.JPG
https://agda.club/media/29d8add91e9a82ef11211e0aac490f509064be18eeee34920ab2b4be762f0494.JPG
https://agda.club/media/717d4898630355e72f874654225ed321d7617d6a92f9a27715d50251c7df7b6f.JPG
https://agda.club/media/878841496727ccdd200176bcf4f9b08a705b259cf92cdef6a90aa16486bad05d.JPG
https://agda.club/media/e645aa4b145f75e86e6d43ea62b1c3291b335cfd706fc08477262ee669a986ee.JPG
https://agda.club/media/3d7ef5ee0eabb9211329d787982741d7feb5f601a157c69dad9394507b8e9489.jpg
https://agda.club/media/0b643c19be2ebf2b7cfdb06f12246b472b5d4c0d922e90e585e8eb93755aa754.JPG
https://agda.club/media/099213623146593f0f1613620820c93f03a98bef93b7bd8523d1855cb6e1498b.JPG
https://agda.club/media/cb71ccac3b9330a8690a3ba492a9605779048b3f234bf7a4307444db8c41b8c5.JPG
https://agda.club/media/34eca34d336d96d6c550d69f5b36de3190bb5edcf3345503f1bdff5e4541a6ff.JPG

2025-03-11 08:59:48 GMT

As part of our (@npub198y…6hu0 and yt) research on **the usability of interactive theorem provers**, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in **tools that encourage and facilitate type-driven development**, especially in cases when they can help us reason about complex problems.
We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.
Please fill in our *anonymous*, 10-minute survey here: https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS
You are welcome to participate if you have experience with *any* type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).
P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We've had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.
#Agda #Coq #Rocq #Lean #LiquidHaskell #Rust #Haskell #TypeDrivenDevelopment #TyDe #DependentTypes #LiquidTypes #RefinementTypes #ProofAssistants #Survey

2024-11-05 18:17:21 GMT

- reply

Ok this is genuinely terrifying. Once again I'm so glad I live in the Netherlands. Let's hope it stays strong as a bulwark for pedestrians and cyclists.