最新科技资讯 第190页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 190 页精选文章。
美国250岁了,却修不好自己的潜艇
IEEE Spectrum借美国建国250周年翻旧账:独立战争打赢靠家庭作坊、法国援助和几道英国立法逼出来的本土制造力,19世纪把这套能力写进关税和兵工厂制度。1976年前后金融化转向开始外包产能,今天的后果是海军造潜艇跟不上退役速度,普通人修台拖拉机也要看厂商脸色。
Elm 0.19.2发布：编译器补丁重启1.0信号，但受益范围有限
Elm发布0.19.2补丁，靠降低解析阶段内存分配换取编译提速，官方同时确认后续会以一连串小版本走向1.0；受益最明显的是500k行以上的大型代码库，小项目基本无感；Acadia项目的编译器经验会回流Elm，但equatable、hashable等新特性何时落地还没有时间表。
LeRobot v0.6.0：机器人还没学会，Hugging Face先想拿下评判权
Hugging Face 发布 LeRobot v0.6.0，把世界模型策略、奖励模型、九类模拟评测和部署纠错拼进一套能自动转动的机器人学习流程。真正的看点不是哪个策略更聪明，而是 Hugging Face 想把数据、训练、评测、部署都留在自己的轨道上。
搭讪被拒后,他把警用数据库变成了追踪器
佛罗里达一名警员在片场搭讪女性遭拒后,非法查询DMV数据库并把她的车牌加入AI车牌识别系统hotlist,以70迈时速多次违规超车追截拦停她。全程没有任何实时审计或预警,直到他险些造成车祸才被发现。
1.5亿美元融资,10亿估值:Even Realities的隐私牌还能打多久
深圳智能眼镜公司Even Realities完成1.5亿美元Pre-B轮融资,美团领投、腾讯跟投,估值达10亿美元。它靠“不装摄像头、只做显示”避开了Meta和Snap的正面竞争,但Meta刚推出的带显示屏眼镜说明,这条护城河可能只是巨头还没顾上补的窗口期。
Kyrall官网喊出秒级建模，DFM实际只覆盖三种工艺
慕尼黑初创公司Kyrall上线官网，主打文本/草图秒级生成可编辑参数化CAD模型，2025年6月已拿到Project A等机构的种子轮。但其DFM可制造性检查目前只覆盖三轴铣削和三种3D打印工艺，公开信息披露度也弱于同赛道的Zoo Text-to-CAD，官网'从概念到可制造模型'的承诺兑现程度有限。
算力吃掉工资2.3倍:Anthropic的账,大多数公司抄不起
Anthropic一年算力支出已是员工工资的2.3倍,市场中位数公司却几乎为零;有分析据此外推2029年行业会追上这个比例,但没算清一件事——Anthropic人均营收是中位数SaaS公司的56倍,成本结构追不上收入结构,曲线就是空中楼阁。
sqlite-utils 4.0 stable 延期：rc3 补上复合外键和大小写兼容
Simon Willison 原计划本周末发布 sqlite-utils 4.0 stable，结果先放出 rc3。复合外键支持和列名大小写不敏感匹配这两处底层改动会影响 table.foreign_keys 等已有 API 行为，必须在候选版里先处理干净。用 sqlite-utils 做建表、迁移、外键检查的开发者，升级前最好先检查相关代码。
25亿美元估值创纪录，人形机器人第一股为何CEO偏偏不画饼
Agility Robotics宣布通过SPAC与Churchill Capital Corp XI合并上市，估值约25亿美元，募资规模创人形机器人行业纪录，但CEO Peggy Johnson全程拒绝给财务指引、拒绝披露成本。放在Figure AI、Apptronik动辄数十亿美元估值的狂热背景里看，这份克制本身就是一种态度：先经得起SEC的审查，再谈估值故事。
Hugging Face给GPU内核上了锁,却先留了道没锁的门缝
Hugging Face于7月6日更新Kernels项目,新增kernel专属仓库类型、可信发布者白名单、基于Sigstore短期密钥的代码签名,但签名校验尚未在加载环节强制生效。这套机制是HF首次系统性回应GPU原生代码带来的供应链风险,但相比Triton、FlashAttention等成熟方案,Kernels生态本身仍在打基础阶段。
Castro创始人做了两年真人客服后,发现只有不到1%的邮件值得回
Castro的创始人曾相信亲自回复每封客服邮件能建立客户忠诚度,两年后他把邮件拆成五类逐一复盘,发现除了极少数疑难问题,认真诚实的回复大多让用户更不满。真正伤客户的不是不解决问题,而是花力气告诉他们你解决不了。
Codex要加"Ultra"模式，但OpenAI连名字都没说清楚
OpenAI相关账号称"Ultra将进入Codex"，但官方文档里Ultra只是GPT-5.6 Sol模型下依赖子代理的运行模式，并非独立产品，GPT-5.6全系目前仍是限量预览、API与Codex权限分开审批。一句推文暴露的是OpenAI渐进开放策略里的命名模糊地带，普通开发者短期内摸不到边。
浏览不到200次就算冷门?芝加哥艺术学院API里的隐藏判决
芝加哥艺术学院开放API里藏着一个布尔字段has_not_been_viewed_much,官方文档只说作品“没怎么被访问过”,真正的判定标准——2010年以来网站浏览不到200次——只出现在一份GitHub源码里,无法独立核实是否仍在生效。这个字段暴露的不只是数据考古的乐趣,更提出一个问题:当“被看见”只由点击量说了算,冷门标签本身可能变成压低作品曝光的自证装置。
π的前3000万位很"随机",却没人能证明这件事
一份骰子随机数文件和一份π的百万位小数,在所有统计检验下完全无法区分,但π可以用几行代码重建、骰子文件却一个字节都省不掉。这背后是熵和Kolmogorov复杂度的分歧,而更扎人的是:算法意义上的随机性,能证实,却永远证不了伪。
12亿加元砸向AI战略，加拿大政府却没写一张给本土供应商的采购单
加拿大新出台的国家AI战略自称要做本土产业的“锚定客户”，但国防部与Palantir的合同十年间从1444万加元涨到4440万加元的事实说明，政府早就是外国AI供应商的常客。真正的悖论不是暗箱操作，而是联邦采购的供应商名录门槛本身，让本土中小企业很难挤进这张早已对Palantir敞开的名单。
AI教孩子？富人先付了6.5万美元学费
Alpha School、Forge Prep等美国私校正用AI自适应软件替代部分课堂教学，学费从1万到6.5万美元不等，但其宣称的“成绩前1%”缺乏第三方验证。这更像一场富裕家庭出资、几乎无监督的教育实验，而非已验证的教学革命。
Uber叫停5国扩张,钱其实去了机器人出租车
Uber今年2月定下的欧洲7国扩张计划,5个被搁置,官方说法是要巩固芬兰、丹麦的成功势头。但同一时段,Uber在苏黎世、萨格勒布、慕尼黑密集官宣机器人出租车合作,还在推进对Delivery Hero、Getir、Blacklane的并购——这更像一次资本转向,而非欧洲战略收缩。
花约17000英镑读的Coursera本科,连专业认证都没有
一位有21年从业经验、从未上过大学的澳大利亚工程师,用3年9个月业余时间读完Coursera上University of London颁发的计算机科学学士学位,顺利毕业。但官方文件写明这张学位目前没有额外专业认证,且Reddit上多位同学抱怨项目管理混乱,这两点原文都没提。
开源游戏平台Homegames：官网说做了8年，年份却对不上
开发者在Show HN发布免费开源游戏平台Homegames，主打浏览器内建代码编辑器、实时多人预览和可自托管的GPLv3代码，号称独立开发8年。翻查作者历年留下的HN评论和第三方帖子会发现，官网所称的2018年起点站不住脚，但项目本身有真实代码和自托管文档支撑，并非纯情怀包装。
开源打印机众筹开跑：OpenPrinter赌的不是墨水，是主板
法国团队OpenTools把打印机OpenPrinter搬上Crowdsupply众筹，主打可加墨、可拆修、跨平台。它真正的差异化不在墨水，而在用树莓派Zero W加STM32把整机做成标准件；但价格、发布日期和所谓开源文件目前均无第三方证实。
近百万人在特朗普币上亏38亿美元，他自己赚走6.36亿
链上分析显示，$TRUMP memecoin近百万买家中三分之二累计亏损38亿美元，同期特朗普本人从代币相关收入中入账6.36亿美元。这不是一次简单的投机失败，而是发行方旱涝保收、散户接盘的结构性局面，SEC内部对meme币是否该监管仍在打架。