ZhangYvJing's

Daily Brief

← October 17, 2026 October 18, 2026 · Sunday October 19, 2026 →
00

Film / Book Chapter

Moneyball
2011 / Bennett Miller

Moneyball (2011) · Bennett Miller

今天适合看《点球成金》,因为它讲的不是体育,而是在旧评价体系失灵时,怎样靠更冷静的判断和证据重新决定什么值得下注。

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 的 Bleached corals thrive within days when touching healthy neighbour;Hacker News 的 Source code of the Estonian online voting system;Hacker News 的 The Commodore 64 hardware simulator: break chips and pins, see the results;Hacker News 的 Furifont, a Japanese font that shows furigana;Hacker News 的 Making chicken transparent using Dorito dust;Hacker News 的 Dam removals are bringing fish back across the northeastern United States。真正值得注意的不是单条内容本身,而是它们共同指向了什么、彼此漏掉了什么。
03

Hacker News

01
科学家在实验室中将白化珊瑚片与健康珊瑚片接触,观察到白化珊瑚在几天内恢复颜色并重新获得共生藻类。这一快速逆转源于同一基因型珊瑚碎片之间形成组织桥,使藻 symbiont 从健康片转移到白化片。该发现表明,利用珊瑚自身的组织融合可缩短恢复周期,可能改变珊瑚修复研究的实验设计和后续大规模应用的成本与风险评估。
02
Source code of the Estonian online voting system
爱沙尼亚在线投票系统的源代码已在公开仓库中发布,供公众审查。该仓库不用于活跃开发,但会保持同步,以确保其中的代码正是实际选举中使用的版本。因此公开代码不会改变开发主体,但可以让公众进行审查,这有助于在选举期间保持代码的一致性和对选举过程的公众监督。
03
C64硬件模拟器c64-hw-sim实现了Commodore 64主板ASSY 250407的针脚级电路仿真,用户可模拟芯片引脚断开、短接、拔除或电阻断开,并实时观察机器画面、键盘及板上信号变化。该模拟器基于PCB网络表和每个芯片的针脚行为建模,计算结果而非预设故障表现。当前在苹果M3 Max等设备上仅运行31%-48%实时速度。它帮助人直观学习C64工作原理,或通过假设故障进行验证,降低实际焊接风险,减少台数,改进维修效率与成本。
06
美国东北部持续拆除老旧水坝,使曾被截断的河流重新连通,河鱼特别是鲱类逐渐返回产卵区。这种拆除源于水坝既过时又引发洪水隐患,且早期学者如梭罗已指出其阻碍鱼类迁徙。拆除后,州生物学家和研究团队需要改用鱼类标记与视觉调查等方法评估通鱼效果,从而改变监测工作流程并增加相应的人力与设备成本。
07
DeepSeek-v4.1-Flash-1017
DeepSeek推出了DeepSeek-V4.1-Flash-1017模型,其为DeepSeek-V4.1-Flash的小幅更新,主要提升推理、编码和视觉基准测试表现。该模型在保持性能提升的同时,还减少了任务执行时间和输出长度。为了支持多种部署场景,官方提供了包括Transformers、vLLM、SGLang和Docker Model Runner等多种使用方式。模型配套的Prompt Encoding文件夹包含参考实现encoding.py,帮助开发者正确编码多轮对话和工具调用;而生产环境则推荐使用深度合作伙伴推出的deepseek-recipe Rust库,实现统一的对话格式转换。由于采用MIT许可证,开发者可以自由使用。该更新将影响使用Transformers或vLLM等推理框架的开发者,他们可以在更短的时间内完成相同任务,从而降低成本。
08
Development statistics for the 7.2 kernel
Linux内核7.2版本的开发周期出现了提交量和参与开发者人数的显著增长,且未知隶属贡献者比例上升。这一趋势主要源于新开发者持续加入以及大型语言模型在错误检测和补丁辅助中的使用逐渐增多。这意味着核心维护者需要面对更多陌生代码的审查工作,而依赖模型生成的补丁可能带来理解深度不足和审查标准变化的风险。
09
AI Can Write the Code. Who Verifies It?
AI 编码工具的普及导致开发效率提升,但 bug 数量、代码审查时间和生产事故频次同步上升,2026 年 Faros 调查显示高 AI 使用组织的每名开发者 bug 量增加 54%,平均审查时长五倍, incident 触发率提升三倍。由于人工审阅已跟不上 AI 生成的快速产出,传统的主观复审方式难以保证代码质量。为此业界正转向自动化软件验证,通过 Superpowers 等 agent 编排流程和 RoboRev、Claude、Copilot 等 AI 辅助审查工具,将测试、TDD、调试和跨智能体 reviews 嵌入开发链路。这种机器镜像人地审核+". (字数:134)
10
Pele – Mermaid diagrams as themeable SVG
Pele 推出,一款轻量级开源库,可将 Mermaid 语法渲染为可通过 CSS 变量主题化的 SVG。它无需依赖,体积仅为 Mermaid.js 的 1/6,渲染速度提升最高 5 倍,同时支持 Mermaid 12.1.0 中的全部图表类型。开发者只需传入 Mermaid 文本调用 render() 接口,即可获得可嵌入页面的 SVG。 Pele 通过 CSS 变量(--pele-bg、--pele-fg 等)控制配色,修改后无需重新渲染,实时响应主题变化。它在 Obsidian 中用于快速渲染笔记中的图表,借名喻火女神增强可观性。 这将影响依赖 Mermaid 图表的文档工具开发者,他们可通过更小的体积和更快的速度提升应用性能,同时降低对外部库的依赖风险。
05

YouTube

01
Sharing a few thoughts on the future of math These videos are funded directly by viewers: https://3b1b.co/support An equally valuable form of support is to simply share the videos. Home page: https://www.3blue1brown.com If you want a finger on the pulse of how mathematicians are feeling right now, take a look at this post on Proofs and Prompt: https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/ Timestamps 0:00 - Math student angst 3:10 - How does math work? 11:24 - A proof machine 25:12 - A conjecture machine 26:59 - A theory machine 31:31 - If AI is better at everything
agent, ai_frontier, education
02
Ken Thompson built Unix in a month. IBM put 1,000 engineers on OS/360. And in 1998, Linus Torvalds hit his limit. Now we're hitting that same wall managing AI agents. Anthropic's CJ Avilla and Harrison Stall introduce Flows in Claude Managed Agents. You hand Claude a goal, and it plans and runs its own multi-agent topology of up to 1,000 agents through the API. In this hands-on workshop they demo a stock watchlist scanner, show how to spend more compute on the phases that matter, walk through the Bug Hunter and Explainer Studio templates, and explain why single agents fail through laziness, s
agent, ai_product, engineering, market
04
The model is the part you can't change. The harness around it is where you can make real gains. Nacho Martinez walks through the full agent stack (agent loop, short- and long-term memory, context engineering, the toolbox and skillbox patterns, skill distillation and continual learning) and applies it to an autonomous agent that flags suspicious bank transactions around the clock. 🎟️ Join us at the next one: AIE CODE Summit → https://aie.codes Speaker Nacho Martinez — LinkedIn: https://www.linkedin.com/in/jasperan/ GitHub: https://github.com/jasperan Oracle — https://www.oracle.com Workshop
agent, ai_product, engineering
05
If your token spend keeps going up and productivity isn't keeping pace, start here. Eugene Cheah lays out four steps for cutting AI inference costs at scale: measure, right-size, buy capacity well and check your processes. Along the way he covers splitting API keys per team, agentic vs. process workloads, open models that match frontier models on specific tasks, classifiers, fine-tuning, the speed-vs-cost tradeoff and "slop grenades." Recorded live at AI Engineer NYC 2026. 🎟️ Join us at the next one: AIE CODE Summit → https://aie.codes Speaker Eugene Cheah — X: https://x.com/picocreator Fea
agent, ai_frontier, ai_product, engineering
07
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
08
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
09
Six AI power users compare what actually works—and what falls apart once you start using it. Ben Davis, Ben Hylak, Dex Horthy, Allison Durham, Alex Volkov, and swyx discuss OpenAI DevDay, coding agents, personal assistants, model preferences, and the gap between impressive AI capabilities and useful products. From Pi-powered personal agents and decision models to subagents, context management, prompt injection, and assistants that can spend money: what deserves a place in your daily workflow? CHAPTERS 00:00 High Taste Testers 01:26 OpenAI DevDay: Dots, Spaces, and product execution 10:28 Gr
agent, ai_frontier, ai_product, engineering, startup
08

Papers

01
大语言模型能感知被测试,导致安全评估中更易拒绝有害请求。作者在五种印地语及英语上测试四个指令微调模型,加入监控提示后比较有害和无害请求的拒绝率。结果显示,所有模型在六种语言中拒绝有害请求平均提升约14.4个百分点,印地语拒绝水平追平英语,而无害请求拒绝率从6.9%升至11.3%,提示安全评估可能低估真实风险。
02
问题: 正式定理证明中需要检索相关引理,现有方法只考虑直接匹配,忽略多跳依赖。方法: LeanGraphSearch 基于 Mathlib 的前向依赖构建图,从语义匹配的声明传播相关性到其依赖,进行多跳遍历并重新排序。价值: 在检索基准提升 recall 最多 12%,并将检索收益转化为端到端证明通过率提升最高 40%,说明依赖图搜索能以低成本提升证明效率,对构建结构感知的 Agent 检索有启发。
03
3DCodeVerse 提供大规模可执行3D代码数据集和多智能体DAG验证框架,使编码Agent能自行生成、测量、视觉反馈自动修正3D内容,微调后模型3D编码能力显著提升,人工评估胜率达90%。
04
MLExpert 解决长周期机器学习工程中实验反馈稀疏、难以从中间结果学习的问题,采用分层 Agentic SFT 迁移工具使用能力及 Windowed Interaction RL 为多步决策统一奖励的后训练方法。在 MLE‑Bench Lite 上使平均奖牌率从 37.9% 提升至 72.7%,并在其他基准上展示泛化能力,对构建自主 Agent 产品具有参考价值。
05
FDE-Gym: The Last Mile of AI Delivery
FDE-Gym 提供 95 个源自客户的交付任务,智能体需在模拟利益相关者环境中澄清需求、操作生产级系统,得分为提升客户成功度量(0‑1)并扣除消息、试运行等待时间。即使已知全部关键事实,最强模型也只有约 10% 达到 0.8 以上业务提升,说明发现不明约束并转化为价值是当前智能体的主要瓶颈。
06
细粒度专家划分与共享专家的结合导致路由探索受限:共享专家降低了 token 表示的变异性,而细粒度划分又扩大了路由空间,造成探索困境。MirrorMoE 通过根据 token 自适应抑制不必要的专家,收缩探索空间,缓解这一矛盾。实验表明其在不同模型规模上均能提升性能,对构建高效、可扩展的 Agent 系统具有参考价值。
07
本文用LLM生成量子线路,独立评估器打分优化;在数值、化学、优化、模拟、数论五类任务中,七项比现有方案少Toffoli门和比特,第八项给出新可逆模反结构,使divsteps在量子上可用。对Agent/AI工程师展示LLM驱动底层可逆电路设计的可行性。
quant-ph