How can we judge if the concurrent execution is correct? the schematics of concurrent consistency.

vnil.de is now a fediverse instance.

来自Dying Art厂牌的专访。

自我矛盾

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.