May 2026

2026-05-02, Friday

Light & Shadows

There is something I haven’t mentioned here. But it is something I have poured a lot of my spare time into the last year. There will be a series on this website about it, someday… But for now, I will just leave this video here.

There are still artifacts, still not super smooth. Still temp assets. But there is light, there are shadows, and it was written in Haskell (and GLSL), and there are no polygon meshes at runtime.

2026-05-08, Friday

TYPES 2026

This week was TYPES 2026. As usual, TYPES was a nice conference, with lots of likeminded people gathered to discuss type theory. I thought the talks this year held a good level, especially the invited talks. And I got to exchange ideas with new and old friends in the community. Zhili presented our joint work on higher kinded containers.

I stayed in a hotel next to Karlatornet, which is the phallic tower you see above. I quite enjoyed Gothenburg this time around, but did not do much sight-seeing, except for dining excursions and a visit to Backa Boulder. This year’s conference I felt was better paced than previous years, where I have felt that there have been just too many talks, and too busy programme.

Flying back to Bergen tonight.

2026-05-10, Sunday

Bouldering

I have been bouldering on-and-off for a few years now. The first few times I heard about bouldering, it seemed very unappealing to me. But, forced by slight social pressure, I tried bouldering back in 2012.

And it was really fun! So, fun it did not even feel like exercising, or at least not how I have previously experienced it. I would be completely focused on the problem, not just trying to endure another set or another lap around some track. Alas, I quickly stopped as life got more busy…

Ten years go by. Life happens, and while I stay somewhat active with hiking, I missed bouldering. But somehow I get started again. A group from work is going, and I join. We climb every Friday, no exceptions. Just what I needed to get back on the wall. It feels like starting completely over, of course. I no longer rember what grades I climbed back in 2012, but I remember making a bit of progress. But this time it takes me a couple of sessions just to send a 5.

After the first year or so, more busy life stuff happened, and I have been struggling to get a climbing session in every week. But still, I make some progress. Gradually, my forearms have been growing, and my technique has improved. I do not consider myself a good climber, by any stretch of imagination. None the less, I reached an important (for me) milestone today:

I sent my first 7A!

A very modest achievement in the grand scheme of things. Many people can climb a 7A. Even many people who have trained a lot less bouldering than I have. Bouldering is not a source of pride for me. To me, sending a 7A signifies the fact that I havent given up on training. Despite life being busy, I keep going to the gym. For fun and for health!