土制 Nix Flake Channel
这是 Nix 土制系列的第二篇文章，继土制 Nix S3 Binary Cache之后，继续介绍我的 Nix channel 方案。即使是 all-in flake 的用法，channel 这个概念仍然非常有用，甚至在某些场景下更重要了，因为它表明了可用性。
Continue reading...Categories - 笔记
-
-
如何用 LaTeX 画 SVG 矢量图
眼尖的你一定已经发现了，本博客的 logo 其实是一个圆里面写了一个
Continue reading...\mathfrak{Y}，其实它是用 TikZ 画的。 我们可以使用 dvisvgm 生成高质量的 SVG 在各种地方使用。 -
土制 Nix S3 Binary Cache
介绍一下我自己已经用了三年多的 Nix S3 Binary Cache 的实现方案和思路。
特色：
- 土制灵车
- 极低成本：使用 Cloudflare R2 等有免费额度的 S3 服务，每月 0 USD 免费用
- 几乎 Serverless：稳定，高性能，无服务器瓶颈
- 极佳兼容性：使用
nix copy直接上传
注：第一点与其他特色并没有冲突。
Continue reading... -
不要在 Python 里 exec/eval/import 不可信代码
在同一个 Python 解释器中为部分代码做沙箱是不现实的。
Continue reading... -
莱斯定理
学习形式语言自动机这课时花了很久才理解莱斯定理（Rice's Theorem）。懂了以后发现，其实就是之前对着书瞎想的时候，没先把全局要做的事情理清楚，这个定理其实并不复杂。这篇带了一些偷懒（省略）的文章是我对莱斯定理的笔记。
Continue reading... -
Rust 闭包笔记
近日在学习 Rust 语言。Rust 语言的闭包设计非常有趣，一方面，它看起来非常复杂，为了支持闭包设计了三种不同的 trait，
Fn、FnMut和FnOnce；一方面其设计又透露出了语言设计中闭包的本质。通过考察 Rust 闭包的设计，我们能更好的理解闭包到底是什么，在拥有生存期和借用检查的语言 Rust 中，闭包如何工作。本文将在 Rust 下实现一个能够阐述闭包工作原理的朴素版闭包（也是一个 Boxed Closure）。并在实现的基础上对 Rust 闭包作进一步探究。
Continue reading...