Diary December 2022
Contents
Diary December 2019
Hakon Robbestad Gylterud
2019-12-01, Sunday
I finished the first version of my article on HoTT non-wellfounded sets. I hope I can find the time to publish it up on arXiv next week.
2019-12-03 Tuesday
Jaakko and Knut his master student discussed the use of dependent types in GUI specifications. Jaakko is determined to improve the way GUIs are written. He has a JS library called HotDrink, which provides a way to generate GUI using a specification and implementing certain constraints. There is also multiselection. We are currently trying to determine whether we can gain some leverage from dependent types in HoTDrink-types of specifications.
2019-12-08, Sunday
Visiting UiO in the coming week, to work with Henrik. We are examining theories of presheaf type.
Today I have also been playing Minecraft. I first started playing Minecraft in 2010, while it was at an early stage of development. While we had an online multiplayer server for decades, the landscape was a bit splintered after the change in generation algorithms. When I rediscovered it this summer, I created an entirely new world.
The world is a huge biome and players begin some distance from one another. I am quite satisfied with my present home, which is a large mansion/castle that is located in the woods. After all the players have visited me, I may upload pictures of it here. There are some truly cool featuresthat I would like other players to experience in-game before they see it here. Game2hub
As the administrator of the server, I've been testing different command blocks. Teleportation buttons that allow players to transfer from one base to another are the most effective, provided they first walk to the other base. Every player has a teleporter button to "Civilisation" which is is a common place located in the middle of the world. I designed walls around Civilisation and provided ample lighting so that it can be a relaxing place to hang out for everyone. Inna has opened a store there and we've also built an hut with bookshelves and an enchantment desk. A portal that is not a portal provides an alternative way to get to town.
2019-12-23 Monday
More Minecraft over the weekend.
Linking to Knut's GitHub account since I seem to have no official site.It is
Expecting a comment section? You can e-mail me with your comments or contact me to discuss the site's content. See my contact info. You can also post your own opinion on your personal website and then return to me!
