呼吁大家学习ats language，来自Boston U的华人教授Hongwei Xi。Prof Xi的PhD导师是cmu计算机系主任逻辑学家和计算机科学家Frank Pfenning。ats最大的优点是类C，编译到C，支持proof carrying code；最大的缺点是没有用户，not a single soul；但文档是很OK的。
晚上学 Racket 语言正高兴呢，数字花园挂了，笔记发不出去。
Vercel 构建日志信息又不全。于是我在本地对 Obsidian-Digital-Garden 进行构建，才把问题复现出来。
最后破案了，问题出在《Racket Atomic Data》这篇，对单字符的表示上。尽管代码被 inline code 包裹，但生成器仍然将其视为 Tag，然后字符特有的 \，在静态生成器生成的 JSON 中被视为非法字符。
我发现，不仅 inline code 的被误算成 Tag 了，block code 中的注释，也被误算成 Tag。在 Lisp 中，井号经常使用，这些笔记会被误添加许多 Tag ![\[允悲\]](https://face.t.sinajs.cn/t4/appstyle/expression/ext/normal/83/2018new_kuxiao_org.png "[允悲]")