文章

记录一次博客搬家：为什么离开 Quartz，怎样用 Astro 保留 Obsidian 的双链体验，以及重新掌握博客编译过程的取舍

为什么选择 chezmoi 管配置、mpm 登记软件，以及这套仓库的使用方式与自动化搭建过程

前情提要 由于在 Obsidian 中，虽然我有不被 git 追踪的文件夹（私有文件夹），但是这也限制了我 的需求（因为 Windows 上的 iCloud 十分难用） 因此，我们期望工作流程如下： 在私有仓库中更新博客在公开仓库中拉取博客内容并自动构建 本质上，我们将公开仓库作为了一个博客生成器，专门用来触发 CI GitHub 与本地设置 GitHub 首先，需要申请一个 个人 Token，名字自由命名，例如 BLOGS，但是记得复制这个 Token，例如 <TOKEN>

配色 可以在平时阅读时保存一些好看图像的配色/架构，例如 或者可以直接参考 配色网站，不过比较麻烦的是得自己去找颜色 绘图 AI 辅助 用提示词生成绘图脚本，例如仙人掌图（cactus）的代码如下： import pandas as pd import matplotlib.pyplot as plt import os import numpy as np # --- 配置参数 --- # CSV文件所在的目录 # EXPR_NAME = "MagicSquare-LS"

[!info] 前言这是我最近才开始实验的工作流，目前还比较粗糙，后续应该会慢慢改进 情景 假设现在我在 benchmark 中有多组例子，benchmark/B1，benchmark/B2，benchmark/B3 在 bin 中有多个求解器（不一定是 bin，规定好路径即可），bin/A， bin/B，bin/C 现在，我想跑所有求解器在 benchmark/B1 上的结果 如果按照 的做法，我们会需要自己写 n 个脚本（与求解器数量一致），每个求解器面临参数设置不同，输

起因 由于组内服务器先前 CPU 坏了（难以见到的事情但是被我们遇上了），导致重装了两次系统： 第一次装在了 /dev/sdb 这个机械硬盘内（6.5T）且开了 LVM 第二次装在了 /dev/sda 这个 SSD 里（900G），但没有开 LVM 在第二次装的时候，没有把 /dev/sdb 这个机械硬盘加入到系统内，导致整个系统可用磁盘空间只有不到 900 G 运行 lsblk 如下图所示： 而现在这个 SSD 的空间完全不够用了，因此需要把原本没挂载的机械硬盘挂上，并启用

[!warning]本文不是教程，只是一个模板，方便本人复制粘贴而已部分内容参考自博客 GTest / GMock 单元测试实践手册，详细的可以进博客学习 项目架构 假定项目的结构为： . ├── build ├── CMakeLists.txt ├── Makefile ├── README.md ├── scripts ├── src │ └── main.cpp └── tests ├── CMakeLists.txt └── tree.cpp 我们在 tests 中写

[!attention] 免责声明脚本几乎都是 AI 实现的，请注意甄别 [!info] Enhancement一个想法是通过建立一个服务，用于监听进程名称，如果限制的进程名称已经跑完了，那就发送邮件，感觉可以考虑写一个跑在后台的 flask（前后端+SQLite），增删改查一下，感觉还是很有戏的 前言 在跑实验的时候经常会遇到以下情况 按照 中提到的，我们会通过 cat run.sh | xargs 来并行实验，然而每个例子跑的时间是不确定的，有时候设置时限为 3600 s

[!info] 写在前面只是心血来潮，想要更换一下 Quartz 的包管理器以及打包工具，之前一直听说 Bun 运行时的速度快，想着在本地预览的话应该会比 Node 更快，所以替换一下 本地更改 首先需要安装一下 bun ，我是用的是 MacOS （根据官网给出的命令安装即可） 然后，我们需要更改 quartz 的几个文件： package.json 这里主要是更改 scripts 中的内容： "scripts": { "quartz": "./quartz/bootstra

[!tip] 前言我个人选择的基本都是一些开源软件（有些不开源但是好用的也没办法）还可以参考网站 Awesome Mac，探索更多软件 包管理器 由于 MacOS 本质上还是个 Unix-like 的系统，因此还是离不开包管理器，用起来也更加方便，我使用的是 HomeBrew ，应该算比较大众的选择。

[!tip] 前言由于 MacOS 自带的输入法没找到怎么 shift 切换输入法，本身切换输入法的按键被我改成 control 了，而且之前在 下一直在用小企鹅+雾凇，对雾凇这个词库很有好感（，所以在这里替换一下 [!bug] 已知 BUG在 MacOS 下已知的 bug 有两个：在Mac上按cmd+tab切换应用后，输入法会自动打出‘a’github issue栏中打字会出现多余字符 RIME 首先我们通过 brew 来安装鼠须管： brew install squirr

问题记录 [!attention] 前置知识注意，这里我们使用的是 Gin 这个 web 框架开发的后端，我们使用了 gomail.v2 来发送文件，template 来渲染我们的 html 文件（也就是要发送的邮件内容），函数如下所示 // In package model type MailInfo struct { Subject string Code string ToWho string } func sendEmailVerificationCode(data

前期提要 [!note] 动机由于一直以来部署项目都十分麻烦，一下子有测试服务器一下子有正式服务器，正式生产环境的服务器还没办法使用 ip 访问，域名合法前也没办法访问网站。

起因 购买了一个阿里云的服务器，选择的是通过 Ubuntu-24.04 镜像生成的 买完之后没给我密码，只有这样一个界面 没有账号和密码，只能通过这里的远程连接，用浏览器暂时配置一下 打开后，我们进入 admin 这个账户，其 sudo 不需要输入密码，可以直接 sudo su 切换到 root 第一步，我们先创建账号： sudo su adduser virgil adduser virgil sudo 其中，第二步我们还需要输入密码和一些配置，配置可以一直回车，让其保持缺

起因 我们有以下代码： void remove_leading_zeros(char *str) { int i = 0; while (str[i] == '0' && str[i + 1] != '\0') { i++; } if (i > 0) { strcpy(str, str + i); } } 在运行这个函数时，假设我们的代码如下： char* s = "0077160493132716049313271604931327160493"; remove_leadi

[!tip]考虑到代码基本都在服务器上跑，为了兼容性，在本地开发的时候最好也使用 Linux 或 MacOS环境进行开发 一些文档帮助 关于 WSL 的下载，安装和使用，在微软的 官方文档 中有详细的介绍。

关于 Slides 的制作，有三种方式： 传统的 PPTBeamer 风格的学术 SlidesReval.js 网页 Slides 三种方式可以自由选择，优缺点如下： PPT 的制作稍微简单，不需要做任何动画，也不需要花里胡哨的模板（很适合赶工的时候做），但缺陷很明显，数学和代码的支持很差，有时候只能截个图放上去，很不美观（不美观的数学公式会让人难以理解……也生不出看下去的欲望）Beamer 模板写起来困难，但数学公式和代码都较为美观，并且模板问题难以解决，毕竟不是每个人都有

本地环境 使用的设备均为 Windows11 系统： 本地台式：14700KF + 4080S + 32G + 2TB本地笔记本：13th-i5 + 16G + 1TB 一般而言都是在台式机上干重活（相当于会跑一下代码测试一下），笔记本对我来说是一个 ssh 工具，或者是简单写一个不吃配置的代码的工具 开发环境使用的是 WSL2-Ubuntu-24.04 + Windows，其中： WSL2 主要用来写科研代码，因为经常用到 C++/C， Rust， Python 和 Bas

这里主要是一些赛博暖暖的内容，不涉及任何功能上的配置 主题 Github Theme Dark Default，高亮如下所示： [!tip]之前使用的主题是 Tokyo Night，也很好看，换这个是因为在我之前的笔记本上，感觉完全的黑色+透明度更适合那个 Archlinux 的桌面背景（ 图标主题 Material Icon Theme，这里主要是用来更好的显示文件夹的图标，看起来花哨一些（ 字体 中文 霞鹜文楷，代码 Monaco，配置的方法如下：打开设置后（Ctrl +

在这里推荐一些 AI 插件，用于增强 VSCode 的代码体验 [!attention] Out-of-Date由于本人已经很久没有用 VSC 了，插件的认知停留在 2025-01 左右的时间 Github Copilot 如果你已经申请了 Github 的黄书包（也就是教育版本），那么你可以免费使用 Copilot ，这是一个 LLM 代码补全工具，补全程度甚至可以自己写代码，有了这个，程序员只需要当无情的 Tab 键入机器就行。

[!attention] 免责声明本文的内容非原创，只是转载与记录，防止自己老是忘记命令还得去查 前期提要 这篇文章主要记录使用 OrbStack 后， 时导致的磁盘空间消耗过多的解决方法 [!hint]说是解决方法，其实只是一次搬运而已 这个问题在 Github 上有人提到，并且在评论的最下方给了一个暂时的解决方法 解决方法 容器、镜像与卷的清理，都可以通过 OrbStack 的图形化界面来进行删除，但构建时的缓存只能通过命令来删除： docker builder prun

[!info] 前言插件来来去去，更换了很多，最终留下来的比较趁手的其实也就几个，这里一一介绍 目前的外观如下： 外观美化 主题 主题本人用过的有（按照时间顺序给出） Blue TopazBorderPrimaryVelocity 目前正在使用的是 Velocity，原因是与 Mac 非常适配，前面的主题如果自己花心思配置的话，也是很好看的（和个人审美有关系，这不是本文的重点） [!important] 重要提示上述主题都需要通过下文中的 插件中的 Style Setting

[!important] 重大更新由于本人更换了 MacOS，因此目前的同步方式为 iCloud，与 Windows 的更新方式为 Github，参考 因此请酌情参考下文的内容 同步工具 我们可以参考 Obsidian 官方的文章 来查看一些同步方法，例如： 其中，Obsidian Sync 为官方的付费同步模式 [!attention] 更新注意建议使用 S3 或其他 WebDav，本人现在使用的是 iCloud + Git 的同步方法也就是把 Obsidian 的文件夹设

[!hint]这里的日常开发就不包括如何写各类公开课的实验了，最简单的方法就是使用 ，在 WSL 里随便玩，反正环境坏了也可以重装 日常开发 [!tip] 2025-10-20 更新已经换到了 MacBook Air M4 做开发，所以少了 Linux 到 Windows 的同步，但是服务器到本地的同步还是存在的，因此下面的内容也不算过时 在 MacOS 与 Linux 就可以使用 rsync -av 来做增量同步了 由于我在两台设备上进行开发，虽然都是 wsl 环境（写 C

[!tldr]在 Linux 下通过 cmake 与 Conan 进行 C++ 项目初始化与开发的一份简单指北 [!important] 重要更新其实目前也可以通过一个模板项目，例如 ModernCppStarter 来生成一个新项目，然后用 AI 帮助更改 CMakeLists.txt 即可，这种方法可能更适合新手（如果你对 AI 发出了正确清晰的命令） 环境准备 首先，我们需要下载以下软件： cmakemake 或者 ninjapython3pip 或者 pipxclan

安装系统问题 服务器是 VMware vSphere 的一个虚拟机，开始本质上是一个 bare metal，我们需要通过 VMware 提供的工具（需要注册才能够下载）Remote Console 的文档进行下载（没有文档甚至根本不知道下载地址在哪里，太夸张了） 下载了这个之后，需要下载一个服务器 iso 文件，这里以 ubuntu-20.04.6-live-server-amd64.iso 为例。

[!attention] 写在前面这篇文章主要讲述如何使用基础的 Obsidian 记笔记，管理知识库等，不涉及任何功能型插件；可以查看 来查看我使用的一些插件。

[!danger] 注意以下的教程都建立在屏幕分辨率为 4K 的情况下，截图时会导致图像很大 截图工具 首先，我们切换截图工具，不再使用传统的 alt + ctrl + a 与 win + shift + s 我们在微软商店中下载 Snipaste，如下图所示： [!tip]如果你使用 Mac，也可以使用 HomeBrew 下载这个软件，然后将截图键设置为 Option + Q（我的设置） 这个应用能够使得截图时不已分辨率为单位，而是选中的区域多大，像素长宽就是多大，此后，我

科研&学习工具分享

文献搜索 这个通常没有什么好用的工具（如果 Google 算工具的话），一般是在网站上找，这里推荐几个好用的网站和一些浏览器插件 网站 出版社的官网： 好处是省事，坏处是不知道自己学校买没买版权（ 如果买了的话，可以通过 Access via Institute 来获取访问权限并下载，因为有些文章可能只能在官网上下载一些教授的主页 典型的例子：https://leria-info.univ-angers.fr/~jinkao.hao/ 甚至可以在主页上找到文章的代码/可执行文

事情的起因是我在对 SAT Solver 进行优化测试时，发现了我的求解器测不准时间，具体表现为，我在代码中测试的时间与 gprof 得到的时间不相符，后者的时间要比前者少将近 20\%，实在是让人匪夷所思。

Docker 的一些好处 使用 docker 的好处有很多，最大的特点就是你可以拿到一个速度并不算很慢，而且能够随便乱玩的 Linux 系统，而不是在自己的生产环境上乱玩。

这里记录一些随笔 想来想去，博客也不能全是技术文章，就放一些平时无聊写的东西上来吧 [!cite] 想成为人类 况且觉得自己在地球 Online 在线时间也上万小时了，好像也没有留下太多的痕迹，还是留下一个 NPC 的档案吧

[!NOTE]排序仅按照简介中的人名/网名首字母排序 链接简介头像RSSdodoladodola (Frontend Software Engineer [at] ByteDance)https://dodolalorc.cn/rss.xmlJiangnan LiJiangnan Li (pre-Master Student [at] ISCAS, major in OMT, SMT, SAT Solving)https://blog.stevepaul101.net/ind

[!warning] 已弃用该插件（Obsidian Copilot）已被我弃用，本文仅作存档，不再维护。

[!note] 已归档本笔记记录旧站（Quartz）的构建与配置，现已归档。

[!important]想要完全理解量子算法，还是得去阅读量子力学的内容，但在这里，主要讲解一些能够帮助快速入门量子算法的相关概念在这里，我们抛去太理论的数学公式，仅仅只是从感性上介绍相关的概念 量子计算的物理基础 [!cite]量子（Quantum）是物理学中的一个基本概念，指的是物理量的最小不可分割的基本单位，例如电子就属于量子。

[!warning] 已弃用该方案（picgo-plugin-compress-next 压缩插件）在 PicList 版本升级后已失效，本文仅作存档，不再维护。

如何从 X11 转向 Wayland 下的配置

环境搭建 建议在 docker 环境下搭建，构建的 Dockerfile 如下，如果对这部分有疑问，可以参考 [!bug]如果你的位置在南方（例如香港，深圳，广州等），也就是局域网的 IP 地址为 172 或者 175 开头的，可以参考 进行解决。

2023 NENU夏令营机试 Tutorial

编译原理的一些简单复习

由于在 Windows 下开WSL和IDE导致电脑内存已经吃不消了，所以我直接把电脑系统刷成了 Linux （彻底疯狂了），这里记录一下我的配置过程

省赛配置流程，当做遗产留下来

不相交集合数据结构(disjoint-set data structure)，简称并查集（ACM培训）

感知机 感知机(perceptron) 是一种二分类的线性分类模型，也就是说，输入数据通过模型运算后可以输出分类的类别，由于是二分类，所以类比只有 +1, -1 我们举个例子，如果我们的输入空间是一个二维空间的话，那么感知机实际上就是找到一条直线，这条直线能把我们输入的点完全分为两个部分，如图所示： 这条直线就是感知机做的事情，下面这些红色的点，感知机将其打上标签为 -1 ，上面这些蓝色的点，感知机打上标签为 +1 标签我们可以当做是这些点的颜色，不需要觉得这是另一个维度 在

基础计算几何与碰撞检测算法（蓝旭算法课）

这部分是一个拓展，文中的图片来源于李宏毅老师的ppt

一个传统的线性回归讲义

用以解决二分图的最大匹配（蓝旭算法课）

介绍一些基础的网络流算法（蓝旭算法课）

二分答案（不是二分搜索）（蓝旭算法课）

加密算法 (MD5, AES, RSA)（蓝旭算法课）

尾递归（还是递归）（蓝旭算法课）

这里介绍一些关于找素数的方法，可能是素数筛，也可能是快速判断一个数是不是素数

[!note]年末这一天也确实应该要写一点总结了，虽然文笔不好和流水账无异，但也算是 中关于档案的 CallBack总觉得这一年才是科研起步的第一年，但才发觉自己马上就要毕业了 2025 这年的经历算是大学+研究生六年来最丰富的一年了，想来在未来的很多年都会记得这一年的经历。

[!info]文章的内容都写于 2023.9.29把这篇文章从备忘录里搬出来的时候我的研究生生活已经快结束了，没想到在这个时间点再次面临三年前的同样的境况但看来我依旧没有什么成长 写在前面 想到要写这篇文章的时候，正坐在前往北京的高铁上，急着去参加一场可能并不存在的面试。