http:\/\/mmix.cs.hm.edu\/ provides a rich content of MMIX, the underlying language in Knuth\u2019s TAOCP. They also provide\nassembler and instruction level simulator to run mmix code. I see someone packaged them into arch\u2019s AUR but I\u2019m current\non SUSE and have no idea about package maintenance in this system. So I just download them and put them into .bin and\nall.<\/p>","author":{"name":{}},"category":{"@attributes":{"term":"programming"}},"summary":"http:\/\/mmix.cs.hm.edu\/ provides a rich content of MMIX, the underlying language in Knuth\u2019s TAOCP. They also provide assembler and instruction level simulator to run mmix code. I see someone packaged them into arch\u2019s AUR but I\u2019m current on SUSE and have no idea about package maintenance in this system. So I just download them and put them into .bin and all."},{"title":"Do Not Plan What You Will Learned","link":{"@attributes":{"href":"https:\/\/kaguya.org\/general\/dont-plan-what-you-will-learned.html","rel":"alternate","type":"text\/html","title":"Do Not Plan What You Will Learned"}},"published":"2022-07-03T00:00:00+00:00","updated":"2022-07-03T00:00:00+00:00","id":"https:\/\/kaguya.org\/general\/dont-plan-what-you-will-learned","content":"
Just the title itself explained everything.\nEspecially applied for us poor students, adopt the whole thing from school, so cannot remember very well that we can learn all the things unplanned.<\/p>","author":{"name":{}},"category":[{"@attributes":{"term":"general"}},{"@attributes":{"term":"plans"}}],"summary":"Just the title itself explained everything. Especially applied for us poor students, adopt the whole thing from school, so cannot remember very well that we can learn all the things unplanned."},{"title":"Update After Years","link":{"@attributes":{"href":"https:\/\/kaguya.org\/general\/update-after-years.html","rel":"alternate","type":"text\/html","title":"Update After Years"}},"published":"2021-12-21T00:00:00+00:00","updated":"2021-12-21T00:00:00+00:00","id":"https:\/\/kaguya.org\/general\/update-after-years","content":"
A frastrating title but anyway this blog, of course, will continues. The thing\nis, after a couple of years, I regain my energy to focus on this side of my\nlife. I\u2019m carefully reviewing what I have done yet and what I have missed. Lot of\nthings got given up and a lot have picked up.<\/p>\n\n
I feel more and more like a middle aged man who just found something new but his\nbody, his missing youth stops him from every corner. He feels his shame when learning\nthe abcs the basics. I\u2019m not trying to hide this feeling. I don\u2019t have the right\nto say the word \u201ctalent\u201d anymore.<\/p>\n\n
The blog will update as frequently as possible everytime I have enough materials on\nany specific topic.<\/p>","author":{"name":{}},"category":[{"@attributes":{"term":"general"}},{"@attributes":{"term":"life"}},{"@attributes":{"term":"plans"}}],"summary":"A frastrating title but anyway this blog, of course, will continues. The thing is, after a couple of years, I regain my energy to focus on this side of my life. I\u2019m carefully reviewing what I have done yet and what I have missed. Lot of things got given up and a lot have picked up."},{"title":"Enable Agda\u2019s standard library when installing with Nix","link":{"@attributes":{"href":"https:\/\/kaguya.org\/fix\/nix-agda-stdlib.html","rel":"alternate","type":"text\/html","title":"Enable Agda\u2019s standard library when installing with Nix"}},"published":"2019-12-20T00:00:00+00:00","updated":"2019-12-20T00:00:00+00:00","id":"https:\/\/kaguya.org\/fix\/nix-agda-stdlib","content":"
Ispired by Isaac\u2019s post<\/a>.<\/p>\n\n Package Save these to a proper location, for example, AgdaStdlib<\/code> from nixpkg doesn\u2019t contain a\nstandard-library.agda-lib<\/code><\/a>\nfile as we need, but we can write one manually.\nSince nix links agda\u2019s standard library to share\/agda\/<\/code>, which is ~\/.nix-profile\/share\/agda\/<\/code>, create\nstandard-library.agda-lib<\/code> containing follows:<\/p>\n\nname: standard-library\ninclude: \/home\/<username>\/.nix-profile\/share\/agda\/\n<\/code><\/pre><\/div><\/div>\n\n~\/.agda\/standard-library.agda-lib<\/code>, \nthen the rest will be almost same with the instruction<\/a>.<\/p>","author":{"name":{}},"category":[{"@attributes":{"term":"fix"}},{"@attributes":{"term":"nix"}},{"@attributes":{"term":"agda"}},{"@attributes":{"term":"daily"}}],"summary":"Ispired by Isaac\u2019s post."}]}