欧盟旨在减少废弃物的新版《包装与包装废弃物法规》（PPWR），正威胁着微型企业和独立创作者的生存。尽管环境责任的目标值得肯定，但目前的实施方案依赖于碎片化的国家模式。小企业必须在每一个发货的欧盟成员国进行注册并缴纳行政费用，这带来了不成比例的经济负担和官僚压力。
对于一个仅销售少量零件的业余创作者而言，合规成本每年可能高达数千欧元，远超包装本身的价值。这实际上将小型创新者排除在欧盟市场之外，仅让大型企业获利。
开源硬件交易平台 Lectronz 警告称，这些法规正在扼杀创新，并使小创作者的跨境贸易变得不可行。提出的解决方案包括：为小卖家设立欧盟范围内的“最低限额”门槛，建立统一的申报“一站式服务”窗口，或允许交易平台代为管理集体合规事宜。除非解决这些障碍，否则欧盟恐将摧毁其充满活力的独立创作者生态系统，并损害真正开放单一市场的原则。建议读者签署请愿书并向欧盟委员会提交反馈，以要求采取更公平、更可持续的发展路径。
每日HackerNews RSS
本次讨论聚焦于欧盟最新的《包装与包装废弃物法规》（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)：** 由上述三层协同工作组成的整体。 理解这些区别不仅是书呆子气的教条，更是实际操作的需要。当问题出现时，明确需要排查哪一层——无论是模型的推理、基础设施的响应速度，还是驱动框架的工具格式——都能让你更有效地进行改进。正如作者所言：“当你能定义这一层，你就能修复这一层。”
抱歉。
主厨随选计算 Omakase Computing
62 天前
“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 等高安全性系统以及特定的军事/嵌入式部署，其核心目标在于实现可证明的隔离并降低系统复杂性。
Linux 社区正沉痛悼念 Steve 的离世。作为一名专注的贡献者，他因在 Linux CIFS 客户端上的不懈努力以及对后辈的悉心指导而备受铭记。同事们回忆称，他是一位勤奋的开发者，总是乐于助人，即使在社交场合也常能见到他编写代码的身影。 为了纪念他的贡献与幽默感，samba.org 发布了一个纪念页面，并附上了一个向他致敬的笑话。朋友和合作伙伴们纷纷表达了对他的感激之情，感谢他所作出的重大贡献与深厚友谊，并感念他为社区带来的深远影响。人们将深深地怀念他。
抱歉。
美国国债困局：这是否意味着美国作为避风港地位的终结？ The treasury bond mess: is this the demise of the US as a safe haven?
62 天前
特朗普政府在应对波动的债券市场方面举步维艰。由于美国国债收益率居高不下，联邦债务的偿还成本不断攀升，并抑制了经济增长。财政部长斯科特·贝森特近期试图通过购债来压低收益率的举措收效甚微，这反映出市场对美国经济管理能力的信心危机已日益加深。 从历史上看，美国国债曾被视为全球最安全、流动性最强的资产。然而，由于持续的预算赤字、海量的新债供应，以及投资者对政府反复无常政策的不信任，这一地位正在动摇。随着各国央行减持美债，市场对追求回报而非稳定性的私人投资者的依赖度日益增加，进一步加剧了市场波动。 这种转变暗示着美国国债作为全球金融安全基石的地位可能终结。随着美国被迫提供更高的收益率来吸引买家，并面临全球市场日益增加的质疑，政府为控制利率而采取的非常规手段——从市场干预到充满敌意的言论——反而释放了更加不稳定的信号。在美国难以在日益加剧的不信任氛围中为其巨额债务融资之际，金融领袖们正被迫寻求美国避风港之外的替代选择。
抱歉。
纵观历史，社会一直要求人们循规蹈矩。被视为“怪异”意味着不可靠；人类的制度建立在稳定与可预测的钟表式隐喻之上，要求个人像可互换的齿轮一样运转。无论是出于社会压力还是生存需求，在历史的大部分时间里，压抑自己的“尖锐”棱角是大多数人唯一理性的生活策略。 然而，人工智能和机器人的兴起正在从根本上改变这一计算方式。由于机器现在能比人类更高效、更廉价地完成可预测的任务，人类“常态化”的经济价值正在迅速蒸发。如果一个系统可以被自动化，它就可以被建模并被取代。 因此，我们正进入一个新时代，人类最有价值的贡献不再是可靠性和统一性，而是独特性、适应性和创造力。未来的理性策略是拥抱自己的“怪异”。这种转变将要求教育、社区和经济激励机制发生根本性变革，以支持一个通过其独特的奇特性而非可预测性来创造价值的社会。我们正在迈向一个“脱离分布”（out of distribution）不再是负担，而是我们最大资产的未来。
关于“未来属于怪人（The Future Belongs to the Weird）”的 Hacker News 讨论反映了一场两极化的争论：不循规蹈矩究竟是生存的必备策略，还是一个被商业化的陷阱。
该文章的前提认为，由于人工智能可以自动化处理可预测的“常规”任务，人类的价值正转向不可预测的“怪异”。支持者认为，随着人工智能使标准化产出变得廉价，真正的人类创新将日益依赖独特且非常规的视角。
然而，批评者提出了几点质疑：
* **商业化：** 怀疑论者认为，任何“怪异”的事物都会迅速被科技和企业界征用、包装并出售，从而有效地剥夺其激进的力量。
* **历史背景：** 对于作者声称历史曾以暴力惩罚“怪异”的观点，讨论持续存在。参与者指出，现代机构为了效率和规模化依然要求统一性，而人工智能可能会加速这一进程。
* **效用：** 另一些人认为，未来属于“变革推动者”而非仅仅是“怪人”。他们认为真正的价值在于设定新目标并引领进步，而不仅仅是行事不可预测。
最终，共识是：尽管数字时代为局外人提供了新的生存空间，但个人反叛与机构控制之间的张力仍未得到解决。