Tags: zzz

让 AI 帮忙做数学研究，写 notes 还用 LaTeX 并不方便。 AI 的输出就是 markdown，如果自己的 notes 也写 markdown 会方便不少。

需要的东西很简单，写 markdown，有数学公式支持和 citation，最好有定理和证明环境。pandoc markdown 就很合适，像这个网站就是用 hakyll 生成的，用 fenced divs 来写定理环境，用chaoDoc中的 filter 处理，最后在浏览器里预览。

各种编辑器对 pandoc markdown 的支持并不好，于是用 codex 写了不少工具。

1 Lua version

首先要搞定如何预览 pandocmd，hakyll watch 对预览一个 note 来说太过强大了，于是直接用 pandoc cli+ 一堆 lua filter 来搞定。entr 来看文件改动，保存后自动让 pandoc 转换成 html，扔到在跑 webserver 的文件夹里，最后在浏览器里预览。

预览部分有很多方便的东西，比如能跳转回 zed 的行号，自动刷新浏览器，preview on hover 等等。