BabelDOC
https://github.com/funstory-ai/BabelDOC
Cedrid: 它能在保留学术论文原文排版的同时提供双语对照，支持复杂论文中的数学公式、表格和图形。
GitMCP
https://gitmcp.io/
Harry: GitMCP 允许用户为任何 GitHub 项目创建一个模型上下文协议（MCP）服务器，使 AI 工具能够理解代码库的上下文，从而提供更准确的响应。用户只需将仓库 URL 中的 "github.com" 或 "github.io" 替换为 "gitmcp.io"，即可实现即时设置，无需复杂配置。GitMCP 与公共 GitHub 仓库和 GitHub Pages 无缝兼容，并支持多种流行的 MCP 兼容 AI 工具。
论“自然语言编程”的荒谬性
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
Harry: 本文批判了"自然语言编程"的构想，指出编程必须依赖精确的形式化符号而非自然语言。历史表明，数学和科学的进步都得益于形式符号体系（如代数、逻辑），而依赖自然语言的学术传统（如希腊数学）往往陷入困境。虽然有人期望用自然语言降低编程门槛，但这反而会增加人机沟通成本，且现代人语言能力的普遍下降（"新文盲"现象）更使其难以实现。形式化语言能有效避免歧义，是编程不可替代的基础。
