The Hacker Daily

文章介绍了伦敦市内多座免费开放的屋顶露台，如泰特现代艺术博物馆10楼、One New Change 等，这些空间为公众提供城市全景。然而，评论指出其中一些场所面临法律纠纷，例如 Neo Bankside 的居民起诉泰特，最终导致该观景台关闭；另外，许多露台需要提前预订且存在容量限制，甚至有过分严苛的安检要求。讨论聚焦于公共空间的真实可访问性，反思英国规划权限制下的「公共」与「私有」边界问题，引发了对公共资源管理的思考。

Linux 4.18+ 的「重启序列(restartable sequences, rseq)」是系统编程领域的隐藏秘诀，它允许在无锁无原子操作的情况下实现线程安全数据结构，能充分利用多核 CPU 的性能。rseq 通过内核在 TLS 内存中维护 CPU 编号，线程被重新调度时内核会检测程序计数器，如果在关键指令区间内则强制跳转到中止处理程序重试操作，从而消除 mutex 和 atomic 的开销。作者称 malloc 性能可提升 3-43 倍，但需 96 核工作站才能开发此类优化。文章展示如何用 rseq 实现 lock-free 链表，避免 ABA 问题和 cache line 争用，成为锁与全 STM 系统事务内存之间的中间方案。

作者在 RTX 4080 游戏 PC 上安装了 Tesla V100 SXM2 16GB 数据中心 GPU，通过 £50 的 SXM2-to-PCIe 适配器实现跨 GPU 推理。V100 的 HBM2 内存带宽达 900GB/s，比 RTX 4080 的 736GB/s 高出 22%，在 LLM 推理中内存带宽是关键瓶颈。原生风扇噪音 82 分贝，用 9V 电池测试后通过 PWM 控制降至可接受水平。最终实现 RTX 4080 + V100 共 32GB VRAM，在 NixOS 下配置 legacy 535 驱动和 CUDA 12.2 支持两种架构。成本仅为 RTX 5090 约 1/10，且可运行 27B 参数模型。文章争议在于部分评论质疑其 AI 辅写风格，同时讨论了游戏兼容性、水冷方案和 AMD 异架构替代选项。

文章主张软件开发效率的瓶颈从来都不是编写代码，而是对领域的理解。作者指出 Agentic AI 打破了领域知识和编码之间的耦合，现在评估软件正确性成为关键约束。领域专家（如物流调度员、临床编码员）虽不懂编程，但能立即判断输出是否符合规则；而通用工程师虽能写出可靠代码，但无法察觉「看似正确实则错误」的答案。最有价值的人是同时具备领域知识和编程能力者，他们能在两个层面上验证正确性。

S.E.C.R.E.T.（The Society for the Exploration of Confidential Repetitive Envelope Tints）是一个专门收集和标准化「安全信封图案」的项目。文章介绍了「Obscurationist」这一术语，指那些研究、欣赏和记录旨在遮掩打印信息的视觉图案的人。自从 1901 年窗口信封问世以来，这些隐藏在内侧的「迷人图案」起源鲜为人知，但其中蕴含着一种静静的美感。项目致力于连接同好，构建首个系统化的收藏，并享受这种隐秘之美。

艺术家 Shantell Martin 与字体设计师 Stephen Nixon 合作创造了「Shantell Sans」字体，目标是打造一个既好玩又专业、易读且易用的手写风格字体。Martin 曾因拼写困难被关禁闭，但热爱文字表达；得知自己是读写障碍者后，立志设计字体帮助类似人群。字体借鉴 Comic Sans 的亲和力，但加入 Weight、Italic、Informality 和 Bounce 四个可变轴，能从日常易读到高能实验动画风格自由切换。采用开放字体许可发布，已被 Whitney 博物馆、Cash App 等品牌使用，也上架 Google Fonts。

NLnet Labs 推出的 Roto 是一门静态类型、JIT 编译的嵌入式脚本语言，经过一年迭代发布了 6 个版本。新增了循环语句、f-strings、枚举、复合赋值运算符、列表类型等功能，同时语法更接近 Rust（fn、// 注释）。重点改进是 library! 宏让注册函数和类型更简洁，支持构建模块树。Iocaine 等外部项目采用 Roto，验证了其性能优势。未来计划添加哈希表、用户状态、泛型函数及 LSP 工具支持。

AOMedia 发布了 AV2 视频编码规范 v1.0，这是 AV1 的下一代标准，旨在提供更高的压缩效率，实现更低比特率下的高质量视频传输。规范全面定义了码流语法、语义和解码过程，官方参考软件 AVM 也同步发布 v1.0.0 版本。AV2 新增支持 AR/VR 应用、多画面分割传输、屏幕内容优化，并支持更广的视觉质量范围。尽管技术上是革新，但社区普遍担忧硬件支持时间表、专利风险及编解码器性能问题，预计要到 2028 年才会出现硬件加速芯片。

这是一份关于「基于格」密码学的入门教程，介绍了这种抗量子算法的基本数学原理和实现。文章作为后量子密码标准（PQC）的重要组成，解释了格证明、ML-KEM 等关键概念。社区评论指出，Chrome 和 Firefox 已默认支持 X25519MLKEM768 混合密钥交换，表明该技术正在实践中部署。有开发者分享了 ML-KEM 的实现经验，还推荐了相关的数学学习资源和解释视频。讨论也涉及 NTT 作为性能优化和「蒙哥马利形式」类似，强调现在学习这项技术是为未来抗量子时代做准备。

Ink & Switch 研究团队介绍了其「Programmable Ink」项目的最新进展，包括正在开发的 PlayBook 可变计算笔记本。PlayBook 旨在模拟纸笔的书写体验，同时具备动态行为和模块化结构，已被团队成员用于日常笔记、头脑风暴、音乐创作等多种场景。文章还提到三个子项目：Portemine 探索传播网络作为可视计算底层；PlayBook 的无 GUI 手势系统，通过专门的「按压手势」实现工具切换；DrawDeck 则描述为神秘的「符石」概念，让计算过程在空间中展开。同时宣布 Local-First Conf 2026 门票开售。

作者在沙特阿拉伯的阿加特沙漠（距海岸 500 公里）发现一石化的「海贝」化石，利用 7894 种贝类 59244 张图片数据集，通过形态学分析和主成分分析（PCA）尝试确定其物种归属。分析结果指向「Sphincterochila candidissima」，但该物种仅有 3800 万年历史，远年于沙漠沉积物的中侏罗世（约 15000 万年前），这可能是两种不同物种因相似环境压力产生的「趋同进化」。文章还分享了基于形状的归一化流程和互动工具，允许读者上传贝壳查看在潜空间中的位置。

Atomic Editor 是一个基于 CodeMirror 6 的编辑器项目，提供类似 Obsidian 的所见即所得「live preview」体验。作者最初为自己的知识库项目 Atomic 开发此编辑器，最初使用的是 Milkdown（基于 ProseMirror），后来改用 CodeMirror 实现。社区用户对编辑器交互体验表示认可，但指出选择高亮「selection highlighting」功能缺失以及代码块围栏删除时的 bug。开发者已快速响应修复了高亮问题。值得注意的是，这类工具讨论引发了对使用 CodeMirror 而非 ProseMirror 来处理文本写作的兴趣话题。

作者在公寓阳台安装微型麦克风，利用 Raspberry Pi 运行 BirdNET-Pi 结合「BirdNET」音频分类器识别鸟类叫声，同时通过 Gemini 2.5 Flash Image 模型生成日料「kachō-e」木刻版画风格的鸟类插图，构建了一个实时插图拼贴网站。项目支持 Cloudflare Tunnel 公网访问、Home Assistant 传感器集成和 MQTT 桥接，并可根据「eBird」地区代码过滤本地鸟种。整个搭建过程约 20-40 分钟，预打包了 450 种北美常见鸟类的「perched」及「in-flight」双姿态插图。

本文介绍了一种名为 Frost 的远程浏览器指纹识别技术，通过浏览器「Origin Private File System (OPFS)」的 SSD 定时攻击来追踪用户。OPFS 允许网页在浏览器沙盒内写入和读取文件，研究人员利用存储设备读写速度的微妙差异来生成独特标识。该方法可以在不使用 Cookie 或传统追踪技术的情况下，对用户进行跨站追踪。评论中提出的疑问指出，在 tmpfs 等内存文件系统环境下，该攻击的有效性可能会大幅降低，这也揭示了该技术的局限性和防御思路。

2012 年泰坦尼克号重映中，詹姆斯·卡梅隆根据天astrophysicist尼尔·德·格拉斯·泰yson的建议，将原版电影中天天文学上错误的夜空进行了修正。最初 1997 年版本的夜空是艺术化的渲染，甚至左右半球是镜面对称。卡梅隆表示这是 2012 版本唯一的技术改动。文中还附上了 1912 年四月泰坦尼克号航行期间的天文数据，包括日出日落时间及月相信息（新月前夕，只月面照明 4%-9%），以及当时美国东部可见的日食信息。

Breathe CLI 是一个零依赖的 Python 命令行工具，提供「paced resonance breathing」（节奏共振呼吸）练习功能。用户可在终端中进行结构化的呼吸训练，无需安装额外软件或注册账户。社区评论指出其实现简洁（纯 Python 无三方包），并分享了与 HRv 训练、戒烟、交感神经放松、SVT 缓解等实际应用场景。评论者认为这种「无账号即用」的设计有利于养成每日习惯，未来可通过配置音频播放器调用支持其他操作系统。

Telli 公司（YC 第 24 届季度毕业生）发布了招聘帖，位于柏林的现场岗位包括工程、设计和市场拓展方向。文章链接指向 Notion 页面，但原文内容无法获取，仅显示 JavaScript 提示。这是一则标准的招聘信息，旨在吸引 Hacker News 社区的技术人才加入团队。由于为招聘帖，内容主要为职位说明和公司介绍，缺乏深度技术讨论或争议点。

这是一篇介绍微分几何基础的论文，通过「图解」形式展示关键概念，完全避免数学公式。作者认为微分几何是广义相对论、狭义相对论、力学、热力学和微分方程求解等领域的重要工具。本文目标是帮助读者理解「Maxwell 方程」，最终以三幅图像的形式呈现这些方程。特别适合对物理、数学和几何感兴趣的大学前学生阅读，也能增强本科生和研究生在学习广义相对论时的直观理解。评论中推荐了 Needham 所著「Visual Differential Geometry and Forms」一书，认为即使不深研，也值得时不时欣赏。

《折叠北京》是一篇科幻小说，描写四十八岁废物处理站工人老道下班后穿着仅有的一套得体衣服去寻朋李，可刚买到儿子 Tangtang 幼儿园学费「两万元」的消息，他急需进入「第二空间」赚钱。作品通过老道在人行道上的场景，展现北京平凡劳工的困境：他们在有限的生活空间里挣扎，为生活艰难地存钱，反映社会分层和阶级隔离的主题。

美国莱特兰大学研究团队发现，伊朗蚜蛾（Aedes aegypti）通过「联想学习」可以将通常作为驱蚊剂的 DEET 从原本的厌恶刺激转变为喜好刺激。实验表明，蚊子在不断摄取 DEET 并获得膠质奖励后，学会将该化学物质与食物联结，最终产生喜爱反应。这一发现解释了部分地区应用 DEET 后仍被蚊子骚扰的现象，也对未来的驱蚊策略提出挑战。研究在有限实验条件下进行，讨论认为可能的解决方式包括：将 DEET 与杀虫剂结合、或开发替代性驱蚊成分。

Racket 编程语言 v9.2 版本正式发布，带来多项重要改进和修复。其中「match」表单增强了非线性模式的匹配检查，Typed Racket 的「asin」和「acos」函数现在正确处理复数场景，避免编译时声称不安全的结果。新增「#%foreign-inline」核心语法形式提供链接层功能访问，同时升级至 Unicode 17.0。此外还有跨相位持久模块支持更多「quote」数据类型、终端文件位置统计函数，以及 Scribble 文档默认缩放调整等更新。这些修复可能导致现有代码无法通过编译。

文章由 Paul Graham 在 2008 年提出「你本不该有上司」论点，认为人类并非为在大型组织中工作而设计。作者从观察野生动物（尤其狮子）的行为来联想，认为人类最适宜在小群体（8-20人）中工作，而现代大公司使用树形层级结构和「Boss」来协调数百上千人的组织，这导致个人自主权与组织规模成反比。他将「正常工作」比作高果糖玉米糖浆——短期吸引力强但长远有害，因 economies of scale 使其成为默认选择。文章引导程序员考虑创业或加入小团队，以寻找更符合人性的工作方式。

《机械笔》是 Bryan Macomber 的插画项目，通过可视化拆解日常产品的内部结构，如机械笔、打火机和 Pez 零食塞，向读者展示这些被视为理所当然的物件的工程设计原理。作者以机械工程师身份出发，说明「点击笔」是如何产生声响、「Zippo 打火机」如何翻转打开等工作机制。本站以简洁插画形式呈现产品内部构造，让读者通过点击浏览了解产品设计，同时提供邮件订阅功能以获取更新通知。

埃森哲（Accenture）宣布将收购全球网络智能领导者 Ookla，后者以「Speedtest®」、「Downdetector®」、「Ekahau®」和「RootMetrics®」等产品为通信服务提供商、 hyperscalers 和企业提供网络性能基准和客户体验分析。Ookla 每月处理超 2500 万消费者发起的测试，成立于 2006 年，现有约 430 名工程师。埃森哲 CEO 莫妮克·施瓦茨表示，现代网络已从基础设施演变为业务关键平台，测量性能能力对优化体验、收入和安全至关重要。社区讨论集中在这笔收购的价值究竟在哪：专家指出 Ookla 的核心资产是数据和用户基础，而非技术本身；也有人担忧埃森哲拥有 Downdetector 可能引发利益冲突；此外还讨论了隐私问题和 Ookla 嵌入 ISP 网络的基础设施价值。

微软计划于 2026 年 7 月 13 日对永久授权版 Office 2019 和 2021 for Mac 进行远程降级，将受影响应用转为「降低功能模式」，用户只能打开查看文件但无法编辑或保存。此问题源于许可验证证书过期，Office 2019 for Mac 无法更新到所需版本 16.83，已被证实「无法通过更新或重装解决」。微软 2023 年停止支持声明曾保证「应用会继续运行」，但 2026 年该保证已被移除。评论区普遍指责微软违背购买契约，用户怒其未主动通知及推出订阅替代品，同时讨论转向 LibreOffice 等开源软件。微软给出三种选择：继续只读、使用免费网页版或购买订阅/2024 永久版。