今日 Hacker News 热榜横跨 AI 应用评测、生成式视频、形式化验证与开网怀旧：MIT Sloan 讨论「问对问题」后的 AI 理财建议质量，字节 Seedance 2.5 拉长单次成片与多模态引用，Lean 内核稳健性漏洞复盘则提醒「独立检查器」并非绝对。开发与文档侧有 Diátaxis 再上榜、Randall Hyde 的 64 位汇编第二卷与计算器跑 Linux 的黑客向长文；另有习惯形成神经回路研究、TLS 1.2 废弃旧密钥交换的 RFC，以及一篇关于 Google 与 RSS 的 2023 旧文重回讨论。以下按当前热度前十整理。
1. AI financial advice is surprisingly good if you ask the right questions
背景介绍
MIT Sloan 报道 Taha Choukhmane 等学者的新论文：用 GPT-5.2 / GPT-5.6 / Gemini 3 Flash，对比约 1000 名成年人自写的理财提问与更结构化的学术提示，再在生命周期收入—储蓄—投资模型中模拟「长期听从 AI」的结果。总体结论是：模型常鼓励工作期储蓄、退休期提取、分散持股并随年龄降风险，可形成可观缓冲；但对失业等冲击调适不足，组合再平衡偏弱；提示越完整，建议质量越高。
主要讨论方向与观点
评论强调「问对问题」本身就要求专家式提问能力，普通人未必具备。有人指出评测多为无次、无长期客户上下文，忽视行为与情绪层面；也有人认为理财相对有共识最优路径，故 AI 表现好于写复杂软件。另有用户分享自用的长期理财 planning skill。
专有名词解释
- LLM / 大语言模型：基于大规模文本训练、以对话形式生成建议的模型。
- Portfolio rebalancing（组合再平衡）：按目标权重调整资产比例，防止漂移。
- Lifecycle / life-cycle model：把一生收入、税收与消费纳入同一框架的宏观/家庭金融模型。
HN 讨论：thread · 121 分 · 76 评
2. Seedance 2.5
背景介绍
字节跳动 Seed 团队发布视频生成模型 Seedance 2.5：在 2.0 多模态音视频联合生成架构上，强调长叙事与引用控制——单次最高约 30 秒并可多轮续写；单次可参考最多约 30 张图、10 段视频与 10 段音频；支持时间戳级音视频编辑及绿幕、机位等能力。官方称已在即梦 AI、豆包 Pro 等上线，API 经 BytePlus ModelArk 即将开放。
主要讨论方向与观点
有人对比中美需求差异：演示偏动作/特效向 T2V，而部分西方创作者更关注表演可迁移的 V2V。另有评论肯定画质与一致性进步，但仍指出 AI 视频常见的剪辑碎、动作不自然、表情「演」感等问题；也有人谈到推理成本与「好玩但难规模化」的创作体验。
专有名词解释
- T2V / V2V：Text-to-Video（文生视频）与 Video-to-Video（视频驱动/迁移）。
- Multimodal reference（多模态引用）：同时用图/视频/音频作为生成约束与风格参考。
- Seed / Jimeng / Doubao：字节 Seed 模型线及即梦、豆包等产品入口。
HN 讨论：thread · 136 分 · 52 评
3. Diátaxis
背景介绍
Diátaxis 是一套技术文档方法论：按用户需求把文档分成 教程（tutorials）、操作指南（how-to guides）、参考（reference） 与 解释（explanation） 四类，并据此组织内容、语气与结构。站点由 Daniele Procida 维护，强调轻量、可落地，并已被大量项目采用；作者也在推进多语言翻译。
主要讨论方向与观点
实践者称按四象限写文档时「声音」更清晰，交接复杂代码库时尤其有用；客服/产品文档迁移到该框架后可读性提升。另有人半开玩笑说「读完就再也忍不了混乱文档」，以及在 vibe coding 时让 LLM「按 Diátaxis 写」可得到可用初稿。
专有名词解释
- Diátaxis：文档信息架构框架名，强调四类文档职责分离。
- Tutorial vs How-to：教程以学习路径为主；how-to 以完成具体任务为主。
- Reference vs Explanation：参考罗列事实与 API；解释回答「为什么」。
HN 讨论：thread · 166 分 · 25 评
4. Unraveling the mysteries of habit formation
背景介绍
京都大学研究新闻介绍一项小鼠习惯形成研究：团队用两阶段训练加速从「目标导向」到「习惯化」的转变，并追踪同一被试的行为与神经变化。发现两条回路分工不同——前扣带皮层到压后皮层的通路影响「是否形成习惯」（连接在转变中减弱），外侧眶额皮层到中央纹状体的通路影响「习惯执行强度」，可解释个体差异；人为操纵通路可分别促进形成或改变执行量。结论挑战「重复只是原样固化行为」的简化图景。
主要讨论方向与观点
评论偏生活化：有人谈「丢了晨练习惯后很难捡回」；也有人对实验插图中的「举杠铃小鼠」调侃。讨论体量不大，主要围绕习惯易失难复与个体差异。
专有名词解释
- Goal-directed vs habitual：目标导向依赖结果评估；习惯更偏刺激—反应自动执行。
- Anterior cingulate / retrosplenial / orbitofrontal cortex：与冲突监控、空间/情境表征、价值与决策相关的皮层区域。
- Striatum（纹状体）：基底神经节核心结构，与动作选择与习惯学习密切相关。
HN 讨论：thread · 23 分 · 9 评
5. Postmortem for Kernel Soundness Bug #14576
背景介绍
Leonardo de Moura 复盘 Lean 内核稳健性漏洞 [#14576]：有人发布「无 sorry 反证 Collatz」的仓库，实际利用嵌套归纳类型在 phantom 参数 场景下逃逸类型检查的实现缺陷，可构造 False。问题仅能经元编程直接向内核提交声明触发，前端通常能拦住；报告后约一小时合入修复。外部检查器 nanoda 当时另有无关投影类型名漏洞，旧版未能拦住；lean4lean 因移植同一归纳处理也受影响。作者强调这是实现 bug，非元理论漏洞。
主要讨论方向与观点
讨论承认再强的类型检查也会偶发稳健性问题，关键是表面积小且修复迅速。有人引用 Knuth「证明正确仍可能有 bug」；有人问是否存在「不直接证 False 却证出惊人定理」的漏洞形态；另有人对比 Metamath 等更「硬」系统，并担忧 AI 辅助形式化下的 reward hacking。
专有名词解释
- Soundness（稳健性/可靠性）：系统不应接受无效证明；破坏后可证
False。 - Lean / kernel：Lean 定理证明器及其负责类型检查的核心内核。
- Independent checker / nanoda：独立于官方实现的再检查器，用于降低单一实现风险。
- Phantom parameters：未在构造子字段中出现的类型参数，此处与辅助类型生成相关。
HN 讨论：thread · 109 分 · 39 评
6. But can your calculator run Linux?
背景介绍
Raymii 长文介绍在 HP Prime G2 图形计算器上运行 Linux 的更新移植：从设备拆解与 root 诉求谈起，展示 xcalc、控制台、甚至 Doom 等截图，并对比 HP-16C / SwissMicros DM16L 等程序员向 RPN 机型。作者强调「买到的设备应可被所有者完全控制」，并梳理其他可跑 Linux 的图形计算器生态。
主要讨论方向与观点
Prime G2 日用户称更爱物理按键与 Python/PPL 编程，Linux 有趣但可能牺牲实用性；有人怀念 HP48/50 工程机时代与 sneakernet 程序分享，并感叹如今手机/电脑已替代大多数场景。亦有「烤面包机都能跑 Linux」类玩笑呼应。
专有名词解释
- HP Prime G2：惠普触控图形计算器硬件修订版。
- RPN（逆波兰表示法）：先操作数后运算符的计算器输入范式，HP 经典机型常用。
- PPL：Prime Programming Language，HP Prime 自带脚本语言。
HN 讨论：thread · 58 分 · 4 评
7. The Art of 64-bit Assembly
背景介绍
No Starch Press 页面介绍 Randall Hyde 的 The Art of 64-Bit Assembly, Volume 2（约 2026 年 6 月上市，约 792 页）：副标题聚焦机器级 OOP、异常与并发。全书在 Windows + MASM 下用汇编手写 vtable、SEH、thunk/闭包、协程/fiber、同步原语与 Unicode 等，强调相对「问 AI 得似是而非解释」的真实 ABI 细节。可下载样章《Advanced Macros》。
主要讨论方向与观点
线程大量吐槽营销文案首句的 AI 口吻、Windows/MASM 范围过窄，以及「拿这本书训 LLM」的玩笑；有人呼吁回到样章与第一卷口碑。亦有汇编工具链讨论（GAS vs MASM）与「有没有 Linux 对等书」的需求。
专有名词解释
- MASM：Microsoft Macro Assembler，Windows 上常用的宏汇编器。
- vtable / SEH：虚函数表与 Windows 结构化异常处理机制。
- x64 ABI：64 位调用约定与二进制接口约定。
HN 讨论：thread · 183 分 · 86 评
8. RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2
背景介绍
IETF Standards Track 文档 RFC 10015（作者 Aviram 等）针对 (D)TLS 1.2 废弃有限域 Diffie-Hellman（含非临时与临时）以及 RSA 密钥交换，并劝阻静态 ECDH 套件；不适用于已被 RFC 8996 废弃的 1.0/1.1，也不适用于 1.3（相关算法/配置不同）。文档更新多份既有 RFC 中的密码套件指引。抓取时 HN 讨论尚无评论。
主要讨论方向与观点
截至抓取时该帖评论数为 0，尚无社区讨论可归纳。内容本身属于将业界长期实践（优先 ephemeral ECDHE 等）写入标准状态更新的文档向提交。
专有名词解释
- TLS / DTLS：传输层安全协议及其面向数据报的变体。
- Key exchange（密钥交换）：握手阶段建立共享密钥的机制；RSA 密钥传输与静态 DH 缺乏前向保密等现代期望属性。
- ECDHE：椭圆曲线临时 Diffie-Hellman，常用于提供前向保密。
HN 讨论：thread · 10 分 · 0 评
9. How Google helped destroy adoption of RSS feeds (2023)
背景介绍
Open RSS 于 2023 年发文梳理 Google 与 RSS 的关系：Chromium 早期内置订阅按钮后消失；收购 FeedBurner 后关闭 API 并砍掉大量功能（含邮件订阅）；关闭 Google Reader；以及后续产品中对开放订阅协议的削弱。作者用「拥抱—扩展—消灭」框架，认为大厂锁定用户后再抽走开放协议支持，伤害了 RSS 普及与开放网络。
主要讨论方向与观点
怀旧帖占主导：Google Reader 关停被视为「旧互联网」转折；有人对比当时推 Google+ 却砍 Reader 的优先级。另有人指出 Firefox 也曾移除 Live Bookmarks 等原生 RSS 能力，责任不全在 Google；亦有开发者呼吁站点继续提供 RSS/Atom、ActivityPub 等替代表示。
专有名词解释
- RSS / Atom：站点更新的开放订阅格式。
- Google Reader / FeedBurner：曾极具影响力的阅读器与 feed 托管/分析服务。
- Embrace, extend, and extinguish：先兼容开放标准再专有化、最终削弱开放生态的策略指控用语。
HN 讨论：thread · 381 分 · 133 评
10. Morph (YC S23) Is Hiring Member of Technical Staff
背景介绍
YC 招聘帖：Morph（YC S23）招聘 Member of Technical Staff（旧金山，全职，薪资区间页面标示约 $175K–$350K + 约 0.40% 股权，签证要求偏严格）。公司自称构建面向 coding agents 的高速开源模型推理基础设施（内核、serving、路由、扩缩容等），岗位侧重缩小理论硬件性能与生产差距、定位延迟/吞吐瓶颈、优化批处理与量化等。面试形式含 2 天 work trial。截至抓取时无 HN 评论。
主要讨论方向与观点
该条目为 job 类型招聘帖，当前无线程讨论。信息仅来自 YC/公司职位页，未独立核实团队规模或性能宣称。
专有名词解释
- Inference stack：把模型权重变成低延迟、高吞吐 API 的服务链路（内核、调度、批处理等）。
- PD disaggregation：prefill/decode 等阶段解耦的推理系统研究方向（职位描述提及）。
- YC S23：Y Combinator 2023 年夏季批次。
HN 讨论：thread · 1 分 · 0 评