EP189 · José Valim 谈语言、Orobator 讲智能体工程、Molly Graham 谈职业转型
登录后会回到当前阅读位置,不会自动订阅。公开期次现在即可阅读。
本期导语
José Valim 谈语言保证,Orobator 展示智能体工程验证,Molly Graham 讨论工作转型。
本期内容
20 条AI 时代编程语言的演进
José Valim 在 Dashbit 的文章中追问:当智能体承担更多编码工作,语言还该优先优化什么?他认为语法便利的重要性会下降,更强的类型与运行时保证、可查询的程序数据库、可供智能体探索的运行状态会更有价值。读完可以重新审视语言工具链该怎样支持验证与诊断。
扩大工程判断力,而非模型规模:Andrew Orobator 谈编码智能体实践 | Reddit
Reddit 安卓工程师 Andrew Orobator 把编码智能体的关键放在可复用的工程判断上:用技能记录审查问题、用工作日志跨会话保存决策,再以测试和硬门逐步扩大自主权。他展示的旧功能开关清理智能体只处理机械安全的任务并提交待审的变更,给团队提供了可操作的自动化边界。
科技行业正在经历的悲伤、孤独与倦怠:Molly Graham 谈 AI 时代的工作与职业转型
Molly Graham 在 Lenny 的访谈中重新审视把工作交出去的职业建议:交给 AI 做任务后,人仍要负责提供背景、检查质量和承担结果。她也谈到代码工作转为监督智能体时的失落、孤独与倦怠,提醒管理者给团队留出讨论变化的空间,并守住判断与关系这些需要人负责的部分。
打造软件工厂究竟需要什么:Tereza Tížková 谈智能体工程体系
Factory 的 Tereza Tížková 将软件工厂定义为覆盖端到端的软件工程系统,并说明如何通过灵活的模型选择、可验证的智能体任务、上下文管理和代码库准备,让自主执行更加可靠。
Microsoft Autopilot 基于 OpenClaw 构建,双方贡献互惠共赢
微软全新的 Autopilot 智能体基于 OpenClaw 构建,且微软工程师通过大量的上游贡献,提升了整个社区在安全性、Windows 集成度及可靠性方面的表现。
AI Trading —— 决策便宜,行动很贵|对谈超 3w Star Vibe-Trading 作者浩哲
Vibe-Trading 作者吴浩哲拆解 AI Trading:金融里决策便宜、行动很贵,AI 的价值是建立从决策到行动的可验证、可审计通道,核心在于数据对齐与 harness,而非更强的模型。
人机协作旨在对齐,而非能力
软件工程师之所以依然重要,并非因为 AI 缺乏编码能力,而是因为人类对于将 AI 输出与特定的组织价值观和技术背景相对齐至关重要。
AI 都替我写完了,我还要不要思考?
本文深入辨析了 AI 参与“形成文字”与“代写”的本质界限,指出关键在于人的判断是否在场,并提出了四种正当的 AI 协作模式及潜在风险。
#741.All-in|Meta Muse:AI 助理第一次替普通人办事
All-In 四人组从 All-In Summit 出发,讨论 AI 公司该被当普通公司追究产品责任、开源模型 12 周内反超闭源、token 通缩迫使 Anthropic 与 OpenAI 向技术栈上层走,以及 Meta Muse 让普通人第一次真正用上 AI 助手。
当 AI 比哲学家更会思考,人类该怎么办?
哲学教授孙向晨从自己的哲学智能体实验出发,讨论 AI 的创造与思想归属、德性对齐、人类判断力及多元智能共生。
现实世界中的自适应推荐系统:推理、评估与系统设计
推荐系统是复杂的自适应生态系统,其最棘手的挑战在于系统架构、实时反馈回路和评估严谨性,而不仅仅是模型准确率。
使用 Jev 和 LangGraph 构建生产级智能体
LangChain 展示了如何将 Jev 快速、低成本的决策能力与 LangGraph 可靠的编排相结合,实现「生产而非全能」的 AI 智能体,在速度和成本上超越纯 LLM 工作流。
GLM-5.2:开放权重与前沿智能——Z.ai 的 Zixuan Li 谈模型能力与 Z Code
Z.ai 的 Zixuan Li 将 GLM-5.2 定位为接近前沿水平的开放权重模型,介绍团队对智能的理解及其在推理和编程方面的提升,说明开放权重对用户和生态的意义,并发布支持多模型的 Z Code 智能体工具框架。
软件工厂如何持续自我改进:Suraj Gupta 谈 Warp 的实践
Suraj Gupta 介绍软件工厂如何借助反馈更新技能、以可审查的持久记忆积累经验,并依据工作流评测为不同任务匹配模型。
深入底层看 Jev,能否戴上“范式革新”的王冠|Hao 好聊趋势
腾讯科技深度解析 Jev 模型,指出其本质是继承 LLM 理解能力的概率分类器,虽在特定场景下具备速度与成本优势,但在困难任务与泛化能力上存在明显短板,尚不足以称为范式革新。
一个等价性观察:DFlash-2 的 Selector 和 DSpark 的 Markov Head 竟是同一机制
本文通过矩阵形式推导证明 DFlash-2 的 Selector 与 DSpark 的 Markov Head 在去除门控项后完全等价,并据此提出两者可互相复用训练权重或并行化策略的两个推论。
不,这不是软件工厂:WorkOS 的 Ryan Cooke 如何围绕客户价值构建智能体工程体系
Ryan Cooke 认为,软件工厂应围绕客户成果协调产品与工程工作,借助智能体、项目上下文和人工审查推进交付,而不是用生成的代码或 PR 数量衡量成效。
通过交付更多 CSS 提升站点性能
GitHub 采用渐进式、特性开关控制的策略和 AI 辅助工具,将整个代码库从 CSS-in-JS 迁移到 CSS Modules,在保持稳定性的同时显著提升了服务端渲染性能。
AI 的下一波突破,或许来自大型实验室之外
a16z 的一场对谈认为,AI 发展应把具体的安全与治理工作结合起来,同时警惕过早监管;智能体基础设施和专用模型也可能推动下一波创新走出前沿实验室。
AI 生成代码已在与人类代码竞争:Daksh Gupta 谈真实 PR 数据中的质量与验证
Greptile 联合创始人 Daksh Gupta 根据数量可观但并不完美的 PR 审查样本指出,AI 生成的改动已十分常见,在若干总体指标上与人工编写的代码大体相当;不过两者的失效模式并不相同,因此需要更具扩展性的验证流程。