BestBlogs 早报 09-28：AI 时代的编程语言、编码智能体验证与工作责任

BestBlogs 早报 09-28 精讲三篇：José Valim 提出围绕智能体重新审视编程语言应提供的程序保证与可查询接口，并建议把符号、调用图和类型暴露成程序数据库。