Recent Posts

使用 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

更换域名

less than 1 minute read

2021-04-18 更新:isso 和 goatcounter 不想写博客了 😂 不过我把配置过程放在我的 wiki 上了 → isso, goatcounter