Cerulion（YC S24）是一个开源、零拷贝的物理 AI 机器人运行时/操作系统，兼容 ROS 2。它记录运行过程、将故障重放于新代码，并支持远程访问机器人。可通过 shell、Homebrew、APT 或 cargo 安装，支持 Linux/macOS 以及 ROS 2 Jazzy/Lyrical rmw。快速开始会创建避障演示，构建节点，运行并记录，然后验证代码未变更并检测更改速度后的发散。回放验证使用记录的输入重新执行图并比较输出，带退出码和容差。基准测试显示往返延迟远快于 ROS 2 Jazzy 默认。节点定义类型化输入/输出和 tick 方法；运行时处理调度、传输、记录和可观测性。支持 ROS 2 launch/run、attach 和零拷贝 loan。同一账户下的机器人自动发现，通过 Iroh 远程访问，并为智能体提供 MCP 工具。Flashback 捕获故障周围的近期活动。路线图包括融合节点、C++ 编写、变换、服务/动作、PR 验证和更广泛的平台支持。Cerulion 采用 AGPL-3.0 许可，提供商业许可证。

如你可能已察觉的，我最近开车时，偶尔会看到这种标志，常配以（ beloved 的）分段字体，显示雷达检测到的你当前速度：就在今天，我了解到了这个想法的早期版本：这是伊利诺伊州警察局在 1950 年代末或 1960 年代初部署的“Speed-Minder”。这辆车没有雷达，它只是报告自己的速度，我觉得这很巧妙。我不确定它是否更多是为了防止司机开得太快——我猜名字就是这个意思——还是仅仅为了帮助你校准自己汽车的速度表。我找不到太多信息说明这是否有效，但我就是喜欢这个非数字速度表装在老式警车顶部的视觉效果。Before Pixels 是对屏幕出现之前设计思路的偶尔探索，为了提供语境、娱乐和灵感而分享。

请启用 JavaScript 和 cookies 以继续

Will DePue对公开AI模型权重的取证分析发现强证据：来自DeepSeek、Moonshot AI、MiniMax和Ant Group的六个模型初始化于受出口管制的NVIDIA Blackwell GPU：DeepSeek-V4-Flash和MiniMax-M3匹配148-SM Blackwell布局，而DeepSeek-V4-Pro、Kimi K3、Kimi K3.1-Pro和Ling-3.1-flash匹配152-SM布局。同一实验室的更早模型匹配较旧的Hopper硬件。这些指纹来自权重中保留的初始值，而非泄露，并已在V4-Flash和Kimi K3的物理Blackwell芯片上复现。这些发现不能确定芯片位置、所有权或出口管制违规。对于V4-Flash，AMD MI300X替代方案基本被排除；对其他模型则被认为极不可能。估算训练运行需要数百到数千块Blackwell GPU持续数月，花费数亿美元。来自阿里巴巴、智谱、腾讯、小米和StepFun的模型仍显示为Hopper训练；美团的LongCat-2.0未显示NVIDIA指纹。

文章描述了重建 IBM i 7.5 程序验证值（PVV），一个与保存的程序一起存储的 32 字节 HMAC-SHA-256 值。密钥源自保存的程序属性和固定的 LIC 常量，因此 PVV 检查一致性而非可信来源；在需要时由数字签名处理来源。作者匹配了 1,223 个已知有效的值并解析了 1,256 个项目。在受控的 USER 状态测试中，重新计算 PVV 和 SAVF 检查使修改后的原生指令在恢复和重新保存后得以保留。CrackMe 展示了控制流和输出的变化；一个 MEMDUMP 变体绕过了指针验证，从配合的 QSECOFR 作业中读取了已知地址的 USER 域缓冲区的 32 字节。一个普通的 USERB1 账户通过 QSRRSTO 恢复并重新保存了修改后的程序。控制测试显示 IBM i 拒绝了未签名的 SYSTEM 和 INHERIT 变体，并强制执行 USER 域的访问边界。总体而言，PVV 重建支持可复现的研究，但本身不是漏洞或签名绕过；恢复授权、签名和域强制执行仍然是独立的控制措施。

与众议员罗·卡纳妻子相关的信托于9月4日和10月7日卖出英伟达股票，接近股价峰值，时间就在一场涉及黄仁勋与Megaspeed的Alice Huang、导致英伟达下跌约26%的丑闻爆发前不久。作为禁止国会股票交易的坚定支持者，卡纳表示他和员工都没有内幕信息，且家族投资由独立受托人管理。不过，他的委员会职务、党团成员身份以及此前与黄仁勋在斯坦福同台出现引发了疑问。该丑闻涉及被指控的情报和出口管制问题；黄被罢免CEO职务，多项调查正在进行。其他议员和特朗普总统也在下跌前卖出了英伟达股票。卡纳已呼吁举行机密简报会。

文章称，AI生成应用的激增正压垮Apple的App Store审核流程，导致iOS开发者延迟并受挫。曾经只需24至48小时的应用，现在可能需要数周，且据报道，自动化/AI辅助审核会产生无意义的拒绝。Unfiltered Audio的Sinusoidal Run Rhythm在超过一个月内被拒绝四次，最终以仅音频版本发布；而新开发者Marek Dendes表示，CRUX Synth尽管申诉仍被反复拒绝为“设计垃圾”。其他开发者也报告长时间延迟。作者认为，AI让应用创建变得容易，却加剧了审核瓶颈，威胁生计与市场质量。他们还批评Apple开发者支持薄弱、媒体报道减少，警告若不改善处理方式并加强人工沟通，iOS应用市场可能变得不稳定。不过，iOS仍是强大的音乐平台，但提交应用现在可能意味着数周的不确定性。

您需要启用 JavaScript 才能运行此应用程序。

乌克兰在一次远程无人机袭击中袭击了俄罗斯最大的奥姆斯克炼油厂，无人机飞行距离超过1800英里，多波次袭击持续约八小时。居民报告称工厂附近起火，但具体损失尚不清楚。该炼油厂每年处理超过2100万吨原油，此前已于7月和10月遭到袭击。奥姆斯克上空防空警报持续响了约八小时。袭击发生时，美国特使史蒂夫·威特科夫和贾里德·库什纳正在克里姆林宫与普京总统会晤。华盛顿已敦促乌克兰停止袭击俄罗斯石油设施，而乌克兰则认为俄罗斯的空中袭击并未停止。

作者的个人笔记（非医疗建议）在主观贝叶斯视角下评估家庭实验室藻类工作为低风险。他们已培养小球藻而无健康事故，尽量减少接触，与食物分开，并洗手。小球藻未被HSE列为病原体，用于学校实验，报道的不良病例罕见或特殊；1994年一例职业性哮喘病例因可能更高的暴露而被降低权重。两种计划使用的菌株——四尾栅藻和杜氏盐藻——被CCAP和ATCC评为最低危害/生物安全1级。主要剩余风险是收到错误菌株和样品污染，其中污染被认为最大但仍属低风险。

Foundation Models 框架是一个用于将大语言模型集成到应用中的原生 Swift API，包括 Apple 的端侧与 Private Cloud Compute 模型。它提供引导式生成、工具调用、图像理解（集成了 OCR、条形码读取等 Vision 工具），以及 Dynamic Profiles，允许在共享 transcript 的同时在会话中途切换模型、工具与指令。它还通过 Language Model 协议支持第三方模型（如 Claude 和 Gemini）。符合条件的开发者可免费使用 Private Cloud Compute，并享有强隐私保护。其他工具包括用于测试提示词的 Evaluations 框架、用于脚本编写与原型设计的 `fm` CLI、带有技能与上下文助手的开源实用工具，以及 Python SDK。适用的使用要求仍须遵守。

中期选举民主党取得进展后，控枪团体正在推动新的限制措施，包括攻击性武器禁令、普遍背景调查和暴力预防资金。Everytown for Gun Safety 强调其投入超过5300万美元，并在支持候选人中取得81%的胜率，而 Brady United 称选举结果是取得进展的机会。NRA 反驳称枪支议题并非中期选举的核心授权，但警告将面临重大立法挑战，并指出民主党预计控制24个州议会和22个三权统一州。得克萨斯州民主党人预计将掌控众议院和州长职位，约35项枪支法案已预先提出，其中许多是控枪措施。包括NRA和公民委员会在内的拥枪团体誓言在法院和州议会挑战此类法律。最高法院预计审理相关案件，从而围绕第二修正案限制展开重大法律战。

Checkers & Rally's 推出“Under $2 Cha-Ching Menu”，提供 1.99 美元汉堡、1.75 美元苹果派及其他低价商品，以在快餐连锁争夺受通胀困扰、注重价格的消费者之际吸引顾客。CEO Chris Tebben 表示，该菜单帮助美国人假期在不牺牲质量的情况下延展预算。此举发生在麦当劳美国同店销售额下降 0.2% 后测试超值套餐，以及竞争对手加强价格亲民举措之际。然而，价格战与加盟商财务困境同时出现：Checkers & Rally's 加盟商 Global Midsouth Holding Corp. 于 10 月申请第 11 章破产，而 Wendy's 主要加盟商 Meritage Hospitality Group 于 9 月在销售额下降和牛肉价格上涨的背景下申请破产。

分布式光线追踪器 点击右侧渲染 点击下方渲染 相机视图 移动 旋转 预览 渲染质量 预览高清 全高清 自定义分辨率 640×360 1280×720 1920×1080 2560×1440 采样 反弹 渲染 下载 PNG 复制图像 尚未渲染 图块 0 / 0 · 已用时 0.0 秒 隐藏界面 Esc

亚利桑那州民主党参议员鲁本·加列戈（Sen. Ruben Gallego (D-AZ)）称俄罗斯-乌克兰战争的“美妙之处”在于美国出钱让乌克兰人杀俄罗斯人，并称乌克兰若杀死足够多的俄罗斯人就能获胜，此番言论引发争议。他否认寻求经济利益，称自己只是“恨”俄罗斯人。文章提到参议员林赛·格雷厄姆（Sen. Lindsey Graham）也有类似言论，称这场战争是“好买卖”，因为它能在不造成美军死亡的情况下削弱俄罗斯。批评人士称此类言论无视乌克兰人失去的生命。文章将加列戈的言论解读为凸显民主党对这场代理战争的坚定支持，而乌克兰总统泽连斯基希望在美国中期选举后获得更多支持。与此同时，阿布扎比的和平谈判仍在继续，但尚未取得突破。

面向代理：apron.chat/llms.txt 链接了 Markdown 格式的规范、服务器、客户端、JSON Schema 以及用于测试的线缆样例。JSON 可通过任意传输层（如 WebSocket）。精简的核心配合可选的渐进式能力与优雅降级。按需构建。 {"method": "server", "params": {"apron": 10, "auth": ["guest"]}} {"method": "auth", "id": "c1", "params": {"scheme": "guest", "name": "Ada"}} {"id": "c1", "result": {"you": {"user_id": "guest_1234", "name": "Ada"}}} {"method": "message", "id": "c2", "params": {"body": {"text": "Hello"}}} {"method": "message", "params": {"room_id": "general", "from": {"user_id": "guest_1234"}, ...}} {"id": "c2", "result": {"message_id": "1724803200042"}}

作者将面向C解释器的元追踪JIT工具包yk适配到CPython，创建了ykcpython。在修复通用yk问题并投入约3–4天解释器特定工作后，ykcpython在除一个基准外的所有AWFY基准上运行速度均快于原生CPython，并在13个基准中的8个上快于CPython实验性JIT。该移植使用CPython的tier 2解释器，添加了YkLocations和优化提示。关键优化包括幂等opcode加载、将不应追踪的函数外提、提升间接调用，以及选择性展开小循环。改动适度且保持兼容性，但结果尚非生产就绪，基准提升可能不具普遍性。该工作还暴露并修复了yk的bug，表明yk可扩展至大型解释器，且通用改进惠及所有yk化解释器。

Rust 1.100.0 发布，包含多项主要特性： - **Never 类型 (`!`)**：经过 10 年终于稳定，允许在任何地方使用 `!` 作为规范的不可实例化类型，`Infallible` 现在成为其别名。一项破坏性变更调整了旧版本中的 never-type 回退行为。 - **Allocator API**：核心部分稳定，库作者可通过 `Allocator` trait 为 `Vec` 和 `Box` 定义自定义分配器。 - **DropGuard**：新增的 `core::mem::DropGuard` 在每个退出路径上运行闭包，便于事务/回滚模式。 - **`conjure_zst`**：专用的 unsafe 函数，用于创建零大小类型。 - **Cargo 改进**：报告未使用的依赖；一致的构建配置哈希减少缓存冲突；`min-publish-age` 依赖冷却期延迟新发布的版本。 - **稳定的 API**：新增多项，包括 `Box::map`、`Rc::map`、`Arc::map`、`bool::toggle`、`str::trim_prefix/suffix`、`Path::trim_prefix` 以及 `UnsafeCell` 辅助方法。 通过 `rustup update stable` 更新。完整详情请参阅完整发布说明。

莱斯·布莱特是一名白人南非野生动物农场主兼反盗猎巡护员，他说三名持枪男子在哈特比斯普尔特大坝附近的布罗德斯特罗姆小屋折磨他及其妻子娜塔莎约三小时。据称，袭击者殴打、束缚并蒙眼这对夫妇，用刀和剪锡钳割娜塔莎的乳头周围，用螺栓剪夹住布莱特的睾丸，用泰瑟枪电击他们，用开水烫他们，并试图用他的AK-47枪击布莱特，但枪未击发。袭击者要求保险箱钥匙和现金，带走七支有证枪支、两部手机和一台笔记本电脑，随后在一名警卫靠近时逃走。布莱特头部、膝盖和臀部受伤；娜塔莎未被强奸。警方将此案登记为入室抢劫，但布莱特称其为有针对性的农场袭击，并指出贵重物品被留下。未报道逮捕。此事出现在其他残暴农场袭击和政治争议中：比勒陀利亚将此类袭击定性为普通暴力犯罪，而特朗普政府则引用它们为削减援助和向白人南非人提供难民身份辩护。

客户端挑战 您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。 该网站的必要部分无法加载。这可能是由浏览器扩展、网络问题或浏览器设置引起的。请检查您的网络连接，禁用广告拦截器，或尝试使用其他浏览器。

调查发现，至少有11名美国国家安全局或美国网络司令部工作人员在截至9月的财政年度内死于自杀，包括军人、文职人员和承包商。其中10起发生在马里兰州米德堡附近，1起发生在佐治亚州一处国家安全局设施附近；5起发生在6月和7月，形成聚集。官员尚未确定单一原因，机构领导人提到了个人和财务困难，而前官员和议员则指出，紧张的运营节奏、外国冲突以及人工智能赋能的网络威胁是因素。技术军士凯文·斯塔林斯的家属批评他在缺勤后检查迟缓。作为回应，约书亚·拉德将军实施了休息和轮班限制，并扩大了医疗和精神支持。马里兰州议员还呼吁为嵌入式支持团队提供资金，理由是机密电子战工作场所存在心理健康挑战。

国防部长皮特·黑格塞斯向老卫兵哨兵伊格莱西亚斯下士颁发了一枚联合服役嘉奖勋章，后者曾在退伍军人节仪式后因黑格塞斯、其妻及随行人员在无名战士墓前谈笑而予以斥责。这一斥责遵循标准规程，因为哨兵 routinely 在墓前维持肃静。尽管伊朗战争带来政治压力，黑格塞斯仍公开称赞这名士兵，称其为勇敢的领导之举。次日，他邀请第3步兵团前往五角大楼，并为该士兵的勤务表现颁发了勋章。此事引发媒体关注，但黑格塞斯将其定位为支持标准与士兵。自1937年以来，墓前卫兵持续守卫，使这一事件在老卫兵的传说中颇具意味。

放射性碳测年法依据衰变的碳-14估算年龄，但水生储库中的碳-14比大气层少，从而产生“库效应”。由于鱼类、贝类、海洋哺乳动物以及食用水生食物的人类会吸收这种衰减的碳，它们的遗骸看起来比实际更老。海洋饮食通常需要约400年的校正；淡水来源差异很大，从无到约1000年不等，河流系统可能比实际老约1300年。封闭池塘可能达到平衡，不显示效应。海洋偏移量在不同地区有所不同，但对于北海盆地，400年的偏移量已得到充分确立。

市长佐兰·马姆达尼签署《社区优先购买法案》（COPA），让符合条件的非营利组织和社区团体在某些多户住宅进入私人市场前优先购买。市政府将维护符合条件组织名单，这些组织享有145天的独家购买窗口，若一年内出现其他买家，还享有优先购买权。该法适用于严重失修或受可负担住房限制的四户及以上住宅，影响约2100处房产。马姆达尼表示，该措施旨在保障住房稳定，而非投机。

Apify 正在调查一起事件：未经授权的第三方于 11 月 9 日至 10 日使用被泄露的凭证，以获取账户凭证并访问 Apify 账户。访问路径已关闭，自 11 月 11 日起未检测到进一步攻击者活动，受影响用户正在被单独通知。作为预防措施，Apify 撤销了一些 OAuth 连接并轮换了关键内部密钥，尽管被撤销的连接未被发现为攻击向量。修复工作正在进行中，有关部门已收到通知。用户应遵循邮件中的说明，如需要重新连接 GitHub 以使用私有仓库 Actor，并在提示时重新连接集成。下次更新预计在 6 小时内发布，随后将发布事后分析。

新加坡表示，美国在调查 Alice Huang 时提供了很少帮助；Alice Huang 是一起间谍阴谋的中心人物，该阴谋导致了对英伟达首席执行官 Jensen Huang 的调查。新加坡因与 Megaspeed 相关的涉嫌虚假申报，从 2025 年 6 月到 2 月扣留了 Huang 的护照，随后在发出严厉警告后释放她，并禁止其重新入境。此案引发了对特朗普政府回应的质疑，因为她的护照是在特朗普总统获知其涉嫌与中国情报部门有关联之后被扣留的。新加坡还说，尽管已向美国司法部和联邦调查局提出，Supermicro 在被问及 Megaspeed 时仍提供“有限的合作”。Supermicro 否认 Megaspeed 是其客户，并表示遵守出口管制。Huang 据报道淡化了自己的角色，新加坡因证据不足释放她，尽管 Megaspeed 仍在调查中。台湾据报道在 2024 年在美国指导下开始监控 Huang。

启用 JavaScript 和 cookies 以继续

作者追踪了一段托管 PostgreSQL 安全研究历程，从扩展利用到 PostgreSQL 核心类型混淆问题。他们解释 PostgreSQL 值通过类型元数据解释，准备好的复合类型值可能被篡改，使 PostgreSQL 在不同属性类型下重新解释存储字节。这导致内存损坏并可能执行代码。该问题作为复合类型问题大家族的一部分报告为 CVE-2026-6460，同时还有相关 CVE。作者与托管 PostgreSQL 提供商协调 PoC，并感谢 PostgreSQL 社区和安全团队。他们还描述了学习 PostgreSQL 内部机制、类型表示和内存泄漏原语，以及跨多个相关案例的变体分析。帖子以感谢和邀请演讲作结。