Hexadecimal's Blog

目录

除夕
寫於二〇二一年十二月十二日。崩壞注意！
regular language and pumping lemma
二〇二二年五月十三日。
Using GnuPG to unlock your ZFS dataset on boot (in NixOS)
二〇二二年一月四日。
recompilation
二〇二一年十一月十八日。
BABA IS STL
二〇二〇年五月二十六日。
Mellanox ConnectX-2 VPI Linux 内核驱动
二〇二〇年四月十一日。
自然对应的笔记
二〇一八年六月十五日。
Coq 形式验证入门（一）
二〇一八年五月十五日。
drew Akatsuki
二〇一八年四月十三日。
KaTeX 测试
二〇一八年一月五日。