The Hacker Daily

这个 Show HN 项目把三阶魔方全部 43,252,003,274,489,856,000 个合法状态映射成可滚动浏览的网页，用户可通过滚动或 URL 哈希跳到某个编号，直观看到对应的方块排列。原文内容极简，价值主要在于把一个巨大组合空间做成可交互、可感知的界面，类似 everyuuid.com 一类「枚举一切」实验。讨论焦点集中在组合数量带来的震撼、实现方式可能是按棋子位置与朝向生成状态，以及可否增加最短复原步骤、自动滚动、URL 状态同步等功能。作者也在评论中回应并修复了 URL 变化不更新视图的问题。

Needle2 是 Cactus 推出的 45M 参数端侧小模型，主打在低于 200 美元、无 GPU/NPU 的设备上完成工具调用、设备控制和结构化抽取。它通过训练期 2bit 量化、滑动窗口、固定工具声明、语法约束输出和 C++ 单二进制推理，将模型压到 14MB、会话 RAM 约 28MB，可在 Pi、手机、WASM 乃至带外部 RAM 的 MCU 上运行。作者强调它不是聊天模型，而是把自然语言映射到函数和参数，并用置信度决定本地执行、追问或云端升级。争议主要在于实测 demo 对模糊指令常选错工具，即便置信度很低也会产生荒谬调用。

文章讲述马克·吐温在19世纪80年代押注詹姆斯·佩奇的自动排字机，投入相当于今日约千万美元的财富，最终破产并陷入抑郁。佩奇机器试图机械复刻人工排字员的动作，复杂到有18000多个零件，理论上精妙，却难以量产和维修；竞争对手 Linotype 则通过重定义任务、铸造整行文字，以更简单可靠的方案胜出。作者认为，吐温并非完全看错未来：文字生产确实将被自动化改造，他也敏锐感到机器会改变语言与劳动。但错误在于把看见未来等同于掌握实现路径。文章提炼三点教训：可维护性比完美性能重要，社会采纳速度常慢于倡导者预期，真正颠覆性的技术往往不是模仿人类劳动，而是重新设计工作本身。

金融时报报道，扎克伯格在一篇长文中批评封闭 AI 阵营，宣称 Meta 将恢复发布部分开放模型，并把未来描述为人人拥有「个人超级智能」代理。评论区普遍认为，Llama 曾推动开放权重生态，Meta 对 PyTorch、Llama、SAM 等开放项目确有贡献；但许多人质疑这是在自家前沿模型竞争受挫、闭源端点商业化不佳后转向「规则叙事」。争议集中在：Meta 的「开源」多为开放权重而非完整开源；承诺措辞其实较保守；以及一家以封闭社交平台、广告和数据采集著称的公司是否有资格扮演开放 AI 代言人。也有人认为，即便动机不纯，更多可本地运行的强模型仍是公共利益。

Floppydisk.com 的回收页面说明其仍在回收旧软盘，并收购未拆封、包装完好的新软盘。网站接受任意数量的 3.5 英寸软盘寄送回收；若寄送超过 200 张，可按表格规则申请少量运费补贴。对于全新软盘，要求数量至少 100 张，且必须保留原始密封包装，否则不能按新品处理；卖家需先发送照片并电话询价。文章本身信息很简短，价值主要在于显示软盘仍有小众市场和回收渠道；社区讨论则更多转向怀旧、旧介质可靠性、复古硬件替代方案以及软盘在音乐等亚文化中的再流行。

文章称，多家英国或有英国管理背景的 NGO 正以「儿童安全」为名，在美国推动数字身份和年龄验证法律，实质上会削弱成年人匿名上网能力。文中重点点名 CCDH、5Rights、ISD、Reset Tech 等组织，指其通过美国关联实体、游说公司和州级法案复制英国「适龄设计准则」模式，并涉及 FARA 披露不足、跨国资金和政府合同。作者认为，英国相关法律已被用于监控和压制异议，若美国照搬，将把反匿名基础设施扩展到 21 个州和国会；争议在于儿童保护与隐私、言论自由之间的权衡。

Stowaway.live 是一个实时 WebGL 2 网站：用户选择当前位置上空真实经过的飞机或卫星，镜头会跟随目标，甚至切换到类似机窗座位的视角，叠加真实地形、当前光照、天气与天空。它把飞行追踪、卫星轨迹、三维地球瓦片和沉浸式声效结合起来，提供一种从头顶交通工具观察家附近世界的体验。争议和限制主要在于资源消耗与数据依赖：作者称 Google 3D Tiles 配额已被访问量打满，搭乘模式的地面纹理被限流，社区建议改用免费地形与影像数据、提供自带 API key 或增加 2D fallback。

Sonic Pi v5 正式发布。这款免费、开源的代码化音乐创作与现场演出工具最初为 Raspberry Pi 教育生态而生，如今强调更友好、更易用、更强大：包括改进自动补全和错误信息、可访问性提升、专业音频配置、键盘快捷键、QuickStart Cards，以及可与 Ableton Live 等软件在本地网络互通的「Link Audio」。评论区普遍赞赏其十多年持续维护、低门槛和趣味性，也有人讨论它与 SuperCollider、ChucK、Strudel 等工具的关系。争议集中在「Pi」命名容易误解为硬件、Patreon 资助方式、SuperCollider 衍生许可问题，以及内置 Amen break 采样的版权边界。

Anthropic 宣布签署欧盟 AI 法案第 50(2) 条关于 AI 生成内容透明度的实践准则，并计划在 2026 年 8 月 2 日后发布的 Claude 模型中加入机器可读标记。文本输出会嵌入不可见水印，文件输出则在支持的 .svg、.png、.jpg 等格式中附加符合 C2PA 标准的签名来源元数据，覆盖 Claude API、Claude Code、云合作伙伴等场景。官方强调检测结果只是「可能由 Claude 处理」的信号，不能证明完整来源；缺少标记也不代表不是 AI 内容，因为旧模型、重写、翻译、短文本、元数据剥离等都会削弱检测。开发者仍需自行评估欧盟透明度义务。

VectorWare 宣布已能在 GPU 上运行 Rust 的「core::simd」，把「Simd<T, N>」直接映射到 GPU warp 的 lane：逐元素运算对应 warp 指令，归约、shuffle、mask 分别利用 warp shuffle、vote 和 ballot 等硬件原语。作者认为 SIMT 本质上可视为宽 SIMD，从而让同一份 Rust SIMD 代码同时面向 CPU 和 GPU，并保留借用检查、生命周期和类型系统等 Rust 抽象。实现还用 Rust 类型系统描述 lane 级 IR，支持测试和跨架构扩展。目前主要目标是 NVIDIA，但理念不依赖 CUDA。局限在于 Rust portable SIMD 仍需 nightly，且只有向量宽度匹配 warp 宽度时才接近零成本；评论区也质疑固定 SIMD 宽度是否真正「可移植」以及复杂算法性能是否足够。

文章反驳了「动态语言或语法更短的语言更省 LLM token、因此更适合编码代理」这一流行结论。作者指出，早期评测多基于 Rosetta Code 等过于简单的题目，不能外推到真实任务；另一些评测还存在测试路径错误等设计缺陷。作者用实现 zstd 解码器等更大任务重新评估，发现动态与静态语言并无稳定优势，极端紧凑或冷门语言如 J 的优势更难成立。结果显示，主流语言、训练数据和工具反馈可能比语法密度更重要；语言流行度与正确率、成本之间反而有弱到中等正相关。

作者延续对 ABI 稳定性的批评，但指出现实中 C 标准库、编译器和海量软件都受 ABI 约束，不能简单喊「摧毁 ABI」。文章先解释 ABI 是编译器与二进制代码之间关于结构体布局、函数参数和返回值传递方式的隐形契约；在 C 中尤其集中体现为结构体内存布局和函数签名。作者用 x86_64 上 long long 与 __int128_t 参数生成不同寄存器调用约定的例子说明：C 符号不做名称改编，链接器只按函数名匹配，一旦声明与实现的二进制约定不一致，就会产生隐蔽而危险的错误。核心争议在于，ABI 稳定会锁死性能和设计改进，但完全无视 ABI 又会破坏 C 作为系统底层接口的基础。

文章解释了为什么浮点求和通常比整数求和慢：整数加法可安全重排，编译器能用 SIMD 批量处理；但浮点加法不满足结合律，改变顺序会改变舍入结果，因此 Rust 默认必须保守。Rust 1.98 引入新的「代数」浮点运算 API，允许开发者在明确可接受重排的局部告诉编译器按实数代数规则优化。作者以成对求和为例，在递归合并处保留普通加法，在小块内部使用「algebraic_add」，从而兼顾接近 NumPy 的精度策略和更高速度。核心价值在于提供细粒度控制，而不是全局开启危险的快速数学模式。

这篇页面介绍 Paul Lutus 的远洋航海回忆录「Confessions of a Long-Distance Sailor」。作者说明该书属于「CareWare」计划：读者无需付费，也永远不会收费，但它并非通常意义上的免费，而是鼓励读者以善意、公益或自我约束的方式回馈。页面还链接到作者的 CareWare 说明、航海主页和照片。由于正文只是入口页，文章价值更多在于把一个完整的个人远航叙事保存在朴素的个人网站上；评论则把它放入技术人、老互联网与单人远航文学的交叉语境中。

Meta Superintelligence Labs 发布 Muse Glimmer，一个 300 亿参数、Apache 2.0 许可的开放权重模型，定位于本地常驻代理工作流，可在单张消费级 GPU 或高配 Mac/PC 上运行。它面向工具调用、代码、本地代理、LLM 评测和多模态输入，训练流程包括从更大教师模型蒸馏、长上下文代理数据训练、SFT、在策略蒸馏和强化学习。Meta 强调 4-bit 量化可将模型压到 20GB 以下，并通过 DFlash 推测解码提升生成速度。社区关注其对 Qwen、Gemma 等同级模型的竞争力，也质疑 24GB 到 64GB 内存门槛是否仍算真正普及的本地 AI。

文章似乎以日本秋月电子 55 年历史为切入点，讨论在「开源」成为软件领域术语之前，电子行业早已有公开原理图、数据手册、套件说明和维修图纸的共享传统。评论者回忆早期收音机、电视、洗衣机乃至 1980 年代电视、现代烘干机常附带完整电路图，电子杂志和业余无线电手册更可追溯到近百年前。社区也把这种文化与 Radio Shack、Denshi Blocks、火箭飞控套件等动手实践联系起来。争议点在于文章标题称「schematics」，但有读者指出正文似乎只展示 PCB 视图而非真正原理图；另有小分歧围绕利润率表述是否准确。

Squeak 6.1「Vanessa」是这个 Smalltalk 系统时隔四年的重要发布，合并 1700 多个补丁和 9000 多处方法变更。新版重点包括新的树形浏览器、Objectland 回归、进程模拟与调度、类重塑等内核机制修复，以及检查器、调试器、性能分析、版本管理和 UI 工具改进。Morphic 获得树控件、拖放、搜索、高 DPI、文本编辑、多语言和稳定性优化。社区总体怀旧并认可 Smalltalk 的交互式对象环境价值，但也质疑 Squeak UI 老旧、高 DPI 体验仍不足，并比较 Pharo、Cuis、Glamorous Toolkit 等替代路线。

文章指出，C 语言中可用于解释器分发等场景的尾调用优化并非自古存在。传统 C 调用约定由调用方清理栈，且早期函数声明可能允许实参与形参数不一致，使被调用方难以直接接管返回路径。作者回忆 1994 年主流 C 编译器尚不能处理文中这类用法，2001 年 Mark Probst 曾在 GCC 中通过单独调用约定实现更强尾调用优化，但当时限制很多，尤其不支持间接调用。近年作者测试发现 GCC 和 Clang 已能胜任相关模式，足以支持「Copy-and-Patch Compilation」论文中大量代码片段的技术路线，也可能让 Gforth 采用比「goto *」更灵活的实现。评论则围绕 GCC 早期能力、C 标准是否保证、以及「优化」还是语言语义展开争论。

Anthropic 称一个未发布研究版 Claude 在尝试攻克「黎曼猜想」时未能证明本体，却意外改进了相关结果：把满足猜想的黎曼ζ函数零点比例下界从 41.6% 提高到 67.2%。该结果建立在 Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh 以及 Bombieri 等既有工作之上，经 Anthropic 两位数学家审阅，并有 Lean 形式化验证。过程由非数学背景员工发起，Claude 使用约 3100 万输出 token、60 个子代理、大量脚本和数值检查完成探索。文章强调这并非通向证明黎曼猜想的直接路线，但显示前沿模型已能组合文献、验证思路并产生有数学价值的增量成果。

文章反对把「像对 ADHD 读者说话」「只用简化技术英语」等人性化风格指令直接塞进智能体工作流程。作者认为，这类指令不是事后渲染，而会在模型推理、工具使用、子代理汇报时持续压缩信息，导致错误、证据冲突、测试细节和不确定性被漂亮话抹平。更合理的架构应像数据库、编译器和 API 一样，尽量保留高保真、机器友好的状态、错误、来源和置信度，只在人类消费边界再生成简洁温暖的版本。争议在于：有些读者确实想要有损摘要，另一些人则认为问题不是「人性化」，而是 LLM 默认输出太啰嗦、太像在讨好人。

Ante 是 Antigma Labs 发布的编码代理，主打约 15MB 单一二进制、自包含 TUI、内置 ripgrep、本地 PDF/OCR，以及由原生管理的 llama.cpp 推理引擎，可在裸 Linux 环境离线开箱运行。作者强调关注点在「harness」而非模型或提示词，认为代理与模型会共同演进。讨论焦点集中在可移植性、为何打包常见开发工具、是否应支持 Windows/CUDA，以及离线模型与前沿模型的取舍。最大争议是仓库目前主要提供二进制而非完整源码：不少人担心让闭源代理获得开发机高权限存在供应链和恶意软件风险，并要求明确开源计划与遥测 opt-in。

Hyperspace 是一款 macOS 工具，会扫描内容完全相同的文件，并利用 APFS 的克隆/写时复制能力，让重复文件共享底层存储，从而回收空间，但不删除文件、也不改成符号链接或硬链接。页面主要是产品说明和更新日志，显示其近期持续改进扫描、回收可靠性、云存储、权限、锁定文件、资源 fork 验证、错误处理和性能。社区讨论焦点集中在产品化是否合理、免费扫描后付费解锁是否透明，以及这种能力与 reflink、ZFS、Btrfs、S3 去重等其他平台方案的关系。

Choral 是一种用于编写「编舞」的原型语言，目标是把多方协议写成一个整体程序，再由编译器为 Alice、Bob、Carol 等各参与角色生成对应的 Java 库。它把分布式交互、通道拓扑和可传输数据类型显式放进类型系统，开发者可像写顺序程序一样描述认证协议、业务流程、密码协议或并行算法，同时获得各角色实现彼此兼容的保证。Choral 与 Java 互操作，不绑定特定中间件，并提供 ChoralUnit 让集成测试更接近单元测试体验。文章强调其价值在于减少手写 send/receive 的协议错配和测试复杂度，但也说明项目仍是研究原型，未来可能破坏兼容性，适合早期试用和教学。

文章展示一种针对 x86 系统管理模式 SMM 的攻击思路：让某个核心执行极慢、不可被中断的指令或 MMIO 操作，使固件在等待所有核心进入 SMM 时触发超时；先进入 SMM 的核心随后继续执行并退出，而迟到核心再进入 SMM，可能破坏固件对同步和隔离的假设。评论认为这更像 root 权限下夺回硬件控制，而非传统漏洞；争议集中在超时是否合理、能否补丁修复、失败时应挂死还是重置，以及 SMM 作为厂商不可见运行时固件的长期安全与治理问题。

英国斯肯索普一处住宅清理中发现一根保质期到 1991 年的 Mars 巧克力棒，重量 62.5 克，而如今常见单条约 40 克。清洁服务经营者 Victoria Gordon 将新旧对比照片发到社交媒体后走红，被视为「缩水式通胀」的直观例子。Mars 回应称，35 年来产品规格和包装多次调整，是为反映消费者需求，并考虑制造成本、可可价格等外部因素。事件也引发争议：有人认为消费者在为更少商品付更多钱，也有人认为减少高糖零食份量未必是坏事。