Recent Posts

关于基于表达式的编程语言的一些思考

3 minute read

最近学 Go 语言又想起之前看过的一个 talk,presenter 说他几乎不用 else 关键字。因为一般情况下,if 语句的其中一个 branch 会比较短(比如处理特殊情况),这样可以在这个 branch 结束后直接从函数返回,后续的代码就不需要进行缩进了,如 func fact(n int) int {...

使用 bwrap 隔离 WPS Office

2 minute read

看到依云在 博客 中提到了非特权沙盒工具 bwrap。博客的结尾提到可以用它来跑一些不太干净的软件,便来配置一下 WPS Office。

从零开始的 λ 演算

15 minute read

这是我在看完 PyCon 2019 演讲「Lambda Calculus from the Ground Up」之后做的一个文字版,原视频在 https://youtu.be/pkCLMl0e_0k。另见官网中的 介绍,这里提供一个翻译。

从 Manjaro 迁移到 Arch Linux

7 minute read

今天我把系统换成了 Arch Linux,用的是 Btrfs 文件系统,套上 LUKS 加密(加密包括 /boot)。由于我已经在虚拟机里面实验过整个过程,所以今天的安装过程非常顺利,一共只用了一两个小时。

使用 pass 管理密码

4 minute read

Pass 是一个使用 GPG 管理密码的工具。它的 网站 介绍说: Pass: the standard unix password manager