最新科技资讯 第23页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 23 页精选文章。
通用电动车刹车问题获联邦升级审查：关键不在一宗事故，而在失效边界
美国国家公路交通安全管理局正把通用电动车刹车投诉放进更深入的工程分析框架，2024款 Blazer EV 一名车主甚至称自己只能把车驶向混凝土路缘来减速。现有材料还不足以证明通用存在系统性设计缺陷，但监管层开始追问：此前针对电子制动控制模块的解释，是否覆盖了全部失效表现。
可执行文件变成SQLite数据库,却仍逃不出ELF
开发者Farid Zakaria做出原型SELF,把可执行文件本身存成SQLite数据库,可以直接用SQL查符号表和依赖。但公开基准显示它启动延迟比ELF高出数倍,复杂动态链接特性还没做全,连自己的加载器都得靠一个ELF程序才能跑起来。
欧盟包装新规逼退小创客，最痛的一条却已经在修
欧盟包装新规明年8月起全面适用，却仍保留27国分头注册、跨境找代理人的分裂执行模式，微型创客跨国卖货的固定合规成本可能反超销售额本身。欧盟委员会已提案暂停最沉重的跨境代表要求至2035年，但这份提案尚未生效，留出一段规则修补跟不上生效日期的空窗期。真正卡住小卖家的，是执行系统本身，不是环保责任这件事。
DHH拿800万美元做“主厨式计算”：Omarchy真正卖的是少做选择
DHH正把 Omarchy 从个人化的 Arch Linux 配置，推向一套有资金、有上游赞助、甚至可能延伸到硬件的“主厨式计算”方案。800万美元能改善 Hyprland 等项目的生存条件，但基金会治理、资助条款和技术控制权仍未完全公开。用户得到的是省心，代价则是把更多选择权交给少数维护者。
1000万美元基金，不等于已经花掉：Omacom Foundation首笔公开投向是谁
Omacom Foundation公开资金规模在3天内从800万美元升至1000万美元，但目前没有完整的分配表，也没有披露首位受益者Vaxry实际拿到多少。真正值得看的，不是数字涨得多快，而是一个Linux基金会能否把捐款变成透明、可持续的开发者收入与项目治理。
seL4机密性证明官宣完成，官方文档却仍是两套口径
Proofcraft宣布seL4微内核在AArch64架构上完成机密性形式化证明，拼齐了功能正确性、完整性、机密性三层安全证明链，但seL4官方文档在同一时间点出现“进行中”和“已完成”两种表述，且该证明明确不覆盖时序侧信道、DMA外设和TrustZone Secure world。对依赖seL4做安全合规声明的国防、汽车厂商而言，“证明完成”不等于系统绝对安全。
可执行文件变成数据库:SELF为何仍要靠ELF才能跑起来
开发者Farid Zakaria做出SELF项目,把ELF可执行文件拆进SQLite数据库的表结构里,靠自定义loader和binfmt_misc让内核能直接执行这种文件。但这不是真正的双格式文件,启动要多花几毫秒开销、丢掉内核级共享只读页,而且loader自身仍是传统ELF程序,SELF暂时没法自举替代ELF。
摩托罗拉折叠屏要等到2027年才能装GrapheneOS,而且比Pixel还贵
GrapheneOS基金会公布摩托罗拉支持路线图:2027年先上高端直板旗舰,随后才轮到Razr Fold和Razr Ultra,后者若达标将是全球首款官方跑GrapheneOS的翻盖手机。今年的摩托罗拉机型缺硬件内存标记和安全元件,连及格线都没到;入门机型还要看低端芯片能不能补上安全能力,以及摩托罗拉愿不愿意签七年软件支持。
这款离线OCR插件权限锁得很紧,版权提示却是空白
开源Chrome扩展ocr-it能离线OCR受保护的分页文档并导出给大模型使用,权限设计比多数同类扩展克制,但项目对版权合规只字未提,唯一承诺的反馈渠道GitHub issue还被系统限制无法创建。工程细致和治理空白同时出现在一个刚建仓三天的项目里,比OCR效果本身更值得琢磨。
31%的代码问题都在问JS:AI正在替你选技术栈
一篇开发者短文断言软件工程将收缩为“AI开发”一个方向,新语言新框架再难出头;Anthropic和GitHub的公开数据显示,这个直觉判断其实已经在发生。真正的问题不是程序员会不会失业,而是技术选型的决定权正在从工程师判断力滑向AI训练数据的历史快照。
Claude 99%可用性背后:一场把四个入口全部拖垂的认证故障
Anthropic状态页显示claude.ai在6-8月可用性均在99%以上,但拆开事故记录能看到十余起故障,其中8月16日的认证系统故障让claude.ai、API、Claude Code和Cowork同时瘫痪。官方几乎不公开根因,7月的官方数字与第三方推算数字也存在明显分歧,提醒依赖Claude构建生产系统的开发者:多入口不等于真冗余。
Paul Graham劝17岁别急着创业：先学会从零训练LLM，Yann LeCun加了个但书
Paul Graham建议17岁的自己别急着创业，先从零学会构建、训练LLM；Yann LeCun补充说，LLM能写文章却不会扫地，方向该往物理世界的学习和行动延伸；两人分歧不在该不该学AI，而在该赌哪层能力边界还有红利。
FDA清批阿尔茨海默血液检测，"超90%准确率"背后漏说了什么
FDA于2026年8月20日为WashU医学院技术孵化的C2N Diagnostics颁发PrecivityAD2血液检测上市许可，官方宣称准确率超90%，但清批版本公布的是随患病率剧烈波动的PPV/NPV，而非传统意义上的敏感度和特异度，检测也被明确限定为症状人群的辅助工具，不能用于筛查或独立诊断。
三个万兆口的承诺,实测只兑现三成:UniFi UNAS Pro 8的迁移真相
知名博主把Synology迁到UniFi UNAS Pro 8,一路撞上ADS流报错和Robocopy参数陷阱,表面看是命令行没调好。深挖协议层才发现,UNAS Pro 8至今未文档化支持SMB Multichannel,这才是吞吐忽高忽低的系统性根源,而不只是/Z或/MT没配对。
6GW算力承诺满天飞,交付日期却藏在角落里
2026年芯片圈密集抛出GW级、百万芯片级的算力合作公告，但多数是分阶段、有上限的承诺，首批部署普遍要到2026下半年甚至2027年才启动；NVIDIA与Groq那笔被称为“200亿收购”的交易，官方结构其实是技术授权加人才加盟，Groq仍在独立融资。真正决定这些投资能否兑现算力的，是训练、预填充与解码三个阶段截然不同的内存墙问题，而不是谁官宣的数字更大。
Anthropic最强模型遇冷：AI市场开始按账单投票
报道称，Anthropic能力最强的模型没有赢得相称的用户采用，价格更低的工具反而增长更快。现有线索没有交代用户、调用量或收入等统计口径，因此不能草率判定旗舰失败；更可信的变化是，企业正从追逐模型上限，转向计算每项任务的真实成本。
13小时,98句提示词:AI把他家五件外设全部「策反」
一位工程师用Claude Opus 5逆向了摄像头、显示器、麦克风、采集卡和补光灯五款外设,累计13小时、98条提示词就摸清了各自的固件漏洞。唯一做了签名验证的补光灯,恰恰是唯一被彻底攻破的一个,这才是这次实验真正值得警惕的地方。
一份 agent.md,把 AI 写代码的地板抬高了,天花板没动
Fabien Sanglard 用一份 agent.md 把反复念叨的编码规矩变成会话自动加载的清单,代码风格问题大减,审查精力转向架构设计。真正提升效率的是省掉重复提醒,不是模型自己学会写好代码,生成代码依旧要逐行核实。规则本身是他在 Rust/C++ 项目里磨出的个人偏好,换语言换团队要重新调,上下文一长还会被模型悄悄忘掉。
Google Workspace一条写死的正则,把乌克兰政府域名当成了邮箱服务商
一名用户注册Google Workspace时,域名被误判为“邮箱服务商”而无法注册,客服转了三轮都解决不了;他自己扒开前端源码才发现,罪魁祸首是一份写死多年的正则黑名单,连乌克兰经济部的政府域名都中招。这暴露的不是一个孤立小bug,而是大厂验证逻辑里的技术债和客服体系的认知断层。
Fable够强却太贵：AI编程团队开始自己做路由
Anthropic的Fable模型强到没话说，但贵到没法全用；工程师发现Opus、GPT-5.6、GLM这些'够用'的旧模型也能扛住大部分活，于是从'等新模型变便宜'转向自己搭建模型路由体系。这标志着AI编程领域'摩尔定律式免费升级'的假设正在失效。
Anthropic 旗舰卖不动？这组数据还撑不起结论
一则援引匿名信源的报道，把 Anthropic 的收入猛增和新旗舰支出占比偏低放在了一起。但模型只上线约一周，统计口径也有缺口，现在就断言“卖不动”太早。真正值得重视的是：企业采购 AI，已经从追逐最强模型转向计算单位任务成本。