AI 编码 24 小时

ksqsf — Thu, 14 May 2026 00:00:00 +0000

不论是新闻炒作、AI 从业者朋友还是网上的讨论，无不反反复复地在宣告着 AI 时代的重要性，但我却迟迟没有严肃对待这件事。例如，Claude Code 发布已经一年有余，而我也偶尔会用自费的 API 来做一些小程序或分析不熟悉的代码仓库，但我从来没有使用过它做一个真正严肃的项目。是的，LLM 会写一些代码，但这不是我们一直以来都知道的吗？直到最近，看到一些熟识的朋友使用 coding agent 做出了一些相当有趣的东西之后，我才开始第一次严肃地尝试 AI coding。而这次经历对我来说似乎有点过于成功，以至于有些震撼了。这里我想趁着还有些记忆，记录一下我的首个 AI 编码项目的经历。

Higher-order Data Types à la Carte

ksqsf — Sun, 12 Apr 2026 00:00:00 +0000

最近有个小项目需要表达一些 AST，而我期望这个 AST 本身是可扩展的：我可以定义一些语言碎片，然后再按需将它们组合起来。这听起来很适合 DTALC！但很快你就会发现——经典的 DTALC 写法是行不通的。这篇文章记录一下解法。

生活在 WSL 上

ksqsf — Tue, 29 Apr 2025 00:00:00 +0000

最近因为工作的原因不得不使用 Windows，用了一段时间 WSL2，发现其实相当可用！这篇文章介绍我如何配置 WSL 和 Emacs 作为自己的工作环境。

为什么要用 WSL？</h1>

第一个问题当然是： 不能用原生 Windows 环境吗？

确实，现在 Windows 可以用 scoop 等工具快速安装命令行程序，或者也可以直接使用 MSYS2，就可以快速打造命令行工作环境让 Emacs 调用了。

我用 WSL 主要是两个原因：

习惯了 Linux 环境。WSL 装上就跟回家一样，还是原来的配方，还是原来的味道。完全没有再次学习的成本。</li>
开发的项目只能在 Linux 上跑，所以某种意义上来说是刚需。——说某种意义是因为 Emacs 也可以通过 TRAMP 远程开发。</li> </ol>
总之，我基本没怎么在原生 Windows 环境上花时间，但我相信只要下一点功夫，想必也是能用的。
TUI 还是 GUI？</h1>
我刚装好 WSL 的时候简短尝试了一下 WSLg，碰到一些问题，所以完全只使用 TUI。虽然起初只是妥协，但后来发现 TUI 完全够用。当然，用 TUI 就与一些功能无缘了：

TUI 里只能使用一种字体。</li>
TUI 的 Emacs 里无法显示图片。</li>
Emacs 30 以前没有 tty child frame。</li> </ol>
但除此之外，好像也没有什么短板。
使用什么终端？</h1>
如上图所示，我使用 WezTerm。其实一开始我也是和所有人一样从 Windows Terminal 开始的，但很快就发现 Emacs 在 Windows Terminal 中会有「画面撕裂」的问题，而 WezTerm 没有。
我对 WezTerm 的配置比较简单，不过值得一提的是 Emacs 在终端下 无法接收到一些按键 ，如 C-TAB</code>，但我们可以在 WezTerm 里把这个键绑定为「发送字符串到终端程序」，从而曲线救国：
return { keys = { -- 按 C-TAB 发送 C-x t o 到终端程序里 { key = 'Tab', mods = 'CTRL', action = act.SendString('\x18\x74\x6f') }, } } </code></pre> 至于这个字符串怎么获得，可以在 ielm 里调用 kbd</code>： ELISP> (kbd "C-x t o") "^Xto" ELISP> ?^X ELISP> ?^X 24 (#o30, #x18, ?\C-x) </code></pre> 这样你就知道了 Ctrl-x</code> 其实对应于一个 ASCII 码为 0x18 的字符，从而构造出 SendString</code> 的参数。 在 Emacs 中，这里的 ^X</code> 会带有颜色，与正常文本区分开来，表示它是一个完整的特殊字符。请不要尝试直接从网页上复制 ^X</code>，这里为了可以在浏览器里显示出来，将它拆为了两个字符 ^</code> 和 X</code>。 </aside> WSL 配置</h1> WSL 有两层配置系统： Windows 那边的 C:\Users\USERNAME\.wslconfig</code> 用来配置虚拟机启动的选项。</li> Linux 里的 /etc/wsl.conf</code> 用来配置系统启动和 Linux 服务等。</li> </ol> 下面我们会省略掉完整路径，只写文件名，如 .wslconfig</code>。官方文档</a>。 用什么发行版？</h2> 出于习惯，我自己用的是 Debian。 但我碰到了一些 WSL Debian 带来的问题（如无法启动 .exe，具体怎么配置下面会提到）。这些问题可能 在 Ubuntu 里不存在（因为微软主打的就是 Ubuntu，所以如此猜想）。 如果要选，我建议是选一个自己比较懂的。如果懒得折腾，直接用 Ubuntu 也无妨。 分配更多硬件资源</h2> 在 .wslconfig</code> 里设置： processors=12 memory=12GB </code></pre> 开启 systemd</h2> 编辑 /etc/wsl.conf</code>： [boot] systemd = true </code></pre> 直接运行 .exe</h2> Debian 的 WSLInterop 似乎与 systemd 有点兼容性问题，需要手动修复：

/home/ksqsf

AI 编码 24 小时

Higher-order Data Types à la Carte

生活在 WSL 上

开启 systemd</h2>
编辑 `/etc/wsl.conf</code>：</p>`
`[boot] </span>systemd </span>= </span>true </span></code></pre> 直接运行 .exe</h2> Debian 的 WSLInterop 似乎与 systemd 有点兼容性问题，需要手动修复：</p>`

直接运行 .exe</h2>
Debian 的 WSLInterop 似乎与 systemd 有点兼容性问题，需要手动修复：</p>