两个追踪 Lean 动态的实用站点：Papers With Lean 与 Lean Weekly
TZahavy · x · 2026-10-29
leanprover 官方推荐由 Soonho Kong 建立并维护的两个站点：
- Papers With Lean：每日更新的 arXiv 论文索引，收录使用 Lean 交互式定理证明器的论文，可按主题或最近 7/30 天浏览。
- Lean Weekly：按周整理的 Lean 新闻，覆盖从 Lean core 到验证、AI 与形式化的内容。
对关注形式化验证与 AI 形式化（如定理证明模型）的读者是很好的信息入口。
「编程与Agent」频道最新
- 银行高管称按需生成软件后将不再需要金融科技供应商 — mikeflache · 2026-10-29
- 一句话 prompt 让 agent 跑偏：写代码前先让 ChatGPT 采访你定规格 — Al_Grigor · 2026-10-29
- 资深工程师自省：同时推进17件事，深度思考能力正被Agent侵蚀 — rudrank · 2026-10-29
- 免费 MCP 服务器让 ChatGPT/Claude 查芯片手册必附页码,可逐行核对 BOM — Winter-Drop-1334 · 2026-10-29
- CTO 用 Agent 重写授权组件，授权商反而付钱求其别开源 — mattpocockuk · 2026-10-29
- Agent 沙箱产品 boat.dev 创单日增长纪录:10万播放、每分钟多笔 Stripe 订单 — zack_overflow · 2026-10-29