This is my public diary.
Visiting Stockholm University this week to give a talk about quotes in type theory. Yesterday, I discussed various research topics with Erik, who gave me some good references. Today I gave the talk and discussed monoidal categories and polynomial functors with Chaitanya.
On Monday I passed by Jam Syntotek on Roslagsgatan and bought a Moog Mother-32, and had a nice session with it in my room before I went out to meet Kristian Moi.
This Easter we are enjoying the finest weather Bergen has to offer, and the balcony on our new apartment. When the weather is nice, our balcony is basically a second living room.
Together with my sister, we had a family walk on Ulriken. Since the weather was clear, I brought my camera and took pictures of stuff from up there. The most surpring thing I found was that one can see the windmills on Fitjar, roughly 45 kilometers away, with the naked eye. Using the windmills as a reference point I was able to find other familiar mountain tops like Kattnakken, Mehammarsåto and Siggjo.
Tomorrow, my friends John and Ingrid will arrive — and on Friday we all go to Stord to visit my parents.
Back to work after Easter break. Looking forward to getting started again. Here is another picture I took from Ulriken:
I wrote a short review with my first impressions of the Mother 32. Read the review!.
Time just flew by at work today. First I had an interesting discussion with Michal about Agda. I have been in the constructive bubble for so long now I have forgotten how classical mathematicians think. Then, after a three ours of lectures, Jonathan and I worked on the planar graph project. Jonathan will present the project at TYPES 2019.
Department gathering at Solstrand Hotel&Bad, focussed on the UiB Department of Informatics’ intentions of becomming better recognised for its teaching and research.
Played D&D. The party is still confusedly wandering around in a wizard’s tower. They met him.
Cold weather again:
Still snow in the air, as Jonathan and I put the finishing touch on the abstract of his TYPES 2019 presentation.
Weather improved again. Playing with my Mother-32.
Planning day for kindergarden. We spend it walking accross Landåsfjellet, the mountain closest to our home on Mannsverk.
In the afternoon I started preparing my lecture notes for next term. I will again be teaching INF226, software security. This year my TA is Benjamin Chetioui, who is a PhD student in our group and member of Inshall’Hack.