最新科技资讯 第142页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 142 页精选文章。
GIMP要砍掉27年的XCF格式,新功能却还锁在nightly里
GIMP在8月16日的开发博客里预告了一批3.4功能:新工程文件格式、非破坏性编辑扩展、光谱混色、PSD兼容性改进,信息量不小。但要先纠正一个容易被标题带偏的事实——这些功能只存在于尚未正式发布的开发版3.3.2里,普通用户手上能装的仍是即将更新的稳定版3.2.6。
一个挂钩,撑得起Peak Design新包的价签吗
Peak Design新出的City Line城市通勤系列靠内置BagLev挂钩把包悬空挂在桌沿椅背,减少落地沾污;斜挎款挂钩能转、双肩款挂钩不能转,同一系列体验并不统一;市面几美元的桌边挂钩能替代同类功能,想清楚自己是在为挂钩买单还是为整包买单。
免费开放的线代教材出第四版,官网自己的数字却对不上
《Linear Algebra Done Right》第四版已开放获取,英文、中文、波斯语电子版免费下载,新增QR分解、SVD、伪逆等内容弥补计算短板;但官网标注的430所高校采用与作者前言里375所以上的说法对不上,说明权威教材的官方材料也需要读者自己核实。
AGI-64让C64跑上Sierra游戏,但省略的那25%才是看点
独立开发者Mean Hamster Software公布AGI-64,一款让Commodore 64运行Sierra经典冒险游戏的解释器,目前《Space Quest 1》完成度约75%已可通关。真正值得琢磨的不是C64能不能跑AGI,而是它靠什么样的取舍绕开了Sierra当年放弃移植的理由。
Rhombus 1.1:把写宏的门槛,悄悄降了一级
Rhombus 1.1 发布,核心变化是用 annot、annot.def 让开发者不必直接写宏就能定义注解类型,同时调整了 class 继承绑定和作用域处理规则,并给 FFI、pict、slideshow 补了几处实用功能。真正的看点不是功能多少,而是 Racket 式"语言可定制"的能力,这次是不是真的往下发到了普通开发者手里,而不只是宏专家的特权。
为了分享一只骑车的鹈鹕,他把整套FFmpeg塞进了浏览器
Simon Willison给他的markdown-svg-renderer新增了浏览器端MP4导出功能,靠加载31MB的ffmpeg.wasm现场把SVG动画拆帧编码成视频。动画检测、时长估算、冻结帧到编码的完整管线,证明纯前端也能干服务器级的视频活,但代价是首次加载体积和串行编码效率。
Qwen 3.8 27B跑分吊打前代，默认设置却让人干等21分钟
阿里巴巴Qwen 3.8 27B在官方跑分上全面超越前代和同门闭源旗舰，但默认的最高推理强度会让模型对着一个简单请求空想二十多分钟。独立测试者认为这套默认值离谱，官方跑分本身也还没有第三方交叉验证。
OpenAI解散风险准备团队：安全职能还在，独立审查变弱了
据《金融时报》报道，OpenAI已撤销独立的风险准备团队，并把生物、网络等风险评估工作分配给现有业务团队。现有证据不能证明OpenAI放弃了安全工作，但集中审查被拆散后，谁能延缓模型发布、谁对跨领域风险负责，变得更难判断。
77分的'神作'?一张说唱专辑的评价分裂
The Verge把Open Mike Eagle与Kenny Segal的新专辑《DOOMED!》称为hip hop分手神作,但专业乐评平均分只有77/100,《卫报》甚至只给3/5,反倒是Reddit和粉丝圈的反应比乐评人热烈得多。'神作'更像是一句修辞判断,而不是圈内共识。
Stripe传斥资70亿美元收购OpenRouter：三个月估值跳涨逾五倍
彭博社报道Stripe已敲定超70亿美元收购AI模型网关OpenRouter，但双方均未确认交易细节。OpenRouter三个月前融资估值仅13亿美元，价格跳涨更像并购谈判溢价，不能直接当成营收暴涨的证据。它不掌握底层模型，一旦模型厂商直接对接大客户或调价，议价权就会被挤压，开发团队暂时不用迁移，但该检查合同条款和备份链路。
形式化验证翻红,50年前那份判决书该翻案吗
AI编程热潮带火了曾被视为学术花瓶的形式化验证,而这股热闹的起点,正好撞上一篇1979年就判它'必死'的经典论文。逐条对照下来,四条老论点里,AI只是真正动摇了其中一条半,离'验证已经赢了'还远。
Protobuf 终于有了官方 LSP,『第一』的说法要打个问号
Buf 于1月14日发布首个生产级 Protobuf LSP,内置于 Buf CLI,一条命令就能获得跳转定义、代码补全、语义高亮等能力,填补了 Protobuf 多年的 IDE 体验空白。但社区此前并非空白地带,range 格式化缺失、breaking change 未接入 LSP、import 路径被 buf.yaml 工作区锁死,这些限制才是团队真正要面对的采用成本。
幻觉率80%的陷阱:小模型到底有多不靠谱
GLM-5.2、Qwen3.5、DeepSeek V4-Flash用远低于GPT-4的激活参数刷出更高的AIME成绩,印证了实验室正用世界知识换推理能力的架构转向；但支撑这条叙事的具体数字——跨厂商AIME对比、小模型80%幻觕率、Gemini SimpleQA 53%——拆开核对后都有需要澄清的口径问题。方向大概率没错,数字被讲得比实际情况更耸动。
亚马逊悄悄改条款:仲裁回来了,集体诉讼被堵在门口
亚马逊在美国用户条款里重新加入强制仲裁和集体诉讼豁免,还新增了一道强制庭前协商程序,这是它此前因大规模仲裁反噬而撤掉这类条款后的一次回马枪。但集体诉讼豁免并不等于消费者就此告不了亚马逊,法院对通知是否充分、条款是否显失公平仍有审查空间。
十美分芯片买不到,才是RISC-V真正的分歧点
特立尼达工程师反驳Dmitry Grinberg对RISC-V的批评:编码缺陷可以认,但十美分芯片买不买得到、运费常在60到200美元这道门槛,比指令集优不优雅更现实。ARM靠产品线分层划出MMU边界,RISC-V靠规范里的可选项打通增量路径,但扩展碎片化和单一货源风险依然存在。
K奖不再发试验经费：NIH的质量改革，可能断掉临床研究的入口
NIH宣布自2027年7月起，K系列职业发展奖不再直接资助早中期研究者开展临床试验，理由是这类小规模研究缺乏统计效力。但已有数据显示，拿过临床试验K奖的人后来获得R01资助的比例，是非临床试验K奖获得者的两倍以上——这条被认为低质量的路径，可能恰恰是转化出独立临床科学家最有效的路径之一。NIH提出了两种替代方案，但截至意见征集期结束（2026年9月30日），尚未定案。
GPS帮你避免迷路,却可能正在拿走你认路的能力
《纽约客》记者Shayla Love借Katherine Dunn新书《Little Blue Dot》提出:GPS让人不再迷路,但持续依赖可能正在拿走主动认路的能力,这目前只是关联,还不是定论。GPS在夜间出行、残障导航、语言不通和应急定位上的收益是实打实的,问题不在要不要用,而在要不要留一点不靠导航的时间。对普通用户,建议是熟悉路线偶尔关语音提示;对地图产品来说,路线推荐一直只服务'最快到达',从没管过用户会不会认路。
3根控制棒同时落棒，圣卢西核电站“非紧急停堆”留下的疑问
佛州圣卢西核电站1号机组满功率运行时，3根控制棒同时落入堆芯，操作员手动停堆，NRC定性为非紧急事件。落棒方向是安全方向，但三根同落背后的共因故障可能性、以及至今未公开的根本原因，才是这起事件真正该盯的地方。
AI老板罕见认错：Amodei承认行业尚未兑现承诺，但信任数据给他出了道难题
Anthropic CEO Dario Amodei在X上公开承认，包括Anthropic在内的AI公司'尚未兑现造福世界的承诺'，并称营销无法挽回信任，真正有效的是'实际治愈癌症'。这是AI行业领袖罕见的自我批评，但他将公众不信任归因于对企业的普遍不满、与AI风险言论无关的论断，与Gallup和Pew的最新调查数据存在明显张力。
OpenAI说「没有截图」就更安全？这个逻辑值得拆一拆
OpenAI在ChatGPT macOS桌面版上线了「Computer History」功能，持续记录用户的点击、按键等操作事件，用于学习工作习惯和接续任务。官方以「不捕获截图」区别于Windows Recall，但本地明文存储、权限关闭不追溯删除、官方文档查无此功能等细节，让「更安全」的说法站不太稳。
8KB内存跑BBS:这台Casio计算器的'真',一半靠树莓派撑着
爱尔兰业余无线电爱好者EI3LH用一台1991年的Casio VX-4口袋电脑搭出了一个能telnet登录的BBS,但真正处理网络协议和TCP连接的其实是藏在背后的树莓派Zero W。这更接近一台老计算器套壳的软猫桥接,而非独立联网的原生BBS,源代码目前也还没有开源。