土制 Nix Flake Channel
这是 Nix 土制系列的第二篇文章,继土制 Nix S3 Binary Cache之后,继续介绍我的 Nix channel 方案。即使是 all-in flake 的用法,channel 这个概念仍然非常有用,甚至在某些场景下更重要了,因为它表明了可用性。
Continue reading...这是 Nix 土制系列的第二篇文章,继土制 Nix S3 Binary Cache之后,继续介绍我的 Nix channel 方案。即使是 all-in flake 的用法,channel 这个概念仍然非常有用,甚至在某些场景下更重要了,因为它表明了可用性。
Continue reading...眼尖的你一定已经发现了,本博客的 logo 其实是一个圆里面写了一个 \mathfrak{Y},其实它是用 TikZ 画的。
我们可以使用 dvisvgm 生成高质量的 SVG 在各种地方使用。
介绍一下我自己已经用了三年多的 Nix S3 Binary Cache 的实现方案和思路。
特色:
nix copy 直接上传注:第一点与其他特色并没有冲突。
Continue reading...在同一个 Python 解释器中为部分代码做沙箱是不现实的。
Continue reading...我的 Oracle Cloud 免费账户的权限被禁用了,无任何邮件提醒,不提供数据恢复手段。好在我没有部署任何存储有价值数据的服务到 Oracle Cloud 实例上。现已重部署所有服务到其他机器上。提醒大家珍爱数据,远离 Oracle Cloud。
Continue reading...学习形式语言自动机这课时花了很久才理解莱斯定理(Rice's Theorem)。懂了以后发现,其实就是之前对着书瞎想的时候,没先把全局要做的事情理清楚,这个定理其实并不复杂。这篇带了一些偷懒(省略)的文章是我对莱斯定理的笔记。
Continue reading...近日在学习 Rust 语言。Rust 语言的闭包设计非常有趣,一方面,它看起来非常复杂,为了支持闭包设计了三种不同的 trait,Fn、FnMut 和 FnOnce;一方面其设计又透露出了语言设计中闭包的本质。通过考察 Rust 闭包的设计,我们能更好的理解闭包到底是什么,在拥有生存期和借用检查的语言 Rust 中,闭包如何工作。
本文将在 Rust 下实现一个能够阐述闭包工作原理的朴素版闭包(也是一个 Boxed Closure)。并在实现的基础上对 Rust 闭包作进一步探究。
Continue reading...本文为 Rust RFC 2349 - Pin 的中文翻译。
Rust RFCs 并非一成不变,本文翻译于 2018 年 08 月 19 日。
Rust RFCs 仓库目前(2018-08-21)为可选的 MIT 和 Apache 授权,本文使用了其 MIT 授权。MIT 许可证副本。
文中有众多 Rust 中的其他 RFC 甚至 crates 中的概念,水平有限,如有翻译错误或建议,可以向我的 GitHub 仓库提 Issue 或者直接发起 PR 指正,本文文件:content/posts/rust-rfc-2349/index.md。
Continue reading...本文为 Rust futures-rs 博客 2018 年 8 月 17 日 的 博文 Toykio 的中文翻译。
原文作者 Alexander Polakov(@polachok)。
原文目前(2018-08-21)为可选的 MIT 和 Apache 授权,本文使用了其 MIT 授权。MIT 许可证副本。
Continue reading...咸鱼了很久觉得还是应该写个博客记录和总结一下日常的学习。
Continue reading...