Notes
Notes - notes.io |
Diary - - December 2019
Hakon Robbestad Gylterud
2019-12-01, Sunday
The first version is finished of my article about non-well-founded sets in HoTT. I'm hoping to have enough time to upload it to arXiv next Wednesday.
2019-12-03 Tuesday
Discussed the best way to apply dependent types to 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 allows users to design GUIs based on a specification. Also, he has multiselection. We are currently trying to determine whether we can gain some leverage out of dependent types in HoTDrink-kinds of specifications.
2019-12-08 Sunday
Visiting UiO in the coming week, to collaborate with Henrik. We are exploring theories of presheaf types.
Today I've also been playing Minecraft. I first started playing Minecraft in 2010, while it was in the beginning of development. While we had an online multiplayer server for years, the world was very dispersed when they changed the generation algorithms. I rediscovered it this summer and started the new adventure.
The world is a vast biome, and players begin several kilometers apart. I am pretty happy with my current building, which is a large mansion/castle that is located in the woods. After all players have visited me, I might post pictures of it here. There are some truly amazing features that I want the others to see in-game before they see it here.
As the server administrator, I've been trying out command blocks to perform various functions. Best to date is teleportation buttons that can be moved from one player's base to another with the condition that they first walk there themselves. Everyone gets a teleporter button to "Civilisation" which is a common area located in the middle of the world. I built a wall around Civilisation and provided ample lighting so that it could be a fun hangout for all. icdama.com Inna has opened a shop in the area and we have also constructed the hut, which has shelves for books and an enchantment table. Nether portals offer a different way of comming to town.
2019-12-23, 2019-12-23,
More Minecraft over the weekend.
Linking back to Knut's GitHub account, since I can't find any official website.
Do you want to see a section for comments? Send me an email with your comments, or otherwise contact me to discuss the content on this website. See my contact info. You can also write your feedback on your site and include a link to it!
Website: https://icdama.com/
|
|
Notes is a web-based application for online 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 14 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
