Posts by Category

Tweaks

使用 bwrap 隔离 WPS Office

2 minute read

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

从 Manjaro 迁移到 Arch Linux

7 minute read

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

将 Caps Lock 映射为 Escape 和 Ctrl

5 minute read

Caps Lock 可能是键盘上最没有用的一个键了,但是它又占据了 home row 的位置。一些人会把它映射成 Escape 或者 Ctrl。但是作为一个 Vim 用户,Escape 和 Ctrl 都是很常用的键。如何让 Caps Lock 在单击的时候是 Escape,和其它键配合的时候是 Ctrl?

合并挂载在 //home 的分区

4 minute read

最近需要装一个很大的虚拟机,在导入 VirtualBox 的时候出现了「NS_ERROR_INVALID_ARG (0x80070057)」这个错误,上网查发现是因为硬盘空间不足。我的硬盘有 67G 的空闲空间,但是因为把 /home 单独分了一个分区,两个分区每个都有 30G 左右的剩余空间,无法充分利用。我的...

从 GNOME 迁移到 i3

8 minute read

本文记录一下在我的 Manjaro 上从 GNOME 迁移到 i3-gaps 的经历,也可以为在其它 Arch 系发行版上安装 i3-gaps 提供一些参考。i3 是一种平铺窗口管理器(tiling window manager)。我在本机安装 i3 之前先在虚拟机上尝试了一下 Manjaro 的 i3 edit...

Back to Top ↑

Programming

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

3 minute read

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

从零开始的 λ 演算

15 minute read

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

Rust + WebAssembly: 最近点对问题

8 minute read

先放 链接。这个项目一开始是算法课的一个上机作业,平面上的最近点对问题。这是一个使用分治法的计算几何学问题,具体的算法就不在这里解释了,这篇博客主要讲讲 Rust 和 WebAssembly。

Back to Top ↑

Tools

使用 pass 管理密码

4 minute read

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

Fcitx5 安装记

3 minute read

在 #archlinux-cn 上 fcitx 是个经常被讨论的话题,每次都有人推荐 fcitx5。但是因为只有在 KDE 中有图形化的配置工具就一直没有尝试。今天有人说配置工具 kcm-fcitx5 在非 KDE 中也可以安装了,所以来试试。

Back to Top ↑

Server

搭建一个 Git 服务器

2 minute read

本篇将记录我使用 gitweb 和 nginx 搭建带有网页界面和 HTTP clone 的 Git 服务器的过程。

Back to Top ↑

Miscellaneous

更换域名

less than 1 minute read

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

Back to Top ↑