Mostly Harmless

Thanks for all the fish

0%

I come back to watch these videos every time I feel uneasy, anxious or upset about certain trivial life events…

Read more »

关于λ演算的一些学习笔记。

我的最爱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 »

前言&工具

  我使用的是AT&T语法汇编,使用GCC编译,在qemu上跑这个简易的操作系统。GCC要求汇编代码是AT&T格式的,如果使用你想使用NASM编译的话,则可以使用intel语法。ld是GNU汇编器的链接器,GNU汇编器使用 AT&T 样式的语法。

Read more »