自我矛盾

My thoughts on creating the album “Isomorph”

使用λ-演算定义True/False, 并进行布尔运算。

Cache映射的三种方式，全相联(Fully Associative cache)，直接相连(Direct-Mapped cache)，组映射(k set-associative cache)

Lambda演算学习笔记，

Lambda / Functions / Extensional / Intensional

I recently moved from i3 to xmonad. This post is about what I feel and my configuration.

主要是jazz/blues/classical

LaTeX basic usages. takeaways from Luke Smith’s Latex tutorial

NOTES ON [FCDS] : mutex.
Keywords: Mutual Exclusion, Locks, Peterson’s Algo. Filter Algo. Bakery Algo.