最近(真的近吗?)我使用的设备经过了一系列设备升级. 这篇blog旨在对Debug过程做一些记录.
选择公理
Posted on
Edited on
这篇blog旨在记录选择公理(Axiom of Choice, AC)以及一些奇妙推论.
如何在VPS上使用NixOS
Posted on
Edited on
NixOS 是一种基于声明式配置的操作系统,
只需通过一个配置文件即可完成整个系统的搭建, 非常适合用于 VPS 的环境配置.
我会在这里记录我安装 NixOS 并在上面搭起这个博客的全过程.
Null
Posted on
Nothing here.