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?