I've been working on a side project, mainly as a way to have respite from what's happening in the world, and it's coming along.

I've never really been any good at keeping up with things like this, but I'm starting to feel like there isn't a good place to put what I'm working on or feeling, and I guess the internal pressure to get something out is starting to overwhelm the feeling of insignificance.

So, I'll leave it here with some key things I'd like to publish some notes on in the soon up-coming future:

• Scala 3's Dependent Object Types

• Effect systems (as delimited continuations)

• All of Henry Baker's papers