Håkon's Diary

Elisabeth and I are on vacation in Gotland this week.

∞-Categories at Mittag-Leffler Visiting the Mittag-Leffler institute this week.

Bouldering I have been bouldering on-and-off for a few years now.

TYPES 2026 Skyline of Lindholmen where TYPES 2026 was held.

Light & Shadows There is something I haven’t mentioned here.

Firefox styling The modern-looking Firefox does not arouse joy in my heart.

Crows Crows might be my favourite bird.

NixOS has become my main operating system as of late.

Thinking hard about capability based security these days.

Late night synthing Been a while since I played on my synth.

Tenure track: [██████████] 100% complete!

We are now a couple of weeks into the functional programming course, and thus far we have covered untyped λ-calculus, simply typed λ-calculus and algebraic types, functors and today we started on monads.

Lecturing Advanced Functional Programming, again!

Last day at the cabin, before heading back home.

Wonderful times here at the cabin.

New Year Celebrating New Year at the cabin!

Found some old sketches I made many years ago in The Stockholm Logic Seminar.

Elisabeth and I went hiking in Kvanndalen.

Spending the (long) weekend in Vågsli at my parents cabin.

Over the winter, I have been refining a Haskell library of functions for doing Applicative Logic.

Been to HoTT-UF 2024 in Leuven, Belgium.

So, tonight I found myself trying in vain to start the car, with the boot full of shit.

Today was the first lecture of my new course, INF221: Advanced Functional Programming.

Today our long awaited bathroom renovation starts.

Lille-julaften (“Little Christmas Eve”) here in Norway.

Had an evening by myself.

Starting to see the end of the term approaching.

Went bouldering after work with a group of co-workers.

Back at work for almost two weeks already.

Vacation This week we returned from a vacation trip to Stockholm.