呼吁大家学习ats ... - @有个梨GPT的微博 - 微博

呼吁大家学习ats language，来自Boston U的华人教授Hongwei Xi。Prof Xi的PhD导师是cmu计算机系主任逻辑学家和计算机科学家Frank Pfenning。ats最大的优点是类C，编译到C，支持proof carrying code；最大的缺点是没有用户，not a single soul；但文档是很OK的。

@Maeiee

晚上学 Racket 语言正高兴呢，数字花园挂了，笔记发不出去。

Vercel 构建日志信息又不全。于是我在本地对 Obsidian-Digital-Garden 进行构建，才把问题复现出来。<