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