What are some self-learning things I should look at this summer?

I want to learn more about eBPF, I want to do more Agda (perhaps work through PLFA), and I want to look at Alexis's math typesetting stuff. Mostly low stakes, for my own curiosity, stuff.

What else should be on the menu?

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.