dramforever
a row of my life
Index
Threaded code explained in C
2023-11-20
ELF relative relocations explained
2023-09-18
VisionFive JTAG adventures, Part 1: JH7100 GPIO
2022-06-27
Magic tricks with CRC
2021-12-25
The with construct in nix-lang
2021-05-19
Untitled router：一个路由器的故事
2020-12-31
Counting empty triangles with number theory
2020-05-31
Heyting algebra made unnecessarily complex
2020-02-06
What happens when you foreign import “wrapper”?
2020-01-29
6 步搞懂 FFT
2019-09-15
Stack-based Clash environment
2019-08-05
Bootstrapping Nix
2019-01-24
用 2 盏灯也能实现群聊
2018-05-18
CPS、ANF、Monad 和 Callback hell
2017-03-28
Möbius 反演
2017-03-18
有关 monad 的一些想法 (4)
2017-01-25
有关 monad 的一些想法 (3)
2017-01-23
C 语言注释的妙用
2017-01-13
有关 monad 的一些想法 (2)
2016-12-26
有关 monad 的一些想法 (1)
2016-12-02
表达式归一化和 Traversable, Generics
2016-06-02
表达式归一化与 Free Monad
2016-05-22
七树归一
2016-02-10
Chair Trees (SPOJ MKTHNUM)
2015-12-30
Splay 和 Link/cut tree (HDU 2475)
2015-12-14
Hello World
2015-08-22