2022 年的总结

看到我社交网络里不少人都在发 2022 年的总结,我也有点心痒,准备写一篇流水账,总结一下我的 2022. PL 门外汉 给一个没有系统学过编程语言那套理论的人介绍一点点 PL 知识会发生什么呢?答案就是 ironCamel. 靠着三脚猫的知识,总算实现了自己人生中的第一个编译器,达成了程序员的一大… ...more

December 31, 2022
Fedora Silverblue 35 设置为家庭服务器

几周前,我领到了新的笔记本。从 2017 年为我工作的 Dell XPS 也光荣地退居二线了。我构思了很久的搭建家庭服务器的行动,也终于得以付诸实施了。写一篇流水账,记录一下我的操作流程。 安装 Fedora Silverblue 35 以及 XFCE 配置 SSH 登录 Server 的 $HOM… ...more

May 09, 2022
My LaTex Cheatsheet

Table 表格 \begin{center} \begin{tabular}{ |c|c|c| } \hline cell1 & cell2 & cell3 \\ cell4 & cell5 & cell6 \\ cell7 & cell8 &… ...more

October 28, 2021
自己动手为 Fedora 打包的几个小技巧

这几天被人推荐了 sioyek,据说是一个很适合读论文的 PDF 阅读器。但是,软件还比较新,截止到 2021 年 9 月没有 Fedora 的包。在 FZUG 群 里有人提过,自己手动编译软件时避免 make install,而是打成 RPM 包。这样自己的编译和运行环境更干净,便于后期维护,也也… ...more

September 01, 2021
自动向 Crates.io 发布新版本

缘起 之前写 Java 时,自己所在的组遵循这样的 workflow: 每当 master branch 有新 commit 时,会使用 Maven Release Plugin 修改 pom.xml 内的版本号 Bot 会将新版本的 Maven Package 上传到 JFrog 内。 最近,… ...more

August 19, 2021
线段树作者是谁

省流助手:Jon Louis Bentley, 于 1977 年发明. 线段树是 OI 中常用的基础算法。出于好奇,我简单考证了线段树的诞生过程。个人能力所限,疏漏在所难免,恳请朋友们不吝赐教。 在 1977 年,Victor L. Klee, Jr 发表了 Can the Measure of U… ...more

August 07, 2021