Don't wanna be here? Send us removal request.
Statistics
We looked inside some of the posts by gustafsonmccann42 and here's what we found interesting.
Average Info
Notes Per Post
1
Likes Per Post
1
Reblog Per Post
0
Reply Per Post
0
Time Between Posts
40 seconds ago
Number of Posts By Type
Text
2
Last Seen Tumblr Blogs
Fun Fact
The “We are the 99%” Tumblr blog became the slogan for the Occupy Wall Street movement.
Text
Diary - December 2022
Diary - - December 2019
Hakon Robbestad Gylterud
2019-12-01, Sunday
I have completed the first version of my article on HoTT non-wellfounded sets. I'm hoping to have enough time to publish it on arXiv on Wednesday.
2019-12-03 on Tuesday
Discussed how to apply dependent types to GUI specifications with Jaakko and his master student, Knut1. Jaakko is on a quest to improve how GUIs are written. He has developed a JS library called HotDrink which offers a way to generate GUI that is based on an outline and then implement certain constraints. He also has taken to multiselection. We are currently looking to see if dependent types in HoTDrink-kinds specifications can be utilized.
2019-12-08 Sunday
Visit to UiO in the upcoming week, to collaborate with Henrik. We are exploring theories of presheaf type.
Today I have also been playing Minecraft. I first started playing Minecraft in 2010, when it was still at the beginning of development. We had an online server for many years, but even though we had a lot of cool stuff however, the map became fragmented when they changed the generation algorithms. So when I picked it up again this summer, I created a new world.
The world is a vast biome and players start several kilometers from each other. My current building is a huge mansion/castle set in the woods, is content. After all players have visited me, I might post pictures of it here. There are some amazing features I would like other players to experience before they can see it here.
As the administrator of the server, I have been trying out various commands. Bankadda The best yet is teleportation buttons that can be moved from one base of a player to another, provided that they first walk themselves there. Additionally, everyone gets the option of teleporting to "Civilisation", which is a popular area near the center of the earth. I designed an area around Civilisation and provided plenty of light so it could be a fun hangout for everyone. Inna has opened a shop there and we also built the hut, which has shelves for books and an enchantment table. Nether portals offer an alternative method of getting to town.
2019-12-23, 2019-12-23,
More Minecraft over the weekend.
Linking back to Knut's GitHub account, as I'm unable to find any official website.
Are you looking for an area to comment on your thoughts? Send me an email with your comments, or otherwise contact me to discuss the content of this site. Contact me via my contact details. You can also share your feedback on your site and include a link to it!
0 notes
Text
Diary - December 2022
Diary - - December 2019
Hakon Robbestad Gylterud
2019-12-01, Sunday
I have completed the first version of my article on HoTT non-wellfounded sets. I'm hoping to have enough time to publish it on arXiv on Wednesday.
2019-12-03 on Tuesday
Discussed how to apply dependent types to GUI specifications with Jaakko and his master student, Knut1. Jaakko is on a quest to improve how GUIs are written. He has developed a JS library called HotDrink which offers a way to generate GUI that is based on an outline and then implement certain constraints. He also has taken to multiselection. We are currently looking to see if dependent types in HoTDrink-kinds specifications can be utilized.
2019-12-08 Sunday
Visit to UiO in the upcoming week, to collaborate with Henrik. We are exploring theories of presheaf type.
Today I have also been playing Minecraft. I first started playing Minecraft in 2010, when it was still at the beginning of development. We had an online server for many years, but even though we had a lot of cool stuff however, the map became fragmented when they changed the generation algorithms. So when I picked it up again this summer, I created a new world.
The world is a vast biome and players start several kilometers from each other. My current building is a huge mansion/castle set in the woods, is content. After all players have visited me, I might post pictures of it here. There are some amazing features I would like other players to experience before they can see it here.
As the administrator of the server, I have been trying out various commands. Bankadda The best yet is teleportation buttons that can be moved from one base of a player to another, provided that they first walk themselves there. Additionally, everyone gets the option of teleporting to "Civilisation", which is a popular area near the center of the earth. I designed an area around Civilisation and provided plenty of light so it could be a fun hangout for everyone. Inna has opened a shop there and we also built the hut, which has shelves for books and an enchantment table. Nether portals offer an alternative method of getting to town.
2019-12-23, 2019-12-23,
More Minecraft over the weekend.
Linking back to Knut's GitHub account, as I'm unable to find any official website.
Are you looking for an area to comment on your thoughts? Send me an email with your comments, or otherwise contact me to discuss the content of this site. Contact me via my contact details. You can also share your feedback on your site and include a link to it!
1 note
·
View note