缘由 在 2020 年，我曾经尝试过使用 Beancount 进行记账。但当时，我每一笔开销都是手动记录的。在最初的兴趣消退后，就再没有兴致去记账了。最近，感觉需要统计一下自己的开销比例，就重新翻出了 Beancount。当然，我要吸取上次的教训，选择直接导入信用卡账单，而非手动记录开销。最终的结果… ...more
看到我社交网络里不少人都在发 2022 年的总结，我也有点心痒，准备写一篇流水账，总结一下我的 2022. PL 门外汉 给一个没有系统学过编程语言那套理论的人介绍一点点 PL 知识会发生什么呢？答案就是 ironCamel. 靠着三脚猫的知识，总算实现了自己人生中的第一个编译器，达成了程序员的一大… ...more
题目链接: https://codeforces.com/problemset/problem/282/B 官方题解: https://codeforces.com/blog/entry/6999 官方代码 CF 282B 我思考了很久，也没有什么头绪。看了官方题解，发现可以用一个很简单的贪心算法求… ...more
几周前，我领到了新的笔记本。从 2017 年为我工作的 Dell XPS 也光荣地退居二线了。我构思了很久的搭建家庭服务器的行动，也终于得以付诸实施了。写一篇流水账，记录一下我的操作流程。 安装 Fedora Silverblue 35 以及 XFCE 配置 SSH 登录 Server 的 $HOM… ...more
Table 表格 \begin{center} \begin{tabular}{ |c|c|c| } \hline cell1 & cell2 & cell3 \\ cell4 & cell5 & cell6 \\ cell7 & cell8 &… ...more
这几天被人推荐了 sioyek，据说是一个很适合读论文的 PDF 阅读器。但是，软件还比较新，截止到 2021 年 9 月没有 Fedora 的包。在 FZUG 群 里有人提过，自己手动编译软件时避免 make install，而是打成 RPM 包。这样自己的编译和运行环境更干净，便于后期维护，也也… ...more
缘起 之前写 Java 时，自己所在的组遵循这样的 workflow: 每当 master branch 有新 commit 时，会使用 Maven Release Plugin 修改 pom.xml 内的版本号 Bot 会将新版本的 Maven Package 上传到 JFrog 内。 最近，… ...more
省流助手：Jon Louis Bentley, 于 1977 年发明. 线段树是 OI 中常用的基础算法。出于好奇，我简单考证了线段树的诞生过程。个人能力所限，疏漏在所难免，恳请朋友们不吝赐教。 在 1977 年，Victor L. Klee, Jr 发表了 Can the Measure of U… ...more
Recent