欧盟旨在减少废弃物的新版《包装与包装废弃物法规》（PPWR），正威胁着微型企业和独立创作者的生存。尽管环境责任的目标值得肯定，但目前的实施方案依赖于碎片化的国家模式。小企业必须在每一个发货的欧盟成员国进行注册并缴纳行政费用，这带来了不成比例的经济负担和官僚压力。
对于一个仅销售少量零件的业余创作者而言，合规成本每年可能高达数千欧元，远超包装本身的价值。这实际上将小型创新者排除在欧盟市场之外，仅让大型企业获利。
开源硬件交易平台 Lectronz 警告称，这些法规正在扼杀创新，并使小创作者的跨境贸易变得不可行。提出的解决方案包括：为小卖家设立欧盟范围内的“最低限额”门槛，建立统一的申报“一站式服务”窗口，或允许交易平台代为管理集体合规事宜。除非解决这些障碍，否则欧盟恐将摧毁其充满活力的独立创作者生态系统，并损害真正开放单一市场的原则。建议读者签署请愿书并向欧盟委员会提交反馈，以要求采取更公平、更可持续的发展路径。
每日HackerNews RSS
最近的一场 Hacker News 讨论指出，欧洲的监管碎片化正在阻碍小型制造者和微型创业者。尽管欧盟旨在打造一个“单一市场”，但用户认为，在实际操作中，它更像是一系列互不衔接的国家体系的集合。
新的包装和环境法规——通常旨在遏制 SHEIN 或 Temu 等大型平台——正在制造巨大的行政负担，这对小企业的影响尤为严重。评论者指出，大公司有资源应对这些复杂的、针对特定国家的要求，而小微制造者却因轻微违规面临巨额罚款的威胁。
此次讨论识别出了一种反复出现的模式：初衷良好的欧盟政策往往因“执行糟糕”而流于形式，导致过度的官僚主义扼杀了创新。批评者认为，缺乏真正的联邦化（即各成员国仍维持独特的保护措施和要求）阻碍了数字市场的无缝衔接。许多参与者认为，这些系统性障碍迫使小企业要么非法经营，要么放弃跨境贸易，要么搬迁至对商业更友好的环境。这最终抑制了创业精神，并削弱了欧洲在全球（特别是与美国和亚洲市场相比）的竞争优势。
军队也以不愿冒险而著称。即便是在全球最活跃的军队中，出于可靠性和安全性的考虑，偶尔也会依赖老旧技术。英国皇家联合军种国防研究所（RUSI）的副研究员托马斯·威辛顿（Thomas Withington）表示：“我在乌克兰等地看到过的一种现象，就是使用纸质地图、覆膜地图和指南针。这些东西是无法被干扰的。”他补充道，这是一种“模拟式韧性”。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
为什么老旧技术有时反而更防黑客（bbc.com）
7 分，由 tchalla 于 2 小时前发布 | 隐藏 | 往日 | 收藏 | 2 条评论 | 帮助
high_na_euv 6 分钟前 | 下一条 [-]
> 但研究团队为他们的蜜罐选取了一个较旧的软件版本，该版本自发布以来已经过多次升级，因此没有黑客愿意去攻击它。“当我们把它升级到新版本时，我们想要的所有攻击就都来了，”毕晓普（Bishop）回忆道。“我觉得这太有趣了。”
在我看来这简直像天方夜谭。虽然我能理解使用过时或非主流协议，但在这样一个充斥着自动化、AI 辅助扫描工具的世界里，使用带有已知漏洞的软件看起来简直不可理喻。
回复
bell-cot 1 小时前 | 上一条 | 下一条 [-]
MS-DOS：45 年过去了，默认安装下至今没有任何远程漏洞！
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索：
请启用 JavaScript 和 Cookie 以继续。
Axios 的一篇报道指出，Anthropic 会在面试中向候选人提出一个直截了当的问题：如果公司因安全原因放弃人工智能业务，导致其持有的股权变得一文不值，他们将作何反应？这一做法在 Hacker News 上引发了热议。
尽管该文章将此视为一种值得关注的披露，但一些用户认为这种透明度早已是 Anthropic 招聘流程中广为人知的一部分。评论者对该问题的目的看法不一：有人认为这是筛选真正价值观契合度与诚信度的方式，而另一些人则批评这是一种筛选“擅长撒谎者”的工具，或是掩盖公司其他意图的手段。这场讨论反映了人们对头部人工智能公司这种高强度、以使命为导向的招聘实践所持有的广泛怀疑与好奇。
为了更精准地探讨人工智能，有必要区分**智能体系统 (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)：** 由上述三层协同工作组成的整体。 理解这些区别不仅是书呆子气的教条，更是实际操作的需要。当问题出现时，明确需要排查哪一层——无论是模型的推理、基础设施的响应速度，还是驱动框架的工具格式——都能让你更有效地进行改进。正如作者所言：“当你能定义这一层，你就能修复这一层。”
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Agent 不是模型 (joejag.com)
8 分，joejag 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
主厨随选计算 Omakase Computing
10 小时前
“Omacom”（Omakase Computing）将日语中“主厨推荐”（Omakase）的理念应用于计算体验。它从 Ruby on Rails 中汲取灵感，认为相比于在选择困境中不知所措，用户往往更能从一套精选且高度集成的系统中受益。 不同于传统 Linux 文化中强制用户从零开始配置每一个细节的习惯，Omacom 提供了一个连贯且开箱即用的环境。这种方法专为追求能力与品位的人士而设计，让他们无需专家级知识，即可立即享受高质量的体验。 至关重要的是，这并非一套僵化的系统。随着专业知识的增长，用户依然可以自由地进行调整、定制或执行特定的替换。由于底层架构建立在 Linux 的模块化之上，用户在保留一套维护良好、集成式套件所带来的便利的同时，仍能根据个人喜好定制各个组件。归根结底，Omacom 拥抱 Linux 生态系统的多样性：如果这些特定的默认设置不合你的口味，平台的开放性也确保了还有无数其他的“主厨”准备好为你提供别的菜单。
关于“Omakase Computing”（omacom.io）的一场 Hacker News 讨论很快演变成了一场两极分化的争论。尽管一些用户还在讨论该平台的技术优势和用户界面易用性（并批评其非传统的导航方式），但对话的主要内容很快被围绕项目创始人 David Heinemeier Hansson (DHH) 的争议所占据。
评论者们就 DHH 的政治立场及其对人工智能不断演变的看法发生了冲突。批评者指责他虚伪且投机，而另一些人则主张“将艺术与创作者分开”，坚持认为无论创作者的个人信仰如何，都可以欣赏开源项目。讨论帖还涉及了 DHH 对“经典 Linux 文化”的批评，怀疑者认为这不过是他为了推销其简化计算服务而使用的营销策略。总体而言，这次讨论凸显了该平台在技术交流与对科技界大人物个人意识形态的审视之间，始终存在着挥之不去的紧张关系。
Omacom 基金会迎来了一个重要的里程碑：随着 Dropbox 联合创始人 Drew Houston 和 OpenClaw 创建者 Peter Steinberger 加入成为新的创始赞助人，基金会募资总额已达到 1000 万美元。每位新赞助人各出资 100 万美元，使赞助人总数达到十位。 该基金会旨在通过资助核心基础设施、开源项目和开发者，彻底改变 Linux 桌面体验。创始人对两位新赞助人表达了深切的敬意，并指出 Dropbox 在 Omarchy 操作系统中的无缝集成，以及 Steinberger 在项目扩展方面的专业知识，对基金会的路线图起到了至关重要的作用。 通过培育一个重视个性化、可编程和易用计算的社区，Omacom 基金会正加倍努力实现其使命，即让 Linux 成为下一代用户首选的、令人愉悦的家园。随着这笔最新资金的注入，基金会距离实现其长期愿景又近了 200 万美元。
Omacarchy 基金会近日获得了 1000 万美元的融资，用于构建一个由 DHH 牵头、专注于开发者且带有强烈个人倾向的 Linux 发行版。这一消息在 Hacker News 上引发了极具争议的讨论。
支持者认为，现有的 Linux 发行版往往将政治和惯例置于用户体验之上。他们将 Omacarchy 视为一款“成品”，认为它提供了一种整合了人工智能的连贯环境，能够为习惯了 macOS 精致体验的开发者填补空白。
然而，批评者对此持怀疑态度。许多人质疑为何需要如此巨额的资金，并指出像 Arch Linux 这样成熟的项目仅需极少预算即可运作。另一些人则斥责该项目是“劣质的 Linux 产品”或是富人的虚荣项目，认为这笔资金的投入偏离了更广泛开源生态系统的需求。此外，人们还对该项目的具体设计选择（如平铺式窗口管理器）以及 DHH 极具争议的个人品牌是否会阻碍项目普及表示担忧。归根结底，这场讨论突显了两种理念之间的分歧：一方看重“产品优先”、类似私有软件的精细化定制，而另一方则更青睐传统、由社区驱动的开源开发模式。
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 峰会的核心力量，继续践行为复杂的现实世界系统提供可验证安全性的使命。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
SeL4 安全性证明现已在 AArch64 上完成 (proofcraft.systems)
由 snvzz 发布于 55 分钟前 | 22 分 | 隐藏 | 过往 | 收藏 | 2 条评论
kvuj 5 分钟前 | 下一条 [–]
有哪些操作系统在使用 SeL4？我知道的有以下这些：
- GenodeOS
- LionsOS
- 记得有一家中国汽车制造商将其用作车载管理程序 (hypervisor)
- 还有别的吗？你们还知道哪些私有部署吗？
回复
StilesCrisis 4 分钟前 | 上一条 [–]
即将到来：一种完全否定该结果的侧信道计时攻击
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Linux 社区正沉痛悼念 Steve 的离世。作为一名专注的贡献者，他因在 Linux CIFS 客户端上的不懈努力以及对后辈的悉心指导而备受铭记。同事们回忆称，他是一位勤奋的开发者，总是乐于助人，即使在社交场合也常能见到他编写代码的身影。 为了纪念他的贡献与幽默感，samba.org 发布了一个纪念页面，并附上了一个向他致敬的笑话。朋友和合作伙伴们纷纷表达了对他的感激之情，感谢他所作出的重大贡献与深厚友谊，并感念他为社区带来的深远影响。人们将深深地怀念他。
抱歉。
美国国债困局：这是否意味着美国作为避风港地位的终结？ The treasury bond mess: is this the demise of the US as a safe haven?
11 小时前
特朗普政府在应对波动的债券市场方面举步维艰。由于美国国债收益率居高不下，联邦债务的偿还成本不断攀升，并抑制了经济增长。财政部长斯科特·贝森特近期试图通过购债来压低收益率的举措收效甚微，这反映出市场对美国经济管理能力的信心危机已日益加深。 从历史上看，美国国债曾被视为全球最安全、流动性最强的资产。然而，由于持续的预算赤字、海量的新债供应，以及投资者对政府反复无常政策的不信任，这一地位正在动摇。随着各国央行减持美债，市场对追求回报而非稳定性的私人投资者的依赖度日益增加，进一步加剧了市场波动。 这种转变暗示着美国国债作为全球金融安全基石的地位可能终结。随着美国被迫提供更高的收益率来吸引买家，并面临全球市场日益增加的质疑，政府为控制利率而采取的非常规手段——从市场干预到充满敌意的言论——反而释放了更加不稳定的信号。在美国难以在日益加剧的不信任氛围中为其巨额债务融资之际，金融领袖们正被迫寻求美国避风港之外的替代选择。
这篇 Hacker News 帖子讨论了一篇《卫报》文章，该文章对美国国债作为“避险”资产的未来提出了质疑。用户评论提供了三种不同的视角：
* **政治不稳定性：** 一位评论者认为，激进的言论——特别是提议将军队作为货币政策工具——反映了某些人士在蓄意拆除制度防线，将治理视为零和博弈，这有摧毁整个体系的风险。
* **财政现实：** 另一位参与者警告称，美国政府目前无限期赤字支出的轨迹是不可持续的，并预测一场即将到来的金融清算可能比预期的更早发生。
* **经济分析：** 一位批评者反驳了该文章的前提，认为当前的高债券收益率并非信心崩溃的迹象，而是市场对持续通胀和央行高利率环境作出的理性反应。
总的来说，这场讨论凸显了担忧美国制度完整性受损的人群与专注于债券定价机制及宏观经济政策的人群之间的分歧。
纵观历史，社会一直要求人们循规蹈矩。被视为“怪异”意味着不可靠；人类的制度建立在稳定与可预测的钟表式隐喻之上，要求个人像可互换的齿轮一样运转。无论是出于社会压力还是生存需求，在历史的大部分时间里，压抑自己的“尖锐”棱角是大多数人唯一理性的生活策略。 然而，人工智能和机器人的兴起正在从根本上改变这一计算方式。由于机器现在能比人类更高效、更廉价地完成可预测的任务，人类“常态化”的经济价值正在迅速蒸发。如果一个系统可以被自动化，它就可以被建模并被取代。 因此，我们正进入一个新时代，人类最有价值的贡献不再是可靠性和统一性，而是独特性、适应性和创造力。未来的理性策略是拥抱自己的“怪异”。这种转变将要求教育、社区和经济激励机制发生根本性变革，以支持一个通过其独特的奇特性而非可预测性来创造价值的社会。我们正在迈向一个“脱离分布”（out of distribution）不再是负担，而是我们最大资产的未来。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
未来属于怪人 (georgestrakhov.com)
georgestrakhov 发布于 1 小时前 | 9 分 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
larodi 18 分钟前 | 下一条 [–]
这是个好消息。我们为此已经准备了超过 25 年——学习、黑客攻防、旅行、从事极限运动、探索极端环境，以及参与没有任何基础设施的部落式户外聚会。希望能在那边见到你。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：