Notes
Notes - notes.io |
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
Discussed the best way to integrate dependent types into GUI specifications with Jaakko and his master student, Knut1. Jaakko is on a mission to improve how GUIs are written. HotDrink is an JS library that lets users to design GUIs based on a specification. He also has multiselection. We are currently trying to see if we can get some leverage from dependent types in HoTDrink-kinds of specifications.
Tclonline.Org
2019-12-08, Sunday
We will be visiting UiO in the coming week, to collaborate with Henrik. We are examining theories of presheaf type.
Today I've also been playing Minecraft. I began playing Minecraft in 2010, while it was at a very early stage of development. While we had an online multiplayer server for years, the world was a bit splintered after they changed the generation algorithms. I rediscovered it this summer and began the new adventure.
The world is a large biome world and players start many kilometers apart. I am quite content with my present home which is a massive mansion/castle in the woods. After all players have visited me, I may post photos of it here. There are some really cool features, which I want the others to experience in-game before they can see it here.
As the server admin I have been experimenting with command blocks to perform various functions. Teleportation buttons that allow players to transfer from one base to another is the most effective, provided they first walk there. Everyone has a teleporter that can take them to "Civilisation" which is can be described as a common location located in the middle of the planet. I defended Civilisation with a wall and plenty of light, to make it a an enjoyable hangout for everyone. Inna has opened a shop in the area and we've also built the hut with bookshelves as well as an enchantment table. A portal that is not a portal provides an alternative method of getting to town.
2019-12-23 Monday
More Minecraft over the weekend.
Linking to Knut's GitHub account as I'm unable to have no official website.--
Expecting a comment section? Feel free to send me your comments, or otherwise contact me to discuss the content on this site. Find my contact information. You can also post your opinion on your own website and then return to me!
Here's my website: https://tclonline.org/
|
|
Notes.io is a web-based application for taking notes. You can take your notes and share with others people. If you like taking long notes, notes.io is designed for you. To date, over 8,000,000,000 notes created and continuing...
With notes.io;
- * You can take a note from anywhere and any device with internet connection.
- * You can share the notes in social platforms (YouTube, Facebook, Twitter, instagram etc.).
- * You can quickly share your contents without website, blog and e-mail.
- * You don't need to create any Account to share a note. As you wish you can use quick, easy and best shortened notes with sms, websites, e-mail, or messaging services (WhatsApp, iMessage, Telegram, Signal).
- * Notes.io has fabulous infrastructure design for a short link and allows you to share the note as an easy and understandable link.
Fast: Notes.io is built for speed and performance. You can take a notes quickly and browse your archive.
Easy: Notes.io doesn’t require installation. Just write and share note!
Short: Notes.io’s url just 8 character. You’ll get shorten link of your note when you want to share. (Ex: notes.io/q )
Free: Notes.io works for 12 years and has been free since the day it was started.
You immediately create your first note and start sharing with the ones you wish. If you want to contact us, you can use the following communication channels;
Email: [email protected]
Twitter: http://twitter.com/notesio
Instagram: http://instagram.com/notes.io
Facebook: http://facebook.com/notesio
Regards;
Notes.io Team
