Hakuna Matata Posted on 2019-09-12 Edited on 2021-10-30 In Memo I come back to watch these videos every time I feel uneasy, anxious or upset about certain trivial life events… Read more »
Total Perspective Vortex Posted on 2019-09-05 Edited on 2021-11-15 In Apricity Adapted from sci-fi: Restaurant at the End of the Universe, chapter 10 and chapter 11. Read more »
你的第一个Linux内核补丁 Posted on 2019-04-18 Edited on 2021-10-30 In CS 这是一个linux内核补丁提交教程,其中有不少内容来自Kernel Newbies,也有部分自己创作的。书籍推荐: Linux Device Drivers Read more »
Total Perspective Vortex (绝对透视漩涡) Posted on 2018-10-20 Edited on 2021-11-15 In Apricity 这个小短漫改编自科幻小说《宇宙尽头的餐馆》第十章和第十一章。 Read more »
λ演算 Posted on 2018-02-28 Edited on 2021-10-30 In CS 关于λ演算的一些学习笔记。 我的最爱Lambda演算——开篇 · cgnail’s weblog 阿隆佐.丘奇的天才之作——lambda演算中的数字 · cgnail’s weblog Lambda演算中的布尔值和选择 · cgnail’s weblog 为什么是Y? · cgnail’s weblog 从Lambda演算到组合子演算 · cgnail’s weblog Lambda演算的类型 · cgnail’s weblog 终章,Lambda演算建模——程序即证明! · cgnail’s weblog Read more »
从启动盘开始写一个简易操作系统 Posted on 2017-07-09 Edited on 2021-10-30 In CS 前言&工具 我使用的是AT&T语法汇编,使用GCC编译,在qemu上跑这个简易的操作系统。GCC要求汇编代码是AT&T格式的,如果使用你想使用NASM编译的话,则可以使用intel语法。ld是GNU汇编器的链接器,GNU汇编器使用 AT&T 样式的语法。 Read more »