使用 Incus 构建实验室开发环境 3
· 3 min read
之前主要关注的是 Incus 容器，但有时候也有虚拟机的场景。本期将初步探索虚拟机的配置和管理。
使用 Incus 构建实验室开发环境 2
· 5 min read
在上一篇文章中，我们探索了使用 OpenTofu/Terraform 来管理 Incus 容器的基础操作。本期将继续深入，介绍更具体的实验室开发环境的构建方法。
使用 Incus 构建实验室开发环境 1
· 7 min read
在上一篇文章中，我们主要探索了 Incus 的基本功能，成功地创建了容器和虚拟机。然而其基于命令行的操作方式对于多容器的管理还是有些不便。本期介绍基于 OpenTofu/Terraform 的方式来管理 Incus 环境。
使用 Incus 构建实验室开发环境 0
· 11 min read
实验室此前主要使用 Docker 来构建容器化的开发环境，Vagrant + libvirt (QEMU/KVM) 来构建虚拟机开发环境。 或许使用 Incus 来统一管理会更加方便，基于 LXC 的容器亦可能更适合我们的使用场景。 本文是使用 Incus 构建环境的初步尝试，探索其使用方法。
Using FontAwesome Icons with Typst's Cheq
· 2 min read
When using cheq, I wanted to replace the default icons with FontAwesome icons and discovered some important considerations.
动态调整 vagrant-libvirt 虚拟机的磁盘大小
· 4 min read
在使用 vagrant-libvirt 的虚拟机时，发现创建时给的磁盘过小。
官方文档虽未提及，但搜索后发现可以用 qemu-img 轻松调整，遂记录一下。
6.824 Lab 2 简记（零）: 一个漂亮的 Logger
· 9 min read
从本文开始，我将分享 6.824 Lab 2 的实现思路和一些我遇到的问题。
本文是 Lab 2 部分的第零篇，主要分享如何使用 Go 的标准库实现一个功能更丰富的 Logger。
Group Theory Application: Boolean Function Counting
· 5 min read
Abstract algebra is often challenging to understand initially because of its abstract nature. This article introduces an application of group theory: counting boolean functions.
Brief Notes on 6.824 Lab 1
· 8 min read
Brief notes on my implementation of 6.824 Lab 1.
Extract type from `Option` in ProcMacro of Rust
· 4 min read
Recently I was learning Rust ProcMacro, and I was trying to complete the exercises of proc-macro-workshop. In the exercises, I encountered a problem, that is, how to extract the type from Option. Here I record the solution.