装备
我在用也喜欢的东西。
实时 TeX 笔记
我觉得最重要的是打字速度（从经验上看，大约每分钟 75 词，也就是 75 wpm，就够了）、肌肉记忆、一套好用的 LaTeX 宏和快捷键，以及编辑器里一个好的代码片段引擎。所有交换图我都是在课上直接用 tikzcd 环境敲出来的，更复杂的图则留到课后再处理。
-
laptop
14 inch MacBook Pro (M4 Pro)
没想到要让 macOS 用起来像我以前的 Linux 环境，得费这么大劲。我以前用的是 System76 Lemur Pro（装的是 Arch Linux 或 NixOS），我很喜欢它。再之前用的是一台 2015 年前后的 MacBook Air，但我很讨厌它的键盘。
-
editor
neovim, VS Code
几乎所有笔记都是用 neovim 记的（包括学生时代的全部笔记），只有少数是在 VS Code 里完成的。现在的代码编辑器性能大多不错，所以最重要的是有一个好的代码片段引擎（我目前在 neovim 里用 LuaSnip，在 VS Code 里用 HyperSnips）。
-
window manager
yabai (MacOS), hyprland (Linux)
理想情况下，Linux 上应该有一个 Wayland 版的 XMonad，并且能和一个比 xmobar（很烂）更好的状态栏配合得当。现在 hyprland 改用 Lua 来配置，我们也许真的能有这样的东西了。我在 Linux 上还用过 i3、awesome、dwm、bspwm、sway 和 river，但 X 上的画面撕裂让我没法用；在 Wayland 上，hyprland 是我体验最好的（不过 Sway 的标签式布局实现得更好）。macOS 上没有好的方案，但我觉得 yabai 是最不糟的那个。
-
ai tools
Codex, Claude Code
用纯 TikZ 画图对我来说完全是个谜，所以过去课后要费力手写复现的图，现在只要给编程智能体一句提示词就行了。我还没试过 Astra，不过和 Claude 的模型相比（我试过 Fable 5 和 Opus 5），5.6 Sol 写 TikZ 代码简直是一场灾难。
-
pdf viewer
Zathura (Linux), Skim (MacOS)
看看 Zathura 支持多少种文件格式就知道了。真希望其他 PDF 阅读器也有这样的格式覆盖面；vim 式的按键操作也让一切都很方便，尤其是从 neovim 窗口跳转过来的时候。Skim 支持 SyncTeX，但除此之外并不怎么好用。
跑步
买跑鞋我非常信赖 RunRepeat，尤其看重它对减震、能量回馈、透气性和重量的测试。我也会去实体店试穿，所以一双鞋既要数据过关（我一般拿竞速鞋当日常训练鞋），也要合脚、适合我的跑姿。至于能量胶，我没有任何科学测试，纯粹凭感觉。
跑鞋评测里有不少错误信息。比如这篇文章声称 Evo SL 的 Lightstrike Pro 泡棉与竞速鞋的不同，但 RunRepeat 从 Evo SL 和 Adios Pro 3（注意，不是 Adios Pro Evo 3）上各切了一块泡棉，在显微镜下发现两者相同。所以网上的评测要谨慎看待。
-
daily trainer
Saucony Endorphin Pro 4
无论是数据还是实际使用体验都表明，这双鞋更像一双碳板训练鞋而不是竞速鞋。这可能是我目前所有跑鞋里最慢的一双。
-
speed work
Saucony Endorphin Speed 5
这大概是我穿过最喜欢的一款跑鞋，非常耐用，而且越穿越喜欢。唯一的缺点是跑长距离时缓震不太够。它的前掌能量回馈达到 78%，鞋底又比较薄，很适合类似田径场训练的课表。
-
long runs
Adidas Adizero Evo SL
又是一双近乎完美的鞋。唯一的缺点是中底大概只能保持 300 英里（约 480 公里）的弹性。虽然透气，极冷的天气也完全没问题；本身已经很舒服，湿滑路面抓地也好，所以我不明白 Adidas 为什么还要出 ATR 和编织鞋面的版本。
-
race day
Asics Metaspeed Edge Tokyo
我去 Marathon Sports 试了一堆竞速鞋，这双脚感最好。可惜重量比不过 Adios Pro Evo 3（不过哪双非 Adidas 的鞋比得过呢？），就算在 Asics 自家也比不过 Metaspeed Ray，但我买的时候那双鞋还没出。我穿着它破了三，所以对它相当满意。
-
gels
Maurten Gel 100
在没什么水的情况下也容易咽下去，不伤胃，也没有奇怪的味道。
-
watch
Garmin Forerunner 970
是的，我就是为了手电筒和导航功能多花的钱……