ZhangYvJing's

Daily Brief

← October 18, 2026 October 19, 2026 · Monday October 20, 2026 →
00

Film / Book Chapter

Her
2013 / Spike Jonze

Her (2013) · Spike Jonze

今天适合看《她》,因为它会把人从抽象的 AI 讨论里拉回到真实关系、孤独和投射本身,更适合当作生活感受的校准而不是技术议题的延伸。

The Beginning of Infinity
David Deutsch

The Beginning of Infinity · David Deutsch

Chapter 1: The Reach of Explanations

A broader chapter for sharpening what counts as a good explanation, useful when daily inputs are full of claims, demos, and partial narratives.

01

Insight

今天的输入更像几股不同语气的材料同时挤在一起:社区链接在暴露工程和产品环境里的真实焦点,长视频在把这些焦点放回更完整的语境里,研究材料则提醒人热度和可落地性并不总是同一件事。如果先不急着做结论,至少可以把这几条线索放在一起看:Hacker News 的 Someone behind the software;Hacker News 的 RepRapMicron;Hacker News 的 Free Pascal compiler now supports dynamic packages;Hacker News 的 PalmOS Lemmings;Hacker News 的 The Intel 8087 chip: floating-point addition and subtraction;Hacker News 的 DeepSeek search and fetch – $0.75 per 1000 successful requests。真正值得注意的不是单条内容本身,而是它们共同指向了什么、彼此漏掉了什么。
03

Hacker News

01
Someone behind the software
软件开发正从以流程和数据为主转向由代理自动化的全流程,使得各团队能够独立快速添加新特性。文中指出,添加能力比重新思考现有能力更容易,而缺乏共享的直觉和产品观点导致各自的改动累积成缺乏统一方向的拼凑。这种变化要求产品团队在保持个人经验直觉的同时,保持对整体问题的共同理解,以免产品变得功能齐全却缺乏内在一致性。
02
RepRapMicron
μRepRap 项目凭 PIKA V0.02 硬件在约8mm立方体内实现约1μm定位、4μm树脂滴落和9μm光纤固化,采用可自行蚀刻的探头进行毛细滴 deposition 与紫外固化,配三轴步进电机及USB 显微镜观察。这使得生物医学、微电子等领域的研究者能以低成本桌面平台进行微米级制造,改变原先依赖昂贵专用设备的工作方式。
03
Free Pascal编译器与LazarusIDE首次支持动态包,可直接生成共享库组件而无需重建IDE。编译器为包添加元数据并保留线程变量、动态类型,使程序可在运行时加载、替换或按平台过滤包。开发者因而能即时更新控件并按需插拔插件,但须保持单位命名唯一且不剥离元数据,这影响增量构建的工作流与构建时间。
04
PalmOS Lemmings
在 GitHub 上出现名为 palmos‑lemmings 的仓库,提供 PalmOS 平台上经典游戏 Lemmings 的克隆源码、图片、关卡包和已编译二进制。该项目声明源码仅供教育目的使用,包含完整的 src、srclevels、levelpacks、tools 以及 .gitignore 和 README 等文件。这样,对 PalmOS 复古游戏开发感兴趣的技术人员可以直接获取并研究这些资源,在相关项目的学习或开发中省去自行寻找代码的步骤。
05
1980年,Intel推出的8087芯片通过硬件微码实现了浮点加减运算,内部集成了1648条微指令控制的69位整数加法器和可快速移位的 shifter 电路。该芯片将80位临时实数(含15位指数和64位尾数)以16383偏置形式存储,利用堆栈标签机制识别零、有效、特殊和空位值,运算时通过tmpA、tmpB、tmpC临时寄存器对齐二进制点、执行整数加减并规一化。相较8086处理器,加法速度提升近乎100倍,复杂运算提升更为显著,这对当时依赖IBM PC及其他系统的用户编程、科学计算和财务软件开发构成了性能瓶颈的根本突破。
06
DeepSeek 推出了基于美元计费的 Search 和 Fetch 工具 API,成功请求价格为 0.75 美元每千次。该工具为智能体和 RAG 应用提供 live web 内容访问能力,Search API 通过 DeepSeek 自主开发的搜索引擎找到网页并返回结构化结果,Fetch API 则以 Markdown 格式检索单个网页。两者均为原始 JSON API,使用与 DeepSeek 主 API 相同的 Bearer 认证方式,基址为 api.deepseek.com。搜索支持 site、lang、after 等查询运算符组合。计费仅按成功请求收费,空结果或失败请求不计费,当前通过 DeepSeek Harness 等平台使用的服务器端工具调用暂免收费,计费将于 2026 年 11 月 1 日北京时间正式开启。
08
任天堂官方发布《塞尔达传说》时间线,明确《时之笛》后分为三条支线。它根据游戏情节把后续故事划分为童年、成年和堕落英雄时代,并追溯到天空之岛、皮克里祭、暮暗王国等事件,说明分支源于关键事件导致世界分裂。这有助于玩家、创作者和研究者在讨论或制作相关内容时统一参照,降低因版本歧异带来的工作成本和误解风险。
10
开源低成本的开放微操纵器发布新硬件版本和固件更新,实现亚微米三轴运动控制。其并联 kinematic 结构配合微型球节和磁齿放大方案,使低成本磁编码器分辨率提升30倍,固件加入轨迹前瞻、闭环 PWM 控制及 G‑Code 工具输出。使光学对准、电子器件探测和显微镜应用的研究者能够用 USB 串口和 Python GUI 直接进行亚微米定位,降低实验装置的成本和复杂度。
05

YouTube

02
Fast answers are easy to get. Answers you can trust with your money are harder. Francesco Galletta and Felippe Felisola Caso build a financial-analyst agent harness live, using one real problem: paying for a wedding. They show the five design principles they use for AI you can trust: shared domain, consistency, evidence, accountability and verification. They also explain why calculations belong in code instead of in the model's head. Note: the speakers work at Monzo but are not presenting on Monzo's behalf. 🎟️ Join us at the next one: AIE CODE Summit → https://aie.codes Speakers Francesco G
agent, ai_product, engineering
03
Your AI agent wrote a confident stock report saying 116% of analysts agree. Nothing in your checks caught it. This is the workshop for fixing that. Laurie Voss (Head of Developer Relations at Arize AI, co-founder of npm) builds a full evals loop on a Claude-powered financial analyst agent: trace it with Arize Phoenix, read the traces, write code evals and LLM-as-a-judge evals, test whether the judge can be trusted, prove a prompt fix with experiments, upgrade from Claude Haiku 4.5 to 5.5 with evidence, and gate it all in CI with npm test. Speaker: Laurie Voss, Head of Developer Relations, Ar
agent, ai_frontier, ai_product, engineering, market
04
Your agent says it's done. Is it? Nick Nisi and Zack Proser from WorkOS show how to build verification loops that let coding agents check their own work. They cover clear goals, CLI health checks, browser snapshots, LLM judges and evals, so a failure drives the next fix instead of landing on your desk. Includes the live "Midnight Snack Club" demo app and the repo to follow along. Chapters: - 00:00 Why "done" isn't done - 03:17 What it takes to trust agent output - 09:34 Give agents goals they can check - 17:31 Closing the feedback loop - 28:41 Making everything feedback-loopable - 36:29 The m
agent, ai_frontier, ai_product, engineering
06
A hands-on workshop on evaluating AI applications where mistakes are expensive. Annabell Schäfer and Doneyli De Jesus from Langfuse use a banking assistant to walk through the whole AI engineering loop. They cover tracing with PII masking, building datasets, turning domain-expert comments into failure modes, LLM-as-judge and code evaluators, and CI that blocks a prompt change when scores drop. Chapters: - 00:00 Why evals are hard - 05:01 The AI engineering loop - 12:47 Demo: a banking assistant with tracing and PII masking - 20:35 Building datasets - 25:18 Expert review and failure modes - 30
agent, ai_frontier, ai_product, engineering
07
Insurance claims are full of handwriting, faxes, duplicates and 8GB PDFs. Denys Linkov of Wisedocs explains why that unstructured data is both the biggest barrier and the biggest opportunity for AI in insurance. He covers cleaning the data, analysis within a single document, and cross-claim insights, along with the benchmark Wisedocs built with Artificial Analysis to test how models handle medical records. Chapters: - 00:00 Intro - 01:43 Insurance's technology transformation - 09:34 How a claim actually works - 15:50 Step 1: clean data - 20:28 Step 2: analysis within documents - 23:37 Benchma
agent, ai_product, engineering
09
Say what you want, not how to get it. The OpenProse team shows how to write multi-agent workflows as declarative contracts in plain markdown, which any harness (Claude Code, Codex and others) can compile and run. Demos include event-driven jobs triggered by webhooks and pull requests, a "grumpy senior" PR reviewer, and an end-to-end bank model-documentation workflow. They also discuss composing contracts, pinning a winning run into a reusable workflow, and how this compares to DSPy. Chapters: - 00:00 From prompt engineering to declaring intent - 05:40 What OpenProse is - 09:58 Agents, skills
agent, ai_product, engineering
08

Papers

01
LLM 代理在长时任务中易出现目标漂移,导致资源浪费和结果偏离。本文提出一种监督式的转向代理,通过低成本快速路径和高成本慢速路径实时干预,用带有 GRPO 的强化学习联合训练两路径。实验表明在信息搜索任务上提升单代理和多代理性能,且泛化到域外任务、未见执行器,可控干预频率无需重训。
02
定理证明需要检索 lemma,现有方法只看字面相似,忽略了定义之间的多跳依赖。LeanGraphSearch 以 Mathlib 前向依赖建图,用图排名从语义匹配节点传播相关性到其依赖,再重新排序候选。在检索基准上召回率提升最高 12%,定理证明 Pass@8/16/32 提高最多 40%(比原始证明器)或 10%(比 LeanSearch v2),显示依赖图搜索在准确率与成本上更具效率。
03
3DCodeVerse 通过构建 200 万条可执行 3D 代码数据集、多智能体 DAG 框架进行生成‑验证‑迭代,并给出组件级实践指南,显著提升开源模型的 3D 编码能力,在人工评测中胜出率达 90%,为 Agent 驱动的 3D 内容生成提供可直接用的数据和工具。
04
MLExpert 针对自主机器学习工程中长链实验反馈稀疏、成本高的问题,提出分层指令微调和窗口交互强化学习(WIRL),在短轨迹中共享实验结果奖励,支持在轨迹结束前更新策略。实验显示其在 MLE‑Bench Lite 上平均奖牌率从 37.9% 提升到 72.7%,并在其他基准上表现泛化。
05
FDE-Gym: The Last Mile of AI Delivery
FDE‑Gym 把真实客户交付的不确定性搬进仿真环境,让 Agent 必须在生产‑级系统里和利益相关者交流、挖掘隐含约束并交付能提升客户成功度的方案。基于 95 条端到端任务的评测显示,即便模型拿到全部关键事实,也只有约十分之一能达到 0.8 的业务提升,揭示了从解清晰任务到真正交付的巨大鸿沟。
06
现代 MoE 融合细粒度专家划分和共享专家,导致共享专家降低路由探索性,而细粒度划分又增大路由空间,产生探索困境;本文提出 MirrorMoE 通过 token 自适应抑制不必要专家来收缩探索空间,在不同规模模型上均提升性能,为实际部署提供更有效的稀疏激活方案。
07
这篇工作让大语言模型提出量子线路候选,由评估器打分验证,搜索在八个任务中除一个外均显著降低Toffoli门和量子比特数,并给出新可逆模逆架构,使divsteps成为可行。对希望用LLM辅助算法设计的Agent/AI工程师,展示了模型如何通过可验证评估器迭代改进复杂可逆电路,提供借鉴的协同设计范式。
quant-ph
08
LIBERO-PeRM 提出首个可控的个性化机器人操作基准,在仿真中定义可语言表达的运动、技能、用户档案偏好,生成配对演示并设五类评估问题(零-shot跟随、单偏好学习、演示效率、泛化、偏好组合与冲突)。实验显示当前 VLA 零-shot 个性化弱,SFT 可学习偏好,混合训练在保留无偏好性能及上下文提示方面更好,但偏好泛化、分解与冲突仍难。此基准为 Agent 产品提供可重复、自动评估的个性化学习测试床,有助于快速迭代家庭机器人的偏好适配。