#平台

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

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

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

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

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

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

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

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

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

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

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

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

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

如何从 X11 转向 Wayland 下的配置

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

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