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