ZhangYvJing's

Daily Brief

← October 07, 2026 October 08, 2026 · Thursday October 09, 2026 →
00

Film / Book Chapter

Still Walking
2008 / Hirokazu Kore-eda

Still Walking (2008) · Hirokazu Kore-eda

今天适合看《Still Walking》,因为它更像一次生活和判断方式的校准,能把注意力从持续输入里稍微抽出来,重新放回你真正想怎样生活和做事上。

Show Your Work!
Austin Kleon

Show Your Work! · Austin Kleon

Chapter 2: Think Process, Not Product

A light but useful chapter for making ongoing work visible without waiting for perfect finished artifacts, which fits a public career surface.

01

Insight

今天的输入更像几股不同语气的材料同时挤在一起:社区链接在暴露工程和产品环境里的真实焦点,长视频在把这些焦点放回更完整的语境里,研究材料则提醒人热度和可落地性并不总是同一件事。如果先不急着做结论,至少可以把这几条线索放在一起看:Hacker News 的 Claude Haiku 5.5;Hacker News 的 GPT‑6 and Intelligent UI for everyone;Hacker News 的 Margaret Hamilton, who led software development for the Apollo program, has died;Hacker News 的 Docker Agent;Hacker News 的 I'm in love with a German film star;Hacker News 的 Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app。真正值得注意的不是单条内容本身,而是它们共同指向了什么、彼此漏掉了什么。
03

Hacker News

01
Claude Haiku 5.5
Anthropic推出Claude Haiku 5.5,标称性价比最高的小模型。该模型专为高频、成本敏感的任务设计,能可靠处理摘要、压缩、数据库查询和分类等快速重复性工作,同时作为Opus 5.5和Sonnet 5.5的子代理书籍工作时表现良好。由于是首个具可调节努力设置的Haiku模型,用户可自主选择在成本与智能能力之间进行权衡,7月27日,Claude Haiku 5.5在所有平台包括AWS、Google Cloud和Azure上线,可用claude-haiku-5-5。
02
GPT‑6 and Intelligent UI for everyone
GPT‑6 在 ChatGPT 中推出 Intelligent UI,使回答能够直接包含图形、按钮、表格等交互式界面。模型通过可流式组件库和即时编译器,在生成过程中决定文字、视觉与交互元素的组合方式。此次更新覆盖免费、付费及企业用户,改变他们获取信息的方式,降低学习固定软件的成本,并随同安全训练提升影响使用风险。
03
美国计算机科学家玛格丽特·哈克森(Margaret Hamilton)于9月30日逝世,享年90岁。她在NASA阿波罗计划担任首席软件工程师,带领MIT仪器实验室团队开发登月程序。她的“防御性编程”理念在阿波罗11登月前沿月舱计算机检测到1202错误时救了一命,优先级调度软件允许宇航员继续任务,两人成功跻身月球。她晚年创立两家软件公司,致力于系统建模语言和容错技术发展。哈克森的工作推动软件工程专业化,未来软件开发、航空航天及人工智能系统将继承其可靠性与容错设计理念。
04
Docker Agent
Docker Agent 插件支持通过 YAML 声明式配置创建、运行和共享无代码 AI 代理,内置工具链与多代理协作,兼容多种模型并可作为 OCI 镜像分发。其机制在于将代理、工具和模型统一在可版本化的 YAML 中,实现跨环境复用。这使团队能像管理容器一样管理 AI 代理,降低构建门槛并改变工作流程。
06
Bigwords.page 让任何浏览器通过 URL 片段显示全屏文字、计时器或消息,无需注册或安装应用。消息只保存在 URL 片段中,浏览器不会上传,内置编辑器支持 Markdown、换行、|| 分割幻灯片和 {countdown} 倒计时。现场人员可直接共享或书签该链接,使用时无额外成本且信息不离开本地。
07
把if上移、for下移的习惯被提出:将条件判断提前到调用方,把循环下放到批处理函数。这样可把分支集中在少数函数,让其余代码仅处理纯数据,从而利用批量操作和向量化降低每次调用开支和分支误预测。于是编写函数、设计查询或用组合子的开发者需把判断放在调用端、把循环放进批处理,以得到更紧凑的控制流和更低的执行成本。
09
热补丁机制只支持单一补丁者,若发现目标函数已被热补丁则直接报错。系统设计默认唯一授权方为Windows Update,当非授权进程修改后,检测到异常会宣布文件不可热补丁,迫使重启以避免半补丁状态的内存损坏。这种容错策略迫使管理员放弃在线更新选项,增加服务中断成本,并要求严格控制热补丁空间的访问权限。
10
Navier–Stokes Lost in Translation
AI将自然语言数学证明自动翻译成Lean后,机器验证不保证原始自然语言论证的正确性。为了得到语义忠实的翻译,必须消除自然语言中的歧义,而这一歧义消除问题在可求性复杂度指数层级中位于无限高,比停机问题还难。因此依赖AI自动形式化的研究者需要重新检查形式证明与自然语言证明的一致性,否则可能增加验证工作量和未被发现的错误风险。
05

YouTube

01
a16z General Partner Angela Strange sits down with Valon’s Andrew Wang and Linda Du to unpack what it takes to rebuild the infrastructure underneath a $13 trillion mortgage market that still relies heavily on systems designed before the internet. Linda and Andrew explain why Valon chose the hardest path: becoming a regulated mortgage servicer, translating decades of federal and state regulation into software, and proving the platform on its own loans before selling it to the industry. That foundation made Valon roughly three times as efficient as traditional servicing and created the system o
agent, ai_product, market, security, startup
02
Most teams start their evals in a spreadsheet. Here's what happens when they try to grow out of it. Hossein Niazmandi, who leads solutions engineering in the West at Braintrust, explains why measuring agent quality is much more than putting a UI on a spreadsheet. He covers the two pillars of agent quality, evals before production and observability after, and why non-deterministic LLMs make both necessary. Then he walks through the stages teams go through: spreadsheets, a custom UI, side-by-side experiments for PMs and domain experts, and finally a flywheel that turns production failures into
agent, ai_frontier, ai_product, engineering
03
AI agents are multiplying traffic overnight. Here's how to ship fast without taking your database down with it. Ben Dicken from PlanetScale argues you no longer have to choose between moving fast and keeping things up. He covers the principles behind reliable infrastructure, isolation and redundancy, then how to scale with sharding, back pressure and decoupling, the same ideas PlanetScale uses to run databases for fast-growing AI companies like Cursor. Then he gets to agents: how a simple VSchema JSON file lets an agent design a sharding plan for Vitess, how Traffic Control sets resource budg
agent, ai_product, engineering
05
A small model guesses the next few tokens. The big model checks them in one pass. When is that worth it? Sheilah Kirui, developer advocate at Akamai, explains speculative decoding and how to tell whether it's worth turning on. She walks through the prefill and decode phases of inference, how a small draft model proposes tokens that the target model verifies in a single forward pass, and the memory cost of hosting a second model and its KV cache. She covers how to choose a draft model, then demos both setups side by side with vLLM on a single NVIDIA Blackwell GPU: structured output ran 1.6x fa
agent, ai_frontier, ai_product, engineering
06
AI changed how we write code. But 70% of engineering time goes to running and fixing it. Varun Krovvidi, product marketing lead at Resolve AI, explains why AI that writes code well still struggles to run production. Code is self-documenting, modular and a single domain. Production spans code, infrastructure, telemetry and many teams, and needs one correct answer. He covers where agents crack as you scale: anchoring bias and the model treadmill, too much or too little context, coherent answers that aren't causal, missing guardrails, and no learning across investigations. Then he lays out six p
agent, ai_frontier, ai_product, engineering, market
08
Your agent shouldn't run on your laptop. Give it its own computer in the cloud, with one API call. Philipp Schmid from Google DeepMind walks through the Gemini Interactions API, Google's new API for both models and agents. It handles server-side state, long-running background jobs, and built-in plus custom tools across text, audio and images, and it replaces user/model turns with a timeline of steps. Then he shows the Antigravity agent in the Gemini API, which runs the same harness as Antigravity in its own managed cloud sandbox. Agents can run code, install tools, share environments with oth
agent, ai_product, engineering
09
If you run Claude and Codex side by side, you're the router passing messages between them. It doesn't have to be that way. Vlad Luzin, co-founder and CTO of BAND, argues the future belongs to AI agents talking to other AI agents, inside companies, between companies, and between businesses and consumers. Most of us already run multi-agent systems by hand, copying output between a planning session and a reviewing session, and loop engineering just hands that job to a script. He explains why: a single agent suffers from confirmation bias and attention dilution, no matter how big its context. The
agent, ai_product, engineering
10
Engineers are going from typing code to governing agents. The next step is a system that turns bug reports into production code. Davis Palmie, member of technical staff at Factory, explains the software factory: a system of agents that takes input signals like bug reports and user feedback and turns them into production code. He covers the questions every leader asks, from runaway costs and model choice to what happens to engineers and org charts, and argues coding was never the bottleneck: review, debugging, docs and testing are. He lays out the principles a factory needs (model-agnostic, so
agent, ai_product, engineering
12
Attackers use AI too, and the fastest AI attack he cites took four minutes. A pen test once or twice a year can't keep up. Eli Cohen of Snyk, co-founder of the runtime security company Helios, explains why security has to go on the offense in an agent-first world. Developers now ship far more code, much of it insecure, while attackers use frontier models to chain small vulnerabilities into critical ones in minutes. He walks through why traditional tools fall short: static scanning misses runtime issues, dynamic testing misses business logic, and human pen tests are expensive and happen only a
agent, ai_frontier, ai_product, engineering, security
08

Papers

01
长时域 Agent 常用固定 token 预算压缩上下文,忽略最近行为是否导致后续错误或重复调用。作者利用 TRACE 的 590 条 AppWorld 压缩边界重放,测量历史对压缩后负担的预测力。结果显示预测弱,最佳可解释触发器在保留 84% 压缩机会时规避 21% 有害边界,为设计更智能的上下文压缩提供实证。
02
WorldSonus: Bringing Sound to Worlds
WorldSonus 为世界模型补声:采用流式因果自回归扩散实时合成(RTF 0.41),带音频中心字幕的分块调度实现交互式控制,利用立体声监督保证空间匹配。可直接用于 Agent 生成交互视听,质量及定位均超越双向 SOTA。
03
VeriFine 针对自改进策略不断暴露新失效模式导致固定判据成为瓶颈的问题,提出策略‑课程‑判据共进化框架:通过判据诊断失效构建自适应课程优化策略,当验证成为瓶颈时,利用人类反馈对典型失效进行共动校准更新判据,从而驱动下一轮数据选择与策略优化。在驾驶与机器人导航任务上实验表明策略与判据均能持续自我提升,说明可伸缩的验证机制是支撑具身推理持续自改进的关键。
04
Web 代理在执行用户指令时会受到网页中植入的指令注入干扰,导致行为偏离目标。AdvSim2Real 在冻结的网页世界模型中,同步进化任务课程、对抗注入的攻击者和代理,使攻击只在能把成功翻转为失败时获得奖励,任务奖励则在代理约一半成功时给予。这样训练得到的 4B 代理在无攻击和有攻击情况下完成率均提升,甚至对未见过的前沿模型攻击也有鲁棒性,且在真实浏览器上表现同样改善,在 150 项任务中相对基础代理提升 33.6%。
05
LLM 单次查询成本高,难以支撑大规模重复任务。论文提出 bottling 能力——让 Agent 在固定时间、算力和 API 预算内自行选择训练小模型或编写可复用程序,把通用能力转化为低成本任务专用工具。实验显示零射 performance 并不预测 bottling 表现,但成功案例(如 Opus 5)可在保持约 82% F1 时降低成本 657 倍,甚至比廉价专用模型 Jev 更具成本效益。BOTTLED 基准为评估和提升 Agent 在大量重复工作中的资源投资提供客观度量。
06
LLM会解题却不会因材施教,现有方法依赖演示或偏好,未真正关联学生学习效果。Sherpa通过多轮强化学习建立多种学习偏好的模拟学生,直接最大化他们的进步来训练教师模型,使其能自适应调教。实验显示教师模型使各类模拟学生成绩平均提升20.5个百分点,pedagogy得分从52.5%提升到79.2%,人工评测中被偏好率达79.6%,表明其更贴近真人教师,为构建可适应真实学生的AI导师提供路径。
07
IdeaAnchor 通过为每篇论文定义功能角色、关系和合成标准的结构化规范,提供有监督的信号来训练 LLMs 将文献转化为研究想法;结合演示、自蒸馏、强化学习和检索增强,实验显示思想质量持续提升。
08
本文指出现有conformal预测集大小仅是不确定性的启发式度量,缺乏信息论基础。作者提出基于集合大小和覆盖率的广义信息度量,表明Shannon互信息可由这些度量积分得到,且预测集大小的降低被该族界限夹住并满足数据处理不等式(含校准误差)。这为用集合大小变化作为特征选择的信息增益提供理论依据,可指导Agent中的不确定性感知决策。