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.

Being a perfection means following a set of doctrines strictly – there is no such thing as perfection without a standard of “perfect state”, which is quantized, pitch fixed, and fundamentally machinery. Perfect art is dead art, in which humanity no more plays a part.