最近更新 7 天前近 12 个月 11 篇
11月10月（本月）
文章
- Make screenshare work in wayland
- Quiescent consistency, sequential consistency and linearizability
- now on fediverse(pleroma)!
- die Todgeweihten interview (chinese)
- Reflections on the isomorph album (cn+en)
- Isomorph
- Lambda-calculus: 布尔逻辑
- Caching Mapping / 缓存映射
- Lambda 演算
- Extensionality
- xmonad Experience + i3-like config
- 配乐很好听的动漫
- Latex basic
- Basics of mutual exclusion and locks
- Perfection at the price of humanity
- 啸叫
- Christmas trees are stupid
- CBSE notes
- 记一次删库
- 语言的数量
- OS notes
- 垃圾清理
- switch vim buffers
- 一点体会
- 自动机
- 快速幂模的两种实现
- IEEE754 单精度浮点数
- Vektorraum, Untervektorraum und Spannraum
- GPG Quick Notes
- nvidia-xrun solution on hybrid graphic + tearing free