MemeData

C++26 契约：前置条件与后置条件介绍 C++26 Contracts: Introduction to Preconditions and Postconditions 2 天前

C++26 contracts 引入 `pre`、`post` 和 `contract_assert`，用于直接在语言中表达函数的要求和保证。与 `assert` 相比，contracts 可以出现在声明中，使得 API 的前置条件和后置条件无需检查实现即可见。它们支持四种评估语义——忽略、观察、强制和快速强制，由编译器标志控制（例如 GCC 16 配合 `-fcontracts -fenforce`）。违规时会调用处理程序或根据所选语义终止。至关重要的是，contracts 不是输入验证；预期的错误需要使用常规控制流。后置条件参数必须为 `const`，谓词不得修改状态。第一个声明建立 contract，该契约随后续定义持续存在。contracts 记录 API 的意图，但并不保证应用逻辑的运行时行为，且检查可以被禁用。它们区分调用者的前置条件 (`pre`)、返回的保证 (`post`) 以及内部断言 (`contract_assert`)。

X在美国中期选举前清理了13,000个涉嫌干预的账户 X purges 13,000 accounts linked to suspected meddling ahead of US midterms 2 天前

没有提供需要翻译的内容。

闹鬼的玩具俄罗斯 The Haunted Toys R Us 2 天前

位于加利福尼亚州sunnyvale的闹鬼Toys R Us在1980年9月8日被《That's Incredible》节目报道后走红。员工报告称有波尔特吉斯特活动——货物移动、奇怪的噪音，以及只在盒子里激活的会说话的玩具。心理学家西尔维娅·布朗进行了调察，并将灵体识别为“约翰/乔尼·约翰逊”，一名19世纪的 ranch 工人，死于斧伤，并在思念伊丽莎白·墨菲时去世。然而，历史研究驳斥了布朗的说法：墨菲家族记录显示伊丽莎白嫁给了威廉·塔夫，年轻时就去世了，且没有任何符合此故事的“约翰逊”出现在人口普查或报纸档案中。该商店一直运营至2018年，随后改为Spirit Halloween和REI。尽管缺乏历史验证，玩具店的真实员工证词与电视直播的灵媒仪式相结合，使得这个故事令人难忘。它仍在网络和超自然爱好者圈中流传，证明闹鬼的玩具店留下了深刻印象。

以色列公司的数字广告实现“零击”间谍软件安装 Online ads weaponised to deliver ‘zero-click’ spyware, researchers say 2 天前

加拿大研究团体公民实验室揭露，以色列广告公司Discover-Tech已投放数百万条在线广告，部署“零点击”间谍软件，且无需用户交互即可攻击目标。该公司的平台Controlium会大规模画像化并去匿名化互联网用户，随后从第三方间谍软件公司隐蔽投放恶意代码。这种间谍软件可以访问消息、照片、电子邮件，记录通话，并激活被入侵设备的麦克风。感染案例在卡塔尔广播公司Al Jazeera被发现，同时也出现在欧洲和美国政府、联合国、北约、国际刑事法院和国际原子能机构的网络中。研究人员发现，在线广告生态系统中存在系统性漏洞，监管不足允许恶意行为者利用广告技术进行监控。研究人员警告，这对国家、民间社会和私营部门构成巨大安全威胁，呼吁网络安全机构和立法者立即调查并修复。已联系Discover-Tech寻求评论。

黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交登录研究人员称：在线广告被武器化用于投放“零点击”间谍软件 ( theguardian.com ) 513 积分由 chunkyslink 1天前 | 隐藏 | 过去 | 收藏 | 1 条评论 https://www.theverge.com/tech/1011956/discover-tech-zero-cli... 帮助 dang 1天前 [–] 评论已移至 https://news.ycombinator.com/item?id=50101813 ，该链接包含原始来源。我们也会将其他链接放在那里的顶部文本中。回复考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

Libreboot 26.10 "阴森橄榄" 发布，支持 UEFI 与 Chromebook Libreboot 26.10 "Ominous Olive" released with UEFI, Chromebook support 2 天前

Libreboot 26.10 (15 Oct 2026) 是一个以EDK2 payload为核心的完整UEFI支持的大版本更新，取代了 nearly all 64-bit mainboards 上之前的 coreboot payloads 作为默认项。主要变化包括从 MrChromebox 项目导入全部 233 次 Chromebook，添加新的反 AI `AGENTS.md` 政策，并通过 EDK2 的行业标准 UEFI 启用 Windows 10/11、现代 Linux/BSD 和 UKI bootloading。较旧的 32 位硬件继续使用遗留的 GRUB/SeaBIOS payloads，但 EDK2 也提供 GRUB 和 SeaBIOS 的 EFI 构建以实现向后兼容。本版本为 Dell OptiPlex、ThinkPad 型号、AMD 板卡等众多平台添加了支持，并改进了 init、RAM、IOMMU 和 TPM 处理。结构更新包括多上游构建系统支持、defconfig 简化和各种 bug 修复。需要较旧设置的用户仍可重新启用独立 payload，但 EDK2 现在是现代硬件和 OS 兼容性的推荐、经实战检验的路径。

Libreboot 26.10 “Ominous Olive” 增加了 UEFI/EDK2 集成和 Chromebook 支持，包括 233 款 MrChromebox 支持的 Chromebook（仅源代码，需要测试）。Hacker News 的讨论更多围绕 Libreboot 严格的反 AI 政策而非功能本身：AGENTS.md 谴责 LLM，引用法律与来源风险，并计划审计或“去垃圾”依赖。维护者 Leah Rowe 确认了身份并为该立场辩护，称向被 AI 污染的项目贡献存在法律责任，且她可能使用 OpenBSD 构建未来版本。支持者将该立场视为与 Libreboot 的自由软件理念和移除二进制 blob 目标一致；批评者认为其具有意识形态色彩、过时，或可能损害安全性与生产力。总体而言，此次发布显著扩展了支持的硬件，同时引发了开源开发中关于 AI 的争论。

Ubuntu 26.10 (Stonking Stingray) 发布 Ubuntu 26.10 (Stonking Stingray) released 2 天前

ICE 致死的美国人多于非法移民 ICE Kills More Americans Than Illegal Immigrants 2 天前

检测到您的浏览器需要启用 JavaScript

黑客新闻最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 [已标记] speckx 1天前 Kevin_Flynn 1天前 [–] 将“谋杀定罪”（而非总凶杀案）与“ICE羁押期间的总死亡人数”（而非ICE直接杀死的人）进行比较。这不是数学上合理的比较。不过标题的吸引力可打A+。它具有那种强烈的“我想喜欢它”或“我想讨厌它”的特质。考虑申请YC 2027年冬季批次！申请开放至11月2日。指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系搜索：

使用 eBPF 跨越 HRT 的全球计算集群追踪神秘网络流量 Tracing Mystery Network Traffic with eBPF Across HRT's Global Compute Cluster 2 天前

请启用 JavaScript 和 cookies 以继续

Show HN: Unfenced – 紧邻公共土地的土地出售 Show HN: Unfenced – Land for sale that borders public land 2 天前

一个验证好的13,626处紧邻公共森林、游戏土地和荒野的地产数据库，这些地块是依据官方边界图核对，而非依赖描述。当前示例包括：俄勒冈州120英亩，价格90,000美元；夏威夷14英亩，价格185,000美元；南卡罗来纳州12英亩，价格89,900美元；以及阿肯色州巴菲洛国家河附近的40英亩，价格180,000美元。该平台覆盖49个美国地区（不包括华盛顿特区和北达科塔州），已搜索695,439个活跃房源，并每周刷新。交互式地图让用户悬停查看详情、放大缩小、选择州份，并在全国范围内滑动浏览地产。数据最后更新于2026年10月12日。

阻止沙子破坏水电涡轮机 [视频] Stopping sand from destroying a hydropower turbine [video] 2 天前

每日HackerNews RSS