暮月

在使用 vagrant-libvirt 的虚拟机时，发现创建时给的磁盘过小。 官方文档虽未提及，但搜索后发现可以用 qemu-img 轻松调整，遂记录一下。

从本文开始，我将分享 6.824 Lab 2 的实现思路和一些我遇到的问题。 本文是 Lab 2 部分的第零篇，主要分享如何使用 Go 的标准库实现一个功能更丰富的 Logger。

抽象代数由于其抽象的特性，初学时往往难以理解。本文介绍群论的一个应用：布尔函数计数。

简要记录一下 MIT 6.824 Lab 1 的实现思路。

最近在学习 Rust 过程宏，努力完成 proc-macro-workshop 的练习。在练习中遇到了一个问题，就是如何从 Option 中提取类型。这里记录一下解决方法。

近日重新学习了经典的汉明纠错码，在此分享一下其编解码的过程和原理。