Hacker News 中文摘要

Diátaxis是一种系统化的技术文档编写方法，通过识别教程、操作指南、技术参考和解释四种文档类型及其对应需求，解决文档内容、风格和架构问题，帮助创建和维护高质量文档。

2026年7月，Lean内核发现一个关于嵌套归纳类型处理的健全性漏洞（#14576），该漏洞被用于伪造科拉茨猜想的反证。开发者在一小时内完成修复并发布补丁。漏洞源于内核在消除嵌套类型时，未正确处理幻影参数，导致类型检查失效。

一位名叫吉姆的年轻人通过参加编程训练营和女友支持进入科技行业，在作者帮助下获得初创公司工作，公司被收购后年薪达到六位数，但赚钱后暴露了致命弱点。

文章以《阿甘正传》中福雷斯特因分心导致船撞码头的场景作比喻，批评谷歌新闻因过度关注AI和搜索功能而忽视核心新闻服务，导致用户体验下降。

谷歌通过“拥抱、扩展、消灭”策略，利用RSS协议获取市场份额后逐步移除支持，导致用户放弃使用RSS，损害了开放互联网的自由性。

NetBSD项目正式发布11.0版本，提供安装指南与镜像下载。ARM设备用户可从专用页面获取预配置镜像。ISO镜像分为CD和DVD两种，USB设备需使用.img文件并先解压。

本书是《64位汇编艺术》第二卷，深入讲解机器级面向对象编程、异常处理和并发。作者Randall Hyde通过MASM汇编语言，在Windows环境下从零构建C++、Python和Rust中的核心编程构造，帮助读者获得超越表面理解的真正底层知识。

作者查理·斯特罗斯声明，他从未在写作或生活中使用生成式AI，并谴责将这类工具包装成“工具”的欺诈行为。他自1985年起独立创作小说，强调作品完全由自己完成。

作者Andrew Shell于2026年7月30日推出“I ♥ RSS”网站目录，专为RSS爱好者设计。用户可提交自己的网站，首页还展示由FeedLand驱动的实时博客列表。作者已添加徽章并提交了自己的站点。

Cursor用户反映使用页面从显示美元金额改为显示代币数量，导致无法追踪实际花费。多位用户表示不满，认为这一变化缺乏透明度，影响团队和个人监控使用情况，希望恢复美元显示或获得明确解释。