From 87 items, 33 important content pieces were selected
- 声明:任何用户进程可将权限提升至 root ⭐️ 9.0/10
- 谷歌从 Chrome 网上应用店移除 Manifest V2 扩展,包括 uBlock Origin ⭐️ 8.0/10
- 参考网站记录 ChatGPT Work 工具,突出展示 Playwright 浏览器技能 ⭐️ 8.0/10
- NAT:导致互联网中心化的原罪? ⭐️ 8.0/10
- 西蒙·威利森解读 ChatGPT Work:实为云端与本地双产品 ⭐️ 8.0/10
- Bun 稳定版终落地:跳票一个半月,2900 个问题清零 ⭐️ 8.0/10
- SpaceX 收购触发控制权条款,OpenAI 将全面断供 Cursor ⭐️ 8.0/10
- Kubeflow 扩展 AI 能力,项目临近 CNCF 毕业 ⭐️ 8.0/10
- Netflix 采用 Kubernetes 原生作业排队系统 Kueue ⭐️ 8.0/10
- curl 维护者发表博文讨论 CVE 争议 ⭐️ 8.0/10
- 通过 AD CS RPC 端点从 IIS AppPool 提权到 SYSTEM ⭐️ 8.0/10
- 用 BirdNet-Go 将安防摄像头变成自动鸟类识别系统 ⭐️ 7.0/10
- 陶哲轩讲解数学六大核心概念 ⭐️ 7.0/10
- AI+手机 LED 可检测隐藏摄像头 ⭐️ 7.0/10
- 美军超市冷柜被黑猜测引发工控安全讨论 ⭐️ 7.0/10
- Wrapture:扩展 wrapt 的 Python 新库,用于追踪与测试 ⭐️ 7.0/10
- OpenShot 4.0 发布:新增录制、调色与本地 AI 功能 ⭐️ 7.0/10
- Linux 7.3 合并窗口关闭,提交数位居历史第二 ⭐️ 7.0/10
- Uber 智能体请求增 9.4 倍,token 账单却没涨 ⭐️ 7.0/10
- AI 写代码很快但交付不快?小红书用 Agentic 架构来弥补 ⭐️ 7.0/10
- 智能体适应度函数将演进式架构扩展至确定性规则之外 ⭐️ 7.0/10
- Pi 核心贡献者警告:DeepSeek Flash 或用 1.5-bit 缩水版模型 ⭐️ 7.0/10
- 前英伟达工程师的“拾荒者”打法:专捡闲置 GPU 不用最贵 ⭐️ 7.0/10
- Rx.NET 7.0 拆分 Windows UI 支持,缩减应用部署体积 ⭐️ 7.0/10
- Meta 一年实验:AI 智能体致事故增四成、救火增七成 ⭐️ 7.0/10
- 通用 Agent 公司的全栈赌注:自研 Runtime、Agent Loop 与基础设施 ⭐️ 7.0/10
- 思科为 9 万员工配备个人 AI Agent ⭐️ 7.0/10
- 可引导构建:从源码保障软件供应链安全 ⭐️ 7.0/10
- 澄清异步编程中的取消术语 ⭐️ 7.0/10
- Kale:一个保障数据转换安全的电子表格系统 ⭐️ 7.0/10
- 分析如何改进 Cargo 的构建调度器 ⭐️ 7.0/10
- C++26 标准库加固实验 ⭐️ 7.0/10
- Rootless Docker 隐藏的安全权衡 ⭐️ 7.0/10
声明:任何用户进程可将权限提升至 root ⭐️ 9.0/10
一篇博客文章声称,Linux 上任何非特权用户进程都可以将权限提升至 root,称这是一项严重的内核级漏洞。文章没有提供技术细节,只附上了 Lobsters 评论帖的链接。 如果该说法属实,这将是多年来最严重的 Linux 安全漏洞之一,几乎影响所有 Linux 系统,任何本地用户都可能完全控制整台机器。一旦验证,服务器、桌面端和云基础设施都需要紧急修补。 原始文章没有包含概念验证代码、补丁分析或受影响版本信息,只有指向评论讨论的链接。该说法尚未得到验证,高评分反映的是潜在影响,而非已确认的技术细节。
rss · Lobsters · Aug 31, 13:46
背景: 权限提升(privilege escalation)是指低权限用户获得更高访问权限的攻击方式,例如获得对系统拥有完全控制权的 Linux root 账户。允许任何用户进程变成 root 的漏洞之所以极其严重,是因为多用户 Linux 系统依赖进程隔离和权限边界来分隔不同用户与应用。此类声明必须经过安全研究人员的仔细验证,才会被视为真实漏洞。
标签: #security, #privilege escalation, #linux, #vulnerability, #root
谷歌从 Chrome 网上应用店移除 Manifest V2 扩展,包括 uBlock Origin ⭐️ 8.0/10
谷歌已从 Chrome 网上应用店移除 Manifest V2(MV2)扩展程序,uBlock Origin 也在此次被移除的扩展程序之列。这是 Chrome 强制迁移至 Manifest V3 扩展框架计划的一部分。 此举大幅削弱了依赖 MV2 不受限网络过滤功能的强力广告拦截器的能力,影响用户隐私以及基于 Chromium 的浏览器上的广告拦截。它加剧了关于谷歌对网络控制权的争论,并促使更多用户考虑 Firefox 等替代品。 uBlock Origin 是一款免费开源的广谱内容拦截器,以低 CPU 和内存占用著称,它与专为 MV3 设计的 uBlock Origin Lite 不同。在 MV3 下,扩展程序必须依赖 declarativeNetRequest API,该 API 对过滤规则数量和动态拦截能力施加限制,从而削弱了传统广告拦截器的效力。
hackernews · twapi · Aug 31, 21:10 · 社区讨论
背景: Chrome 扩展是自定义浏览体验的小型软件程序,其 API 由 Manifest V2 定义,如今正被 Manifest V3 取代。谷歌引入 MV3 是为了提升安全性和性能,但新的 declarativeNetRequest API 将网络过滤转移到浏览器本身,并限制了复杂的规则集。uBlock Origin 由 Raymond Hill 开发,是最受欢迎的开源内容拦截器之一,适用于 Firefox 和基于 Chromium 的浏览器。它的移除标志着行业告别 MV2 的一个里程碑。
参考链接
社区讨论: 评论者大多批评谷歌,称此次移除是安全问题,也是谷歌攫取权力的表现。许多人建议改用 Firefox,并指出 uBlock Origin 在 Firefox 上效果最好;有些人表示自己多年前就已迁移。还有人表达了对谷歌单方面控制网络的愤怒,以及怀念 Chrome 曾被称颂的日子。
标签: #Chrome, #Manifest V3, #adblocking, #uBlock Origin, #browser extensions
参考网站记录 ChatGPT Work 工具,突出展示 Playwright 浏览器技能 ⭐️ 8.0/10
社区分享的参考网站(codex-tool-reference.simonw.chatgpt.site)记录了 ChatGPT Work 的工具和技能,其中最引人注目的是一个使用 Playwright 的浏览器控制技能。该技能指示 ChatGPT Work 通过其 Node.js REPL 启动 Playwright 实例,并运行nodeRepl.write(await browser.documentation());以获取进一步说明。 这很重要,因为它展示了 ChatGPT Work 如何通过实用的浏览器自动化技能进行扩展,预示着 AI 智能体可以操作真实浏览器的未来。对于正在构建 AI 智能体工具和自动化工作流的开发者来说,这是一个有用的参考。 该浏览器控制技能利用了微软的开源浏览器自动化库 Playwright,它通过单一 API 支持 Chromium、Firefox 和 WebKit。该网站还列出了其他工作工具和技能,不过一些评论者警告说这类工具可能会拖慢任务速度并浪费 token。
hackernews · ijidak · Aug 31, 14:07 · 社区讨论
背景: ChatGPT Work 是 OpenAI 为工作场所推出的 ChatGPT 产品化版本,它整合团队工具中的上下文,帮助把笔记和草稿转化为成品工作。Playwright 是微软于 2020 年推出的开源自动化库,常用于浏览器测试、网络抓取和程序化浏览器控制。这个参考网站似乎是社区整理的指南,记录了 ChatGPT Work 可以做什么,包括浏览器控制等技能。
参考链接
社区讨论: 在 Hacker News 的讨论中,simonw 指出浏览器控制技能最有趣,并附上了该方法返回的文档链接。satvikpendem 质疑它与 Codex 有何不同,darepublic 警告说某些工具会浪费 token 且拖慢速度,enraged_camel 则观察到 AI 生成的网站往往有相似的视觉风格。
标签: #ChatGPT, #AI agents, #Playwright, #browser automation, #tools
NAT:导致互联网中心化的原罪? ⭐️ 8.0/10
一篇新文章指出,网络地址转换(NAT)于 1994 年在 RFC 1631 中首次正式提出,它消除了公共端点并使客户端-服务器思维常态化,是导致开放互联网消亡的最早因素之一。这场讨论在 Hacker News 上引发广泛关注,并吸引了 Linux NAT 最初实现者的评论。 这重新定义了关于互联网中心化的争论,将其归因于看似平凡的技术层面,而不仅仅是企业整合。对于任何关心自托管、去中心化和开放互联网未来的人来说,这都很重要。 NAT 的端口多路复用允许多台设备共享一个 IP 地址,但这也使得来自不同地址的入站连接无法路由,因此公共端点不复存在。文章指出,围绕 NAT 发展出了端口转发和 UPnP 等变通方案,但这些方案从未恢复互联网最初的端到端意图。
hackernews · robinpie · Aug 31, 02:23 · 社区讨论
背景: NAT 是在 20 世纪 90 年代为缓解 IPv4 地址枯竭和路由表扩展问题而创建的,RFC 1631 中对此有明确说明。它打破了原始互联网设计的端到端原则,即任何主机都可以直接与其他主机建立连接。随着时间的推移,这使在家中运行服务器变得困难,并将服务推向集中化的数据中心和“云端”。
参考链接
社区讨论: Hacker News 上的评论互动热烈:Linux NAT 实现者 RustyRussell 承认自己当时只是解决具体问题的年轻工程师,没有预见到公共端点的消亡。solatic 等人表示赞同,而 elric 则反驳说,普通 NAT 是可控的、没问题的,还保护了大量不安全设备,真正的罪魁祸首是运营商级 NAT(CGNAT)。另一位评论者 miki123211 认为,问题源于将现实世界规范套用到网络空间,而非 NAT 本身。
标签: #NAT, #Internet Architecture, #Networking, #Centralization, #History
西蒙·威利森解读 ChatGPT Work:实为云端与本地双产品 ⭐️ 8.0/10
西蒙·威利森发布了对 OpenAI ChatGPT Work 的详细分析,指出这个令人困惑的产品实际上包含两个不同的版本:基于云的“Work Cloud”和由原 Codex 应用改造而来的本地桌面版“Work Local”。文章还梳理了 Work 独有的一些功能,包括 GPT-5.6 Sol/Luna/Terra 模型选择、可联网的代码执行环境、无头 Chrome 浏览器、持久化共享文件系统、发布 ChatGPT Sites 以及子代理会话等。 ChatGPT Work 是 OpenAI 将 AI 代理变成主流生产力工具的一次重要尝试,但混乱的发布方式让用户和开发者难以弄清自己购买的是什么。威利森的分析厘清了产品边界和实际影响,有助于团队评判 Work 的额外功能是否值得每月 20 美元或更高的订阅费用。 文章指出,Work Cloud 可通过 chatgpt.com 和移动应用访问,而 Work Local 来自更名后的原 Codex 桌面应用,目前桌面版还有一个下拉菜单让用户选择聊天在哪里运行。Work 仅限每月 20 美元及以上订阅用户使用,提供 GPT-5.6 Sol、Luna 和 Terra 模型,推理级别从 Light 到 Ultra 可选,并包含计划任务自动化和 ChatGPT Sites 发布等功能。
rss · Simon Willison · Aug 30, 23:59
背景: 2026 年 7 月,OpenAI 发布 ChatGPT Work,将其定位为可基于已连接应用和文件中的信息来制作演示文稿、电子表格和其他文档的 AI 代理,面向各类团队。发布之所以令人困惑,部分原因是原本名为 Codex(2025 年 4 月以 Codex CLI 形式发布的 AI 编程代理)的桌面应用现在也被称为 ChatGPT Work。威利森将云端版和本地版视为两个独立产品,试图澄清这种混乱。
标签: #OpenAI, #ChatGPT, #AI product analysis, #software engineering, #productivity tools
Bun 稳定版终落地:跳票一个半月,2900 个问题清零 ⭐️ 8.0/10
Bun 的稳定版在跳票一个半月后正式发布,2900 个悬而未决的问题全部清零。这标志着这个 JavaScript 运行时结束了预稳定阶段。 对 JavaScript 开发者而言,Bun 稳定版提供了一个可投入生产的高性能 Node.js 替代方案。它的一体化工具链可能会重塑服务端 JavaScript 开发流程。 Bun 是一个用 Zig 编写的一体化工具包,集成了运行时、打包器、测试运行器和兼容 npm 的包管理器。此次发布清空了 2900 个问题的积压,新闻指出因为团队努力稳定代码库,发布比原计划晚了一个半月。
rss · InfoQ 中文站 · Aug 31, 15:14
背景: Bun 是一个快速的一体化 JavaScript 运行时和工具包,以单个可执行文件分发。与基于 Chrome V8 引擎、主要用 C++编写的 Node.js 不同,Bun 使用底层语言 Zig 编写,这是其宣称启动和执行速度更快的原因之一。它还内置打包器、测试运行器和包管理器,力图取代 Node.js 生态中的多个独立工具。
参考链接
标签: #Bun, #JavaScript, #Runtime, #Release, #Software Engineering
SpaceX 收购触发控制权条款,OpenAI 将全面断供 Cursor ⭐️ 8.0/10
据 InfoQ 报道,OpenAI 将在 SpaceX 收购 Cursor 触发控制权变更条款后,全面停止对 Cursor 的供应。此举可能扰乱 Cursor 依赖 OpenAI 模型的 AI 辅助编程服务。 这凸显了 AI 生态依赖关系的脆弱性:因所有权变更,上游供应商可能切断对下游工具的供应。这可能影响使用 Cursor 的开发者,并引发对 AI 代码编辑器供应商锁定问题的担忧。 报道称控制权变更条款是导火索。Cursor 由 Anysphere 运营,是一款依赖大语言模型进行代码生成和编辑的 AI 原生代码编辑器。
rss · InfoQ 中文站 · Aug 31, 14:16
背景: 控制权变更条款允许一方在公司所有权或管理层发生重大变化时终止或重新谈判合同。Cursor 是一款 AI 代码编辑器,使用自然语言提示来生成、编辑和调试代码。报道称,SpaceX 收购 Cursor 触发了该条款,导致 OpenAI 停止供应其模型。这反映了 AI 公司越来越倾向于控制其模型在下游的使用方式。
标签: #OpenAI, #Cursor, #SpaceX, #AI industry, #Business
Kubeflow 扩展 AI 能力,项目临近 CNCF 毕业 ⭐️ 8.0/10
Kubeflow 扩展了其 AI/ML 能力,特别是通过 Kubeflow Trainer 支持可扩展的 LLM 微调,并且该项目目前已接近从云原生计算基金会(CNCF)毕业。 CNCF 毕业是一个重要里程碑,表明 Kubeflow 已经稳定并可投入生产,这将增强企业在 Kubernetes 上采用它进行 MLOps 的信心。这对 MLOps 和云原生社区意义重大。 Kubeflow 包含 Kubeflow Notebooks、Kubeflow Pipelines、Training Operator、用于模型服务的 KServe 和用于自动机器学习的 Katib 等组件,每个组件均可独立部署。根据 CNCF 的规定,毕业项目必须证明其稳定性和在生產环境中的成功应用。
rss · InfoQ 中文站 · Aug 31, 13:31
背景: Kubeflow 是一个基于 Kubernetes 的开源机器学习和 MLOps 平台,最初由 Google 推出。MLOps 是一种旨在可靠、高效地在生产环境中部署和维护机器学习模型的范式,弥合了机器学习开发与运维之间的鸿沟。CNCF 毕业是云原生项目最高的成熟度级别,意味着这些项目被认为稳定且适合在生产环境中使用。
标签: #Kubeflow, #CNCF, #Kubernetes, #AI/ML, #MLOps
Netflix 采用 Kubernetes 原生作业排队系统 Kueue ⭐️ 8.0/10
Netflix 正在用 Kubernetes 原生作业排队系统 Kueue 替代其内部自研的作业排队方案。此次迁移使 Kueue 成为 Netflix 在 Kubernetes 基础设施上管理和调度批处理作业的默认机制。 Netflix 的采用是对 Kueue 以及更广泛的 Kubernetes 原生作业调度生态的一次重要行业背书。这表明即使是拥有成熟内部调度器的公司也在转向开放、云原生的解决方案,从而可能加速 Kueue 在整个行业的采用和发展。 Kueue 提供可配置的队列和基于配额的准入控制,让集群管理员可以在多个团队之间共享容量。它支持 Kubernetes 内置的 Job 对象,也支持来自 Ray、Kubeflow 等框架的外部工作负载;不过目前可获取的摘要中并未包含 Netflix 迁移架构的完整技术细节。
rss · InfoQ 中文站 · Aug 31, 12:00
背景: Kubernetes 是容器编排的事实标准,但机器学习训练、CI/CD 流水线等批处理作业通常还需要一层额外的机制来管理排队、优先级和资源配额。Kueue 是一个 Kubernetes 原生的作业排队系统,它在集群调度器之上增加逻辑队列和准入控制,决定作业何时何地可以运行。它常与 Ray、Kubeflow 等分布式计算框架配合使用,云厂商如微软 Azure 也将其用于 AI 工作负载的管理。
参考链接
标签: #Kubernetes, #cloud-native, #job scheduling, #Netflix, #Kueue
curl 维护者发表博文讨论 CVE 争议 ⭐️ 8.0/10
curl 的创建者与维护者 Daniel Stenberg 于 2026 年 6 月 24 日发表了一篇题为“a CVE dispute”的博客文章,讨论了与 curl 项目相关的一起 CVE 争议。他从维护者视角出发,说明该安全问题是如何被报告和定级的。 curl 是最广泛使用的开源数据传输工具和库之一,因此有关其 CVE 的争议会影响整个软件生态系统中很大一部分的安全处理方式。这篇文章凸显了安全研究人员、厂商与维护者之间在严重性评分和协同披露问题上的紧张关系。 这篇博文附有一个 Lobsters 讨论帖的链接,说明作者有意引发社区讨论。虽然提供的摘要中没有给出完整的 CVE 细节,但讨论的核心是漏洞报告方式与维护者对实际可利用性评估之间的冲突。
rss · Lobsters · Aug 31, 10:38
背景: curl 是一款用于通过多种网络协议传输数据的命令行工具和库,被安装在数十亿个系统中,包括操作系统和嵌入式设备。CVE(通用漏洞披露)标识符用于标记公开披露的安全漏洞;当报告者与维护者对某个问题是否属于真实漏洞或严重程度如何存在分歧时,就可能引发争议。
标签: #curl, #security, #CVE, #open source, #software maintenance
通过 AD CS RPC 端点从 IIS AppPool 提权到 SYSTEM ⭐️ 8.0/10
一篇安全研究文章已发布,详细描述了一条通过 Active Directory 证书服务(AD CS)RPC 端点、从 IIS AppPool 身份提升至 NT AUTHORITY\SYSTEM 的提权路径。该技术在安全社区中获得好评,看起来是一条新颖的攻击链。 这很重要,因为 IIS 应用程序池广泛部署于 Windows Web 托管中,而获得 SYSTEM 级权限可使攻击者完全控制主机。它揭示了 IIS 默认身份与经常暴露的 AD CS RPC 端点之间存在危险的交互,而该端点在许多企业环境中可能防护不足。 此提权利用 AD CS RPC 接口,该接口在请求证书时可能缺少与 HTTP 注册端点相同的检查,类似于此前记录的 ESC11 技术。文章演示了 AppPool 身份(IIS APPPOOL<池名>)如何利用该端点获取证书或令牌,从而根据 CA 配置获得 SYSTEM 权限。
rss · Lobsters · Aug 31, 12:36
背景: 在 IIS 中,每个应用程序池默认使用名为 IIS APPPOOL<应用程序池名> 的虚拟帐户运行,该帐户仅具有有限的本地权限。NT AUTHORITY\SYSTEM 是 Windows 上本地权限最高的帐户,许多服务使用它并可访问大多数系统对象。AD CS 是微软的 PKI 实现,其证书注册端点(包括 HTTP 和 RPC)如果未妥善保护就可能被滥用,此前的 ESC 研究已经证明了这一点。
参考链接
标签: #security, #privilege escalation, #Windows, #IIS, #Active Directory
用 BirdNet-Go 将安防摄像头变成自动鸟类识别系统 ⭐️ 7.0/10
作者介绍了如何将现有的安防摄像头改造成自动鸟类识别系统:把摄像头的 RTSP 音频流转入 BirdNet-Go,让它全天候监听并识别鸟鸣。详细的搭建指南已于 2026 年 6 月 10 日发布。 这让鸟类爱好者和 DIY 玩家无需专用硬件,用现有设备即可获得实时、本地化的鸟类识别能力。它展示了将安防摄像头、音频分析和野生动物观察结合起来的实用低成本 AI 应用。 该系统依赖 RTSP(实时流传输协议),IP 摄像头通过该协议提供可控制的音视频流。BirdNet-Go 对音频进行多模型本地 AI 推理,并将识别结果展示在 Web 界面中;社区反馈表明,麦克风质量和采样率很重要——BirdNET 需要 48 kHz 音频,而部分摄像头仅支持 16 kHz。
hackernews · speckx · Aug 31, 16:47 · 社区讨论
背景: BirdNet-Go 是一个自托管、开源的声景分析工具,可识别鸟类、蝙蝠和其他野生动物,并能在 Raspberry Pi 等本地硬件上 7×24 小时运行。它接收声卡输入或网络音频流,在本地进行实时分类,无需云端服务。RTSP 是一种用于控制流媒体服务器的网络控制协议,IP 摄像头和录像机常用它通过网络提供实时音视频流。
参考链接
社区讨论: 评论区用户分享了各自的类似方案,比如利用 Unifi 门铃摄像头和闲置的电子墨水屏显示识别到的鸟类。也有人提出了实用注意事项,包括摄像头麦克风的风噪问题和需要 48 kHz 音频的问题;还有人推荐康奈尔大学的 Merlin 鸟种识别 App 作为替代方案。一位用户还针对 markdown 卡片中避免使用 U+2588 全方块字符提供了小建议。
标签: #BirdNet-Go, #bird identification, #security cameras, #RTSP, #AI
陶哲轩讲解数学六大核心概念 ⭐️ 7.0/10
著名菲尔兹奖得主、数学家陶哲轩发布了一段通俗易懂的讲解视频,涵盖六个核心数学概念:数、代数、几何、概率、分析和动力学。该视频旨在让这些基础思想被更广泛的受众所理解。 作为当代最负盛名的数学家之一,陶哲轩清晰的讲解有助于提升公众的数学素养,让非专业人士也能理解深奥的思想。社区讨论也表明,基础数学正被视为与人工智能及其他科技领域日益相关的重要基石。 视频涵盖的六个概念分别是数、代数、几何、概率、分析和动力学。评论区有观众建议,拓扑学、逻辑学与类型论等也应被视为核心概念的有力候选。
hackernews · matthewsinclair · Aug 30, 22:37 · 社区讨论
背景: 陶哲轩是加州大学洛杉矶分校的菲尔兹奖得主数学家,在调和分析、偏微分方程和数论等领域做出了杰出贡献。顶尖研究者制作的科普视频能让没有系统训练的学习者理解复杂主题。陶哲轩近期还就数学与人工智能之间的关系发表过演讲,这一主题在科技界引发了强烈共鸣。
社区讨论: 观众整体反响积极,称赞陶哲轩讲解清晰、教学方式平易近人;有评论者建议用拓扑学替换几何学,并加入逻辑学与类型论。另一位观众对他“人工智能时代的数学”演讲表示赞赏,还有人质疑“猴子写《哈姆雷特》”的类比及其二次时间复杂度的说法。
标签: #mathematics, #Terence Tao, #education, #video, #concepts
AI+手机 LED 可检测隐藏摄像头 ⭐️ 7.0/10
韩国科学技术院(KAIST)的研究人员开发出一套基于 AI 的系统,只需一台智能手机和一个低成本 LED 配件即可检测隐藏摄像头。该系统通过分析视频帧中摄像头镜头的反射光,号称准确率可达 94%。 这一技术使隐藏摄像头检测比专用射频或激光扫描仪更加普及和廉价,回应了酒店、Airbnb 民宿和更衣室等场景中日益增长的隐私担忧。它未来可能成为智能手机自带的标配隐私功能。 该 AI 经过训练,可从金属、玻璃或亮面塑料等误报源中区分出摄像头镜头的镜面反射,而旧式手动方法常在这些物体上出错。通过综合多个视角的检测结果,可靠性得以进一步提升。
hackernews · geox · Aug 30, 06:52 · 社区讨论
背景: 隐藏摄像头通常通过检测镜头在光照下的反光来发现,因为镜头会以独特方式反射光线。传统便携式探测器需要用户手动检查亮点,容易产生大量误报。AI 和计算机视觉技术可以自动分析随时间变化的反射模式,从而简化这一过程。该方法只需一部智能手机和一个简单的 LED 光源,非常适合日常使用。
参考链接
社区讨论: 评论者总体持肯定态度,但也提出了替代方案和局限。有人指出激光扫描早已用于此用途,另有人建议使用红外照明使检测更隐蔽;还有人认为廉价热成像仪就能发现发热的 CMOS 传感器。此外,有评论担心对抗性摄像头会在扫描结束后才开机,也有人询问该技术是否适用于智能眼镜。
标签: #AI, #security, #privacy, #computer-vision, #hardware
美军超市冷柜被黑猜测引发工控安全讨论 ⭐️ 7.0/10
一篇推测性博客文章称,美军军用超市的冷柜可能遭到黑客攻击,引发了关于工业控制系统安全的广泛讨论。这一未经证实的说法获得了高度关注,在平台上获得 258 分和 153 条评论。 该讨论凸显了工业控制系统,尤其是军事设施等关键基础设施中长期存在的安全漏洞。它强调了在分析故障时考虑替代原因(如配置错误或更新失误)而非直接假定网络攻击的重要性。 有工控经验的评论者指出,未受保护的 PLC(可编程逻辑控制器)很常见,默认凭据如 admin/admin 是常态。另一些人质疑作者的假设,指出每天少数冷柜故障可能只是正常的维护问题。
hackernews · jcurbo · Aug 31, 11:45 · 社区讨论
背景: 工业控制系统(ICS)用于监控和控制关键基础设施(如电网、水处理、交通等)中的物理过程。这些系统通常依赖 SCADA 和 PLC,而历史上其设计优先考虑可用性而非安全性,导致它们成为网络攻击的诱人目标。保障 ICS 安全需要不同于传统 IT 安全的专门方法。
参考链接
社区讨论: 社区对这些攻击说法持怀疑态度,许多评论者认为配置错误或普通维护问题更有可能。一些人分享了与不安全 PLC 打交道的亲身经历,印证了 ICS 的系统性弱点,另一些人则指出该报告披露的时机令人担忧。
标签: #security, #ICS, #critical-infrastructure, #hacking, #military
Wrapture:扩展 wrapt 的 Python 新库,用于追踪与测试 ⭐️ 7.0/10
Graham Dumpleton 发布了 Wrapture,这是一个 Python 库,将 wrapt 的猴子补丁扩展到同时支持追踪和测试覆盖。该库可以包装任何函数或方法,从而记录所有访问或覆盖返回值,并包含 OpenTelemetry 支持和基于配置的追踪机制。 Wrapture 通过将测试与追踪结合在同一工具中,提供了一种全新的方法,可能成为 unittest.mock 的替代方案。尤其值得注意的是,它完全由 AI 辅助编写,但由经验丰富的 Python 开发者精心设计,这可能标志着经验丰富的开发者生产库的方式正在转变。 Wrapture 是一个非常年轻的项目,只有几周的历史,也是 Graham Dumpleton 第一个完全由智能体驱动的大型项目。它提供了基于配置(TOML)的机制,用于向现有项目添加追踪,并支持 OpenTelemetry 导出。
rss · Simon Willison · Aug 31, 23:59
背景: wrapt 是 Graham Dumpleton 创建的 Python 模块,提供透明对象代理,常用作函数包装器和装饰器的基础(PyPI)。猴子补丁指在运行时动态修改代码,是一种常见的测试技术。追踪记录程序执行流程,用于调试或可观测性。Wrapture 结合了这些概念,在 wrapt 基础上同时提供追踪和测试覆盖。
标签: #Python, #testing, #tracing, #monkeypatching, #developer tools
OpenShot 4.0 发布:新增录制、调色与本地 AI 功能 ⭐️ 7.0/10
OpenShot 4.0 已发布,支持将屏幕、摄像头、麦克风和系统音频直接录制到项目中,并提供色轮、曲线、LUT 和示波器等专业调色工具。此外,它还加入了本地运行的机器学习模型用于主体隔离,并支持动画音频可视化和电影质感效果。 此次重大更新大幅提升了 OpenShot 的功能,为免费开源视频编辑器带来了专业级剪辑与调色工具。同时,对本地运行机器学习的强调也顺应了行业向隐私保护、设备端 AI 处理发展的趋势。 完整更改列表可在 GitHub 上的官方发布说明中查看。值得注意的新增功能包括色轮、曲线、LUT、专业视频示波器,以及用于主体隔离的本地机器学习模型,此外还有录制功能和动画音频可视化。
rss · LWN.net · Aug 31, 15:03
背景: LUT(查找表)是预设的色彩配置文件,可帮助剪辑者快速应用特定电影风格,而无需从零开始手动调整颜色。视频示波器(如波形监视器和矢量示波器)可提供颜色和亮度的客观测量,对获得一致、高质量的输出至关重要。本地运行机器学习意味着 AI 处理在用户自己的设备上进行,而不是在云端进行,这能带来隐私保护方面的好处,并可能降低延迟。
参考链接
标签: #video-editing, #open-source, #machine-learning, #color-grading, #release
Linux 7.3 合并窗口关闭,提交数位居历史第二 ⭐️ 7.0/10
Linux 7.3-rc1 已发布,合并窗口随之关闭,共有 15,267 个非合并变更集被合入主线仓库。本文涵盖了自第一篇合并窗口总结发布后大约 13,000 个提交。 本次合并窗口是内核历史上第二繁忙的一次,表明 7.3 版本将包含大量新特性和改进。内核开发者和下游用户需要关注这些变更,以了解即将到来的稳定内核将带来什么。 只有 6.7-rc1 版本的提交数更多,这得益于将近 3,000 个 bcachefs 历史提交。7.3 合并窗口的高提交数反映了内核各子系统的广泛开发活动,而非单一主导特性所致。
rss · LWN.net · Aug 31, 14:12
背景: Linux 内核在每个稳定版本发布后设有为期两周的合并窗口,期间各子系统维护者会提交包含新代码的拉取请求。-rc1 的发布标志着合并窗口结束,并进入只接受修复的稳定化阶段。Bcachefs 是一个写时复制文件系统,于 6.7 版本加入内核,其历史解释了为何 6.7-rc1 的提交数异常之高。
参考链接
标签: #Linux kernel, #merge window, #development, #LWN
Uber 智能体请求增 9.4 倍,token 账单却没涨 ⭐️ 7.0/10
Uber 公开了其 AI 软件工厂如何在 token 费用不增长的情况下,实现 AI 智能体请求量增长 9.4 倍。该公司详细介绍了在规模化运行 LLM 驱动的软件工程时采用的成本优化策略。 这一消息意义重大,因为它为那些在采用 AI 智能体时面临 LLM API 费用飙升的组织提供了切实可行的现实蓝图。如果其他公司能复制这些方法,可能会改变企业为智能体软件开发做预算和架构设计的方式。 摘要中未说明具体的优化技术,需要阅读 InfoQ 完整文章才能了解技术细节。该报道强调,高效的系统设计——而不仅仅是更便宜的模型——可以将智能体请求量与 token 支出解耦。
rss · InfoQ 中文站 · Sep 1, 07:00
背景: AI 软件工厂是一种流水线式开发方法:编码智能体在隔离沙箱中工作,产出通过自动化检查和浏览器 QA 的拉取请求,再交由人工审查。OpenAI、Anthropic 等 LLM API 通常按 token(文本基本单元)计费,输入和输出 token 价格不同,因此使用量激增会迅速推高成本。AI 智能体是能够规划、编写、审查和部署代码的自主系统,在整个组织中扩展这类系统通常会成倍增加 token 消耗。
参考链接
标签: #AI, #成本优化, #智能体, #软件工程, #Uber
AI 写代码很快但交付不快?小红书用 Agentic 架构来弥补 ⭐️ 7.0/10
小红书分享了其名为 Muse 的 Agentic 架构实践,旨在解决 AI 加快代码生成速度却未加快整体交付速度的差距。 这一点很重要,因为许多团队虽然看到 AI 编码带来了生产力提升,却未能将其转化为更快的交付。小红书的做法为缩小这一差距提供了范例,对工程领导者和 AI/ML 从业者都有参考价值。 文章聚焦于将代理式(Agentic)原则应用于整个软件交付流程,而不仅仅是代码生成。可能涉及用于规划、测试和部署的自主代理,不过原始文章中的具体技术细节未包含在摘要中。
rss · InfoQ 中文站 · Aug 31, 16:48
背景: Agentic(代理式)架构是一种 AI 系统设计范式,其中自主代理能够决定、规划、行动、观察和适应,而不是遵循确定性流水线。AI 代码生成器可以快速生成代码,但更快的编码不一定能加快交付,因为瓶颈会转移到集成、测试、审查和部署等环节。包括小红书的诸多企业正在尝试用代理式工作流来自动化这些下游步骤。
参考链接
标签: #AI, #Agentic Architecture, #Software Engineering, #Delivery Productivity, #DevOps
智能体适应度函数将演进式架构扩展至确定性规则之外 ⭐️ 7.0/10
本文探讨了如何基于 AI 智能体的“智能体适应度函数”,将演进式架构从确定性的规则检查扩展到更广泛的领域。该方法以一个 Google ADK 智能体作为确定性架构检查之上的判断层,将架构意图转化为结构化的适应度信号。 这很重要,因为它将传统适应度函数难以处理的、依赖判断的治理工作自动化,例如边界一致性、ADR 漂移和语义契约检查。它使演进式架构对现代软件系统(尤其是融合 AI/ML 的系统)更具适应性和可扩展性。 该方法使用一个 Google ADK 智能体,作为确定性检查之上的判断层,处理来自 ADR、所有权映射、契约差异和代码证据的架构意图。这些智能体适应度函数是对固定检查的补充而非替代,并提供可审计的适应度信号。
rss · InfoQ 中文站 · Aug 31, 16:45
背景: 在演进式架构中,适应度函数充当“护栏”,评估系统在多大程度上满足期望的架构特征,从而在既定范围和方向上实现持续演进。传统适应度函数依赖确定性规则,但许多重要的架构关注点需要类似人类的判断。智能体适应度函数正是利用 AI 智能体来自动化这些依赖判断的治理工作,弥补了这一空白;相关理念源自《构建演进式架构》等著作。
参考链接
标签: #evolutionary architecture, #fitness functions, #agents, #AI/ML, #software architecture
Pi 核心贡献者警告:DeepSeek Flash 或用 1.5-bit 缩水版模型 ⭐️ 7.0/10
InfoQ 文章报道,Pi 项目的核心贡献者警告称,DeepSeek Flash 用户实际拿到的可能是经过 1.5-bit 量化的“缩水版”模型,而不是完整精度的版本。这揭示了 AI token 化模型服务中缺乏透明度的问题。 这很重要,因为它意味着依赖 API 大模型的开发者和研究者可能会在相同模型名下不知情地得到质量受损的输出,损害可复现性和信任。这也促使模型提供商公开量化细节和服务配置。 警告特别提到 1.5-bit 量化,这是一种极具侵略性的压缩方案,可能严重影响模型质量。文章用这个例子来说明普遍存在的“黑箱”问题:服务以知名模型名称出售 token,但实际推理可能使用量化或其他变体版本。
rss · InfoQ 中文站 · Aug 31, 15:19
背景: 量化通过降低权重数值精度来减少模型内存占用和计算成本,但激进的 1.5-bit 量化会带来严重的精度损失。许多大模型 API 提供商为了成本效率会部署量化模型,但用户往往以为他们调用的是与官方开源版本相同的模型。文章呼吁 token 服务应提高透明度。
参考链接
标签: #AI/ML, #LLM, #quantization, #API transparency, #DeepSeek
前英伟达工程师的“拾荒者”打法:专捡闲置 GPU 不用最贵 ⭐️ 7.0/10
一位前英伟达工程师提出了一套“拾荒者”策略,刻意避开最昂贵的高端 GPU,转而利用被低估、闲置或“没人要”的算力资源。这种做法将闲置 GPU 容量视为一流资源,为 AI 基础设施的成本优化提供了新思路。 这之所以重要,是因为 GPU 稀缺性和成本主导着 AI 基础设施决策;拾荒者打法可以让 AI 工作负载变得更便宜、更易获取。它也可能推动行业更好地利用现有算力,而不是一味购买最新硬件。 该策略很可能建立在 spot 实例、可抢占虚拟机、闲置推理 GPU 池等概念之上,这些资源价格大幅折扣,但有中断风险。关键前提是工作负载能容忍中断,并且需要调度系统将碎片化算力拼接起来。
rss · InfoQ 中文站 · Aug 31, 15:03
背景: AI 训练和推理需要大量 GPU 算力,但最强 GPU 价格昂贵且供应紧张。与此同时,许多 GPU 实例在非高峰时段处于闲置状态,云厂商会以大幅折扣提供 spot/可抢占实例。“拾荒者”策略正是刻意利用这些更便宜、闲置的资源,类似于使用 Amazon EC2 Spot 实例或闲置推理 GPU 池来运行训练任务。该理念与提高 GPU 利用率、降低 AI 基础设施成本的行业努力相契合。
参考链接
标签: #GPU, #AI infrastructure, #cost optimization, #Nvidia, #compute
Rx.NET 7.0 拆分 Windows UI 支持,缩减应用部署体积 ⭐️ 7.0/10
Rx.NET 7.0 已发布,将 Windows UI 支持从核心响应式扩展库中拆分出来。这一拆分显著减小了大多数用户的应用程序部署体积。 这一变化惠及 .NET 响应式编程社区,使默认库更小、更平台中立。它同时也简化了不需要 Windows UI 程序集的云原生和跨平台应用的依赖管理。 拆分意味着 Windows UI 特有的程序集不再包含在 Rx.NET 核心包中,只有明确针对 Windows UI 的开发者才需要额外添加这些包。该版本是渐进式改进而非范式转变,但对大多数使用方来说降低了占用空间。
rss · InfoQ 中文站 · Aug 31, 15:00
背景: Rx.NET 即 .NET 的响应式扩展(Reactive Extensions),是一个通过可观察序列和 LINQ 风格操作符来组合异步与基于事件的程序的库。它实现了响应式编程这一声明式范式,能够沿数据流自动传播变化。历史上,System.Reactive 主包捆绑了 Windows UI 特有代码,即使应用从未使用这些功能也会增加部署体积。7.0 版本从默认包中移除了这种耦合。
标签: #Rx.NET, #.NET, #Reactive Programming, #Library Release, #Windows UI
Meta 一年实验:AI 智能体致事故增四成、救火增七成 ⭐️ 7.0/10
Meta 为期一年的实验发现,用 AI 智能体替代人类工程师导致事故数量增加 40%,工程师的救火工作量增加 70%。结果表明,AI 智能体尚不能取代软件工程中的真人员工。 这为围绕智能体 AI 的炒作提供了来自真实世界的反例,展示了在生产环境中可衡量的负面副作用。这对考虑用 AI 智能体实现自动化的工程领导者和团队很重要,因为它揭示了隐藏的运营成本和风险。 报告指出,实验期间事故数量上升 40%,而工程师用于救火的时间增加了 70%。这是 Meta 的一份单点实证报告,而非同行评审研究,因此在因果关系和普遍性上需谨慎解读。
rss · InfoQ 中文站 · Aug 31, 14:56
背景: AI 智能体是一种以一定自主性追求目标并采取行动的程序,通常由大语言模型驱动,用于任务自动化等场景。在软件工程中,事故响应涉及发现并解决宕机或性能下降;自动化常被提议用来改善这一过程,但 Meta 的数据表明它可能反而增加负担。
参考链接
标签: #AI agents, #software engineering, #Meta, #incident response, #productivity
通用 Agent 公司的全栈赌注:自研 Runtime、Agent Loop 与基础设施 ⭐️ 7.0/10
InfoQ 的一篇文章剖析了一家通用 AI Agent 公司如何押注全栈路线,自研 Runtime、Agent Loop 和基础设施,而非依赖第三方技术栈。 这一全栈赌注之所以重要,是因为 Agent 的性能和可靠性越来越依赖于执行 Runtime、驱动自主推理的 Agent Loop 与底层基础设施之间的紧密集成。如果成功,它可能为构建生产级通用 Agent 树立新标准。 文章聚焦三个核心层面:用于执行 Agent 工作负载的自研 Runtime、负责迭代推理与行动的 Agent Loop,以及支撑部署与扩展的基础设施。这反映了行业从简单 LLM 调用向完整 Agent 平台演进的趋势。
rss · InfoQ 中文站 · Aug 31, 14:47
背景: Agent Loop 是每个智能体 AI 系统核心的迭代执行循环:Agent 收集上下文,调用 LLM 进行推理并选择动作,执行动作,观察结果,并将观察反馈到下一轮。Agent Runtime 是执行层,负责管理 Agent 生命周期、工具调用和停止条件——本质上相当于 AI Agent 的操作系统。全栈 Agent 基础设施将推理、编排和部署整合到一个平台中。随着 Agent 进入生产环境,对这些层的控制对于安全性、可靠性和成本至关重要。
参考链接
标签: #AI Agents, #Runtime, #Infrastructure, #Agent Loop, #Full-stack
思科为 9 万员工配备个人 AI Agent ⭐️ 7.0/10
据 InfoQ 报道,Cisco 为全部 9 万名员工配置了个人 AI Agent,该 Agent 能记住每位员工的工作上下文,并代替员工跨多个企业系统办理事务。这是目前已知规模最大的企业级 AI Agent 落地案例之一。 这一案例的意义在于,AI Agent 正在从个人效率工具转变为企业级基础设施,可能改变大型企业处理内部流程的方式。如果落地成功,Cisco 的部署模式有望成为其他企业规模化采用 Agent 的参考样板。 报道称该 Agent 能记住员工的“一切”并代替员工跨系统办事,这意味着它需要与身份认证、数据权限和企业应用深度集成。目前公开信息未披露底层模型、系统架构及安全管控等具体技术细节。
rss · InfoQ 中文站 · Aug 31, 14:20
背景: AI Agent(智能体)是一种能够感知环境、做出决策并调用外部工具或 API 来达成目标的软件系统。在企业场景中,个人 Agent 通常可以访问用户的日历、邮件、文档和内部应用,从而自动完成安排会议、填写表单、查询信息等日常工作。Cisco 是大型网络与 IT 企业,此次为 9 万名员工部署 Agent,使其成为职场 Agent 化 AI 的早期大规模采用者之一。
标签: #AI Agent, #企业应用, #Cisco, #数字化转型
可引导构建:从源码保障软件供应链安全 ⭐️ 7.0/10
LWN 的文章《可引导构建:方法与动机》解释了可引导构建背后的动机与技术。文章详细说明了如何从一个小型、可审计的引导种子开始,完全从源代码构建编译器和工具链。 可引导构建对软件供应链安全和可重现性至关重要。它有助于防范诸如 Ken Thompson 后门之类的编译器攻击,并能对完整构建过程进行独立验证,这也影响到 Debian 等主流发行版。 该过程通过从源码分阶段构建编译器和构建工具,尽量减少对不透明、预编译工具的依赖。包括 Debian 在内的许多主流 Linux 发行版尚不能完全可引导构建,这意味着它们在某个阶段仍然依赖预编译的二进制文件。
rss · Lobsters · Aug 31, 17:03
背景: 可重现构建确保相同的源代码和构建环境总是生成相同的二进制文件,从而在源码与二进制文件之间建立信任链。可引导构建则更进一步,确保工具链本身也从源码构建,并以一个小型、可审计的种子为起点,从而防范隐藏在编译器二进制文件中的后门。
参考链接
标签: #bootstrappable builds, #reproducible builds, #supply chain security, #software engineering
澄清异步编程中的取消术语 ⭐️ 7.0/10
在一篇题为“取消术语”的新博文中,作者 matklad 探讨了并发与异步编程中与“取消”相关的精确词汇,旨在解决常见的歧义。该文已在 Lobsters 上引起社区关注。 取消是现代异步/并发编程中的核心概念,但混乱的术语常导致沟通误解和隐蔽缺陷。随着结构化并发和取消令牌(cancellation token)日益普及,清晰的术语有助于开发者设计更好的 API 并推理正确性。 虽然未能获取文章全文,但相关资源表明,取消机制可分为协作式(如 .NET 的 CancellationToken)和异步式(如 pthreads 的异步取消)。该文很可能对取消(cancellation)、中止(abort)和停止(stop)等术语进行辨析,并讨论它们对资源回收和安全性的影响。
rss · Lobsters · Aug 31, 14:19
背景: 在编程中,取消(cancellation)指请求正在进行的操作提前终止。在异步和并发系统中,协作式取消(cooperative cancellation)让代码检查令牌或标志并干净退出,而异步取消(asynchronous cancellation)可在任意时刻强制中断线程。结构化并发(structured concurrency)进一步要求取消能自动传播到子任务。这些不同概念常被混为一谈,因此精确术语显得很有价值。
参考链接
- Asynchronous cancellation, abort and clean-up - Ross Bencina Cancel async tasks after a period of time" - C# | Microsoft Learn CancellationToken: The Complete Technical Guide for .NET ... The Truth About “Cancelling” Async/Await: You’re Mostly Just ... Cancellation (Multithreaded Programming Guide) - Oracle
- Cancellation in Managed Threads - .NET | Microsoft Learn
- Cancellation (Multithreaded Programming Guide) - Oracle
标签: #async, #concurrency, #terminology, #programming, #cancellation
Kale:一个保障数据转换安全的电子表格系统 ⭐️ 7.0/10
一篇新的 arXiv 论文介绍了 Kale,这是一个旨在防止数据转换出错的电子表格系统。该论文由 Michael Coblenz 领导,共有 14 位作者。 电子表格被广泛用于数据处理,但手动转换经常引入错误。Kale 的意义在于它针对转换正确性,这对终端用户程序员和编程语言研究都是一个重要问题。 该论文在 arXiv 上的编号为 2608.26345,Michael Coblenz 是 14 位贡献者中的第一作者。现有搜索结果仅提供了标题和作者信息,因此本文不详细介绍其具体技术机制。
rss · Lobsters · Aug 31, 18:32
背景: 电子表格让用户通过公式来操作和分析数据,但由于转换过程缺乏强有力的保护机制,这些操作常常容易出错。Kale 被提出作为一个旨在让此类转换更安全的研究系统,可能借鉴了编程语言和系统研究的思想。这使其处于提升终端用户计算正确性与可靠性的更广泛努力之中。
标签: #spreadsheet, #programming-languages, #systems, #data-transformation, #arxiv
分析如何改进 Cargo 的构建调度器 ⭐️ 7.0/10
Spirali 发布了一篇技术博文,探讨 Cargo 的构建调度器能否被改进,重点分析它如何排序和并行化编译任务。文章提出分析和潜在优化策略,以帮助 Rust 构建更快、更高效,但并未包含具体代码改动。 Cargo 是 Rust 的标准构建工具,因此即使是调度器的小幅改进,也能减少整个生态系统中开发者和 CI 管道的编译时间。这类分析能为未来 Cargo 的开发提供参考,帮助 Rust 项目更好地扩展到更大的依赖图。 Cargo 与 rustc 使用最初为 GNU make 开发的 jobserver 协议来协调并行任务,从而限制并发进程数量。Cargo 还可以将 cargo-timing.html 等报告写入 target/cargo-timings,帮助开发者定位调度瓶颈。
rss · Lobsters · Aug 31, 10:50
背景: Rust 构建需要编译大量相互依赖的 crate,Cargo 的调度器负责决定这些编译单元的顺序和并发度。jobserver 协议会限制所有子进程中的总并发任务数,以避免系统过载。如果让调度器更智能,构建系统就能在不修改源代码的情况下缩短实际耗时。
标签: #rust, #cargo, #build-systems, #performance, #scheduling
C++26 标准库加固实验 ⭐️ 7.0/10
这篇文章探讨了 C++26 标准库加固实验,该实验将标准库中的某些未定义行为转换为运行时可检测的契约违规。这项工作基于提交给 C++ 标准委员会的 P3471R4 提案。 标准库加固之所以重要,是因为它提供了一个标准化的基线,将常见且危险的先决条件违规(如 vector 越界访问)从静默的未定义行为转变为可检测的终止性故障。这提升了 C++ 系统编程的安全性和安全性,尽管它并不能替代消毒器、静态分析或良好的 API 设计。 P3471R4 提案基于在 libc++ 中实现加固的经验,libc++ 提供了多种加固模式,这些模式在检查数量与运行时性能之间有不同的权衡。标准库加固并不会让 C++ 变得内存安全,但会在检测到违规时,在其他可观察副作用发生之前提供明确的反应。
rss · Lobsters · Aug 31, 17:52
背景: C++ 传统上为了性能而允许未定义行为,这可能导致缓冲区溢出等安全漏洞。标准库加固通过增加运行时检查来解决此问题,将某些未定义行为转变为契约违规,并在违反先决条件时终止程序。该提案是 C++26 开发周期的一部分,旨在跨实现标准化加固措施。
参考链接
- Standard library hardening - open-std.org Standard library hardening - isocpp.org C++26: Standard Library Hardening Experiments - C++ Stories C++26: Standard library hardening | Sandor Dargo's Blog Standard library hardening - open-std.org C++26: Standard library hardening -- Sandor Dargo Hardening Modes — libc++ documentation - LLVM
- Standard library hardening - isocpp.org
- C+ + 26 : Standard Library Hardening Experiments - C++ Stories
标签: #C++, #C++26, #Standard Library, #Hardening, #Security
Rootless Docker 隐藏的安全权衡 ⭐️ 7.0/10
Ken Muse 于 2026 年 4 月 23 日发表了一篇文章,探讨以 rootless 模式运行 Docker 的安全权衡。文章认为,虽然 rootless 模式通过将守护进程放入用户命名空间降低了风险,但也带来了有意义的折衷。 这对认为 rootless 模式是纯粹安全改进的 DevOps 和容器化从业者很重要。理解这些权衡有助于团队选择正确的部署姿态,并避免意外的运维或安全缺口。 该文章是一个系列的组成部分,该系列从内核原语到 Docker 架构梳理安全链条。文章指出,rootless 模式和 rootless BuildKit 确实通过将入侵限制在非特权用户来降低风险,但网络限制和性能开销属于隐藏成本。
rss · Lobsters · Aug 31, 03:12
背景: 在传统 Docker 设置中,守护进程以 root 身份运行,/var/run/docker.sock 套接字向 docker 组中的任何人授予完整的主机访问权限。Rootless 模式以非 root 用户身份运行 Docker 守护进程和容器,通常使用用户命名空间来缓解守护进程和容器运行时中潜在的安全漏洞。然而,这种模式需要替代的网络方案,并可能带来性能和兼容性方面的权衡。
参考链接
标签: #docker, #security, #containerization, #devops