DO-178C 与 MCAS：Coding Agent 能救 737 MAX 吗

Cheng Lou 开源玩具项目 Handwired，把程序中的 if-else 和循环手写成神经网络权重，无需训练，输出与对应 JavaScript 程序完全一致，可在浏览器运行。三个 demo 包括由 130 层、9909 个权重驱动的 Mini OS 桌面、实测每次搜索 11 到 15 毫秒的 10 万份 JSON 文档实时搜索，以及 244 个参数可实时训练的可微分相册。项目以 MIT 许可开源，但不提供现成 JS 代码的自动转换，需用其构建函数逐句改写，所有数为 …

AIPOCH 推出 Open-Science V1.0.0，面向所有有研究想法的人，支持从资料检索、分析计算到结果审阅的完整研究流程。该工具通过 .science 打包分享研究记录和文件版本，方便其他研究者在已有工作基础上继续探索，让研究工作可被检查和复现。

马东锡 NLP 认为，围绕 Pull Request 和代码 review 的整套流程最初是为人设计的，如今实际由 Agent 完成一切，人类的假装 review、复制黏贴甚至 PR 政治斗争反而拖慢了 Agent 节奏。

OpenAI 发布 Openai/math，作者认为这似乎表明数学问题或一切可被 verify 的问题已被解决。作者同时吐槽 OpenAI 耗尽了其 Pro 的所有 token，偏离主线任务，开启无数 subagent 做无意义测试，最终感叹一切都是"为了 verify 而 verify"。

OpenAI 的一切产品决定都是从 Slack 上交流和协调的。 这世界这么多 AI 巨头，当年收购 Slack 的却是 Saleforce

作者认为在 Agent 时代，PR Review 已成为办公室政治工具。作者提出，人工 PR review 中恶意容易被识破和反击，但利用 AI review 的过程中可以做到恶意满满；被攻击者的 token 和正向情绪会在与恶意 review 的纠缠中被一点点耗尽。该推文引用了 @dotey 关于不逐个 Review PR、靠 AI 验证与规矩保证质量的播客总结作为上下文。

支持！ 小编快给我发 T-shirt！

有观点认为，AI coding agent 正在扮演一种低压力的"程序员鼓励师"，为有 ADHD 的程序员减轻人际互动带来的心理成本。作者读后提出两点感想：一是询问身边是否有 ADHD 程序员，二是表示自己使用 coding agent 之后"好像已经 ADHD 了"。

LangChain 已利用 Jev 增强其 harness，速度非常快。Jev 适合在既定 harness 中承担分析分类工作，例如 agent 路由、模型路由等"螺丝钉"任务。

马东锡点评 Gergely Orosz 提出的软件行业趋势，认为"代码审查名存实亡"和"工作比以前更累"两条最真实：代码审查已基本是 AI 写、AI review 的闭环，最累的是夹在 loop 中的人。他还指出大公司有人故意用特别挑刺的 prompt 来 block 同事的 PR，导致无法说服 Agent、浪费大量 token 而效率并未提升。