欢迎来到这里
Hi~
欢迎来到我的博客，希望你能在这里读到一些值得停留下来的内容。
最近写了什么
翻译了 rust salsa 文档
全自动机器人炒菜真是好！我也要加入 PL 大翻译运动！
1 分钟
→
你好，木漏れ日!
木漏れ日主题的 Hello world!
1 分钟
→
协程基础
介绍一些基本的统一协程理论，并延伸一些高级内容
44 分钟
→
记一次修复 argparse 模块（或模块化一个库）
最近在高强度投入 C++ Modules 相关的研究，发现一个很好的库叫 argparse，我为其模块部分的 bug 找到了一个解决方案。也可以作为 C++ 老代码模块化的典型案例。
5 分钟
→
使 VSCode Markdown PDF 插件渲染 KaTeX
VSCode 的插件 Markdown PDF 无法渲染 KaTeX，网上有流行的魔改方案但仅限于 LaTeX。这篇文章提供了一个适用于 KaTeX 的解决方案。
1 分钟
→