高带宽闪存（HBF）是一项提议中的存储技术，它将闪存直接集成到处理器封装中，类似于高带宽内存（HBM）。虽然 HBF 提供了巨大的容量，但它作为块存储而非可寻址内存运行。 由于 HBF 需要大型、对齐的数据块，且缺乏细粒度的随机访问能力，它更像是一个集成式固态硬盘（SSD）而非系统内存（RAM）。利用 HBF 需要定制的软件运行时来管理 DMA 传输、磨损均衡和数据保留。潜在的机器学习应用包括存储“冷”模型权重、混合专家模型（MoE）参数或 KV 缓存的部分内容。通过在本地复制权重，HBF 还可以减少限制性能的跨设备通信。 然而，这项技术面临着巨大的软件实现障碍。开发者必须处理底层的块存储复杂性，而当前的框架并不支持这些操作。对于不受带宽限制的工作负载，HBF 的成本效益最高，但其架构上的摩擦引发了人们的质疑：与现有的 SSD 流式传输技术相比，它是否真的具备实际优势。归根结底，虽然 HBF 有望解决 DRAM 容量短缺的问题，但其成功与否取决于软件生态系统能否克服重大的集成挑战。
每日HackerNews RSS
Hacker News 近期的讨论重点关注了高带宽闪存（HBF）的兴起。该技术能够提供类似于 HBM 的巨大带宽（据报道可达 3TB/s），且成本仅为传统 DRAM 的一小部分。
舆论普遍认为，HBF 有望成为 AI 推理领域的颠覆性技术。由于模型推理通常涉及确定性的内存访问模式，开发者可以通过直接从闪存流式传输模型权重，从而绕过对昂贵且容量受限的随机存取内存的需求。这种方法呼应了约翰·卡马克（John Carmack）此前提出的构想，旨在弥补大型 AI 模型在成本和容量上的差距。
尽管前景广阔，评论者也指出了几项重大挑战：
* **耐用性：** 虽然以读取为主的推理场景非常理想，但频繁的模型权重交换可能会迅速损耗闪存单元。
* **软件复杂性：** 与现有硬件不同，HBF 需要对软件栈进行重大调整以管理数据流并掩盖延迟，这可能会减缓其普及速度。
* **架构：** 该技术依赖于高度并行的读取路径，这使其成为一种专业化解决方案，而非现成内存的直接替代品。
总体而言，HBF 被视为内存层级中一种引人注目的新选择，它有望实现此前仅能在昂贵的服务器端硬件上运行的大规模本地推理。
Show HN：一个单文件 HTML 的电音机，支持可验证渲染 Show HN: A techno machine in one HTML file, with verifiable renders
2 天前
机柜-02 机柜-02
Hacker News 最近的一篇帖文引发了热议，内容是用户 `ssx360` 创作的一款名为“Show HN: A techno machine in one HTML file”的网页版乐器。
该项目因其“精美的软件”设计而备受赞誉：它是一个功能完备、零依赖的单文件应用，无需外部库或安装即可离线运行。用户对其便携性表示赞赏，认为这代表了一种理想的软件分发方式。这款电子音乐机被描述为一个有趣、令人印象深刻且极具创意的工具，许多人评论称赞了网页乐器的潜力。
尽管反响极其热烈——甚至有人称其为本月“最酷的网页应用”——该帖文也引发了一场元讨论。一些用户指出其操作界面不够直观，并讨论了该项目“注重氛围（vibe-coded）”的特性。这导致评论区出现了一些质疑声音，部分用户怀疑帖子中大量简短、热情的赞美是否由机器人或大语言模型生成的回复堆砌而成。无论讨论如何，该项目都充分证明了简约、独立的网页开发在美学与实用层面的吸引力。
Vanilla OS 是一款以简洁为理念构建的操作系统。它快速、轻量、稳固，足以应对您的所有日常任务。 本网站的运行需要 JavaScript 支持。请启用它以继续访问。如果您无法或不愿启用，请通过以下链接获取有关 Vanilla OS 的更多信息： 下载 支持与社区 贡献 请注意，我们计划在未来实现无需 JavaScript 即可访问网站，但目前这并非优先级任务。请阅读此评论以获取更多信息。
**Vanilla OS 3 "Reunion"** 的发布在 Hacker News 上引发了讨论。Vanilla OS 是一个基于 Debian Sid 的不可变、可重现的 Linux 发行版。与使用 OSTree 的 Fedora Silverblue 不同，Vanilla OS 利用了其基于 OCI 容器镜像的“ABRoot”实现。该项目还提供了“Vib”（Vanilla Image Builder），允许用户轻松自定义或创建自己的操作系统镜像。
用户的评价褒贬不一。支持者赞赏该项目的实验性质及其对可重现性的关注，认为这些创新为 Linux 桌面的未来带来了希望。然而，批评者指出了其在旧硬件上的性能表现问题，认为旧版本由于 Snap 和 Flatpak 等容器化包的开销而显得迟缓。另一些人则质疑该项目相较于 Fedora Silverblue 等成熟的不可变发行版，其独特的价值主张何在。讨论帖中的技术批评还涉及了网页可访问性问题（特别是具有侵入性的 Cookie 横幅），以及人们对该项目向基于 OCI 的不可变性架构转变的普遍关注。
欧盟旨在减少废弃物的新版《包装与包装废弃物法规》（PPWR），正威胁着微型企业和独立创作者的生存。尽管环境责任的目标值得肯定，但目前的实施方案依赖于碎片化的国家模式。小企业必须在每一个发货的欧盟成员国进行注册并缴纳行政费用，这带来了不成比例的经济负担和官僚压力。
对于一个仅销售少量零件的业余创作者而言，合规成本每年可能高达数千欧元，远超包装本身的价值。这实际上将小型创新者排除在欧盟市场之外，仅让大型企业获利。
开源硬件交易平台 Lectronz 警告称，这些法规正在扼杀创新，并使小创作者的跨境贸易变得不可行。提出的解决方案包括：为小卖家设立欧盟范围内的“最低限额”门槛，建立统一的申报“一站式服务”窗口，或允许交易平台代为管理集体合规事宜。除非解决这些障碍，否则欧盟恐将摧毁其充满活力的独立创作者生态系统，并损害真正开放单一市场的原则。建议读者签署请愿书并向欧盟委员会提交反馈，以要求采取更公平、更可持续的发展路径。
本次讨论聚焦于欧盟最新的《包装与包装废弃物法规》（PPWR），及其对微型企业家和创作者所产生的意想不到的负面影响。
**批评意见：**
批评者认为，尽管该法规的环境目标值得称赞，但其执行过程对小企业而言是灾难性的。由于该法规要求在产品所销往的每个欧盟成员国进行注册、申报并合规，由此带来的官僚和财务负担实际上为企业的生存设定了“最低规模”门槛。许多小规模创作者无法应对这种碎片化、复杂且昂贵的行政环境，纷纷采取地理围栏措施，拒绝向欧盟国家发货，这实际上摧毁了针对小型企业家的“单一市场”。
**争论焦点：**
* **监管俘获：** 许多评论者认为欧盟对小企业怀有敌意，并指出此类法规实际上充当了准入门槛，偏袒了拥有充足资源来承担合规成本或通过谈判争取更好条款的大型企业（如亚马逊）。
* **欧盟官僚主义：** 对于欧盟是应进一步集权（以建立真正统一的“一站式”系统），还是其制度过度扩张且缺乏问责制的本质已是致命缺陷，各方观点存在巨大分歧。
* **意识形态与现实：** 有观点认为批评者受到反欧盟政治议程或错误信息的影响；而另一些人则认为，小企业的切身经历恰恰证明了欧盟官僚机构脱离实际，比起经济活力和创新，更倾向于推行惩罚性监管。
军队也以不愿冒险而著称。即便是在全球最活跃的军队中，出于可靠性和安全性的考虑，偶尔也会依赖老旧技术。英国皇家联合军种国防研究所（RUSI）的副研究员托马斯·威辛顿（Thomas Withington）表示：“我在乌克兰等地看到过的一种现象，就是使用纸质地图、覆膜地图和指南针。这些东西是无法被干扰的。”他补充道，这是一种“模拟式韧性”。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
为了更精准地探讨人工智能，有必要区分**智能体系统 (Agent System)** 的四个层级： 1. **模型 (Model)：** 核心数学函数（例如 Sonnet、Opus），负责将输入 Token 转换为输出 Token。它是“纯粹的、受约束的，并且在处理其特定任务时表现卓越”。 2. **推理服务 (Inference Service)：** 托管的基础设施（例如 AWS Bedrock、Anthropic API），负责运行模型、管理 API 调用并追踪计费。 3. **驱动框架 (Harness)：** 逻辑层，负责构建输入、管理上下文/工具，并与外部世界进行交互（例如 Claude Desktop、Cursor 或 LangChain 代码）。 4. **智能体系统 (Agent System)：** 由上述三层协同工作组成的整体。 理解这些区别不仅是书呆子气的教条，更是实际操作的需要。当问题出现时，明确需要排查哪一层——无论是模型的推理、基础设施的响应速度，还是驱动框架的工具格式——都能让你更有效地进行改进。正如作者所言：“当你能定义这一层，你就能修复这一层。”
抱歉。
“Omacom”（Omakase Computing）将日语中“主厨推荐”（Omakase）的理念应用于计算体验。它从 Ruby on Rails 中汲取灵感，认为相比于在选择困境中不知所措，用户往往更能从一套精选且高度集成的系统中受益。 不同于传统 Linux 文化中强制用户从零开始配置每一个细节的习惯，Omacom 提供了一个连贯且开箱即用的环境。这种方法专为追求能力与品位的人士而设计，让他们无需专家级知识，即可立即享受高质量的体验。 至关重要的是，这并非一套僵化的系统。随着专业知识的增长，用户依然可以自由地进行调整、定制或执行特定的替换。由于底层架构建立在 Linux 的模块化之上，用户在保留一套维护良好、集成式套件所带来的便利的同时，仍能根据个人喜好定制各个组件。归根结底，Omacom 拥抱 Linux 生态系统的多样性：如果这些特定的默认设置不合你的口味，平台的开放性也确保了还有无数其他的“主厨”准备好为你提供别的菜单。
对不起。
Omacom 基金会迎来了一个重要的里程碑：随着 Dropbox 联合创始人 Drew Houston 和 OpenClaw 创建者 Peter Steinberger 加入成为新的创始赞助人，基金会募资总额已达到 1000 万美元。每位新赞助人各出资 100 万美元，使赞助人总数达到十位。 该基金会旨在通过资助核心基础设施、开源项目和开发者，彻底改变 Linux 桌面体验。创始人对两位新赞助人表达了深切的敬意，并指出 Dropbox 在 Omarchy 操作系统中的无缝集成，以及 Steinberger 在项目扩展方面的专业知识，对基金会的路线图起到了至关重要的作用。 通过培育一个重视个性化、可编程和易用计算的社区，Omacom 基金会正加倍努力实现其使命，即让 Linux 成为下一代用户首选的、令人愉悦的家园。随着这笔最新资金的注入，基金会距离实现其长期愿景又近了 200 万美元。
Omarchy 基金会已获得 1000 万美元融资，旨在推动其“美观、现代且具有鲜明立场”的 Linux 桌面体验愿景。该项目基于 Arch Linux，由 DHH 牵头，重点在于整合人工智能代理以简化系统配置和维护，从而降低开发者和用户面对传统 Linux 发行版时因过于繁琐或碎片化而产生的门槛。
这笔融资公告在 Hacker News 上引发了极端的争论。支持者赞赏该项目旨在提供一种优先考虑用户友好型自动化、解决 Linux 桌面常见阻力的“开箱即用”式精致体验。支持者认为，将“产品愿景”和专业资金引入该生态系统，最终有助于 Linux 作为主流开发者的首选操作系统进行竞争。
然而，批评者则将该项目斥为“Linux 垃圾”——认为它只是在 Arch 基础上堆砌的 Shell 脚本和主题，而非原创的核心开发。争议的核心很大程度上在于项目的领导层及其与政治上极具争议性人物的关联。反对者还质疑，在基础项目仍缺乏资金的情况下，为这一带有鲜明立场的发行版投入 1000 万美元是否合理，这引发了关于该项目长期生存能力及其“科技兄弟（tech-bro）”品牌定位的激烈讨论。
Proofcraft 迎来五周年纪念，在形式化验证领域取得了重大进展，彰显了其对高保障安全性的坚定承诺。
**关键技术里程碑：**
* **seL4 安全性：** Proofcraft 已完成了 seL4 在 AArch64 架构上的全栈安全证明，正式确立了其完整性与机密性。
* **混合关键性系统 (MCS)：** 团队实现了 seL4 MCS 配置在 RISC-V 架构上的首次功能正确性证明，这是实时汽车系统领域的一项重要进展。
* **动态调度：** 新的已验证 API 支持灵活的域调度，允许系统在运行时切换不同的计时阶段，同时保持信息流安全性。
* **理论研究：** Proofcraft 在 LICS’26 上提出了用于迭代构造的代数抽象新方法，将深奥的理论数学与 Isabelle/HOL 中的实际证明工程联系起来。
**合作与外联：**
Proofcraft 通过与 DARPA、Cyberagentur 和 NCSC 的合作，持续推动生态系统发展。首席执行官 June Andronick 在 CDIS 春季会议上推广了形式化验证，团队也在 Cyberagentur 里程碑研究峰会上展示了多核配置的进展。作为银牌赞助商，Proofcraft 依然是即将到来的 2026 年 seL4 峰会的核心力量，继续践行为复杂的现实世界系统提供可验证安全性的使命。
seL4 针对 AArch64 架构的安全证明工作已经完成，这是可验证计算领域的一个重要里程碑。这些证明保证了内核的功能正确性和完整性，确保其严格遵循既定的信息流策略。
然而，Hacker News 上的讨论指出了一项关键局限：这些证明并未涵盖侧信道计时攻击。批评者认为，共享缓存等硬件微架构行为可能通过时间差异泄露机密数据，从而绕过软件层面的证明。seL4 的支持者则澄清，这些假设均有明确记录，且该内核的安全模型在减少攻击面和整合硬件方面仍极具价值。
尽管社区承认证明彻底消除所有侧信道需要软硬件协同设计（或利用新兴的“时间保护”技术），但许多人认为这并不否定目前的进展。他们将这些证明视为至关重要的高保障基础，而非万能灵药。目前，该技术的实际应用包括 Apple Secure Enclave 等高安全性系统以及特定的军事/嵌入式部署，其核心目标在于实现可证明的隔离并降低系统复杂性。