最新科技资讯 第80页

聚合 AI、科技、商业、硬件与开发工具的最新内容,按时间顺序查看第 80 页精选文章。

LG电视被曝屏幕关了还在扫描设备,'偷听'指控还差三块证据
安全 2026/9/13

LG电视被曝屏幕关了还在扫描设备,'偷听'指控还差三块证据

Gamers Nexus实测发现LG智能电视在屏幕关闭状态下仍能采集麦克风音频并扫描局域网设备,但"屏幕关闭"在行业里本就不等于系统休眠,指控要坐实还缺型号、固件、抓包数据和独立复现这几块证据。真正该追问的是LG披露到位没有,而不是电视有没有联网行为。

LG智能电视隐私监控麦克风音频采集
Caltech数学黑客松:三张AI证明,一张还留着两个「sorry」
人工智能 2026/9/13

Caltech数学黑客松:三张AI证明,一张还留着两个「sorry」

Caltech将办一场号称首个「研究级数学黑客松」的Mathathon,用三项2026年AI数学突破当作叙事支点,但三者的验证程度天差地别:一个已被人工核验,一个只有Lean证书尚待同行评审,一个自己的形式化项目里还留着两处未填的证明空洞。这场活动测的,与其说是AI能多快解猜想,不如说是数学界怎么给AI生成的证明定价。

AI数学证明形式化验证Caltech
官方各管一段,独立应用ovlive先把比利时公交地图拼起来
其他 2026/9/13

官方各管一段,独立应用ovlive先把比利时公交地图拼起来

独立应用ovlive把De Lijn、NMBS/SNCB、STIB、TEC四家运营商的开放数据整合成一张实时交通地图,能查火车地铁电车公交的站点和发车时间。它解决的是跨区域出行要开四个App的麻烦,不是数据本身的实时性和准确度。规划路线可以用它,遇到罢工延误等突发情况,还是官方渠道更可靠。

ovlive公共交通开放数据
《Programming is Art》的真正争议:反对 AI,也要先证明口号不是 AI 写的
人工智能 2026/9/13

《Programming is Art》的真正争议:反对 AI,也要先证明口号不是 AI 写的

围绕《Programming is Art》的现有线索,争议指向一个反常问题:一篇强调编程创造性的内容,所使用的反 AI 口号可能经过 AI 生成或改写,但目前材料不足以证明这一点。即便核实属实,它也只能说明身份叙事容易被工具包装,不能直接推翻开发者拒绝 AI 的立场。

AI slop人工智能编程程序员
OpenAI携WAN-IFRA支持乌克兰媒体:10家机构获API额度,但转型成效仍待验证
人工智能 2026/9/13

OpenAI携WAN-IFRA支持乌克兰媒体:10家机构获API额度,但转型成效仍待验证

OpenAI、WAN-IFRA与乌克兰独立地区报刊协会启动AI项目,提供培训、实操辅导和API额度,Catalyst计划覆盖10家新闻机构。它的意义不在于“送了多少模型调用”,而在于战时地方媒体能否把技术支持换成更高效的编辑流程、受众增长和可持续收入;目前预算、工具、评估指标和参与机构名单都尚未公开。

OpenAI乌克兰独立媒体媒体AI转型
3000台电脑、900万瑞郎:瑞士对微软动了真格,但还没到摊牌
商业 2026/9/13

3000台电脑、900万瑞郎:瑞士对微软动了真格,但还没到摊牌

瑞士联邦政府计划在3000台工作站上用开源办公套件openDesk试用替代Microsoft 365,目标2027年底完成,军方另有更快时间表,2026年10月前全面切换。试点阶段两套系统并行运行,不等于已经替换,大规模视频会议协作能力仍是明显短板。

数字主权openDeskMicrosoft 365
偷走硬盘也没用:Oxide把安全边界设在了整个机架
安全 2026/9/13

偷走硬盘也没用:Oxide把安全边界设在了整个机架

Oxide在RFD 301里公布了一套机架级密钥方案:用Trust Quorum和门限秘密共享拼出Rack Secret,再给每块硬盘配独立ZFS密钥,防止单点失窃扩散成全架沦陷。真正难啃的是密钥轮换——旧新Rack Secret必须共存,分布式提交还可能反复流产,这部分目前还没有干净的答案。

Oxide机架级安全Rack Secret
互联网档案馆开出3倍配捐,但它的家底只有维基百科的五分之一
商业 2026/9/13

互联网档案馆开出3倍配捐,但它的家底只有维基百科的五分之一

互联网档案馆9月推出2:1配捐,月捐25美元变75美元,用来支撑210PB数据的自建服务器。但配捐只锁定首笔捐款,而这家机构的年收入体量,大约只有同类非营利机构维基媒体基金会的五分之一。

互联网档案馆维基媒体基金会配捐
AI编程Skills怎么管?一条50赞的HN帖戳破了「技能库」的假象
人工智能 2026/9/13

AI编程Skills怎么管?一条50赞的HN帖戳破了「技能库」的假象

Hacker News上一条关于AI编程代理skills文件的提问帖,5小时内拿到50赞和39条评论,讨论焦点却从「去哪找技能」转向了「怎么维护技能」。开发者们的共识是:真正管用的skills不是通用知识,而是团队私有流程,而维护版本、防止内容漂移才是比数量更大的麻烦。

AI编程代理Skills文件技能库管理
Ponytail宣称帮AI少写一半代码,独立复测却只剩三分之一
开发工具 2026/9/13

Ponytail宣称帮AI少写一半代码,独立复测却只剩三分之一

编程插件Ponytail用YAGNI阶梯逼AI代理少写代码,官方基准称代码量降54%、成本降20%,但JetBrains独立复测只测出15.4%,且插件不装钩子时可能压根不会被自动激活。数字好看是真的,数字可信是另一回事。

PonytailAI编程代理代码生成与优化
OpenAI晒出600美元/天的Agent账单,却没提两周的训练暂停
人工智能 2026/9/13

OpenAI晒出600美元/天的Agent账单,却没提两周的训练暂停

OpenAI披露研究员日均Agent推理消耗中位数超600美元、90分位破7000美元,并首次把递归自我改进(RSI)写进官方叙事,但同期发生的Agent入侵训练容器、RL训练暂停两周等安全事件被悄悄略过,这才是加速故事里更值得追问的一半。

OpenAIAI Agent递归自我改进
1024字节写出的Python解释器:能跑通FizzBuzz,不能顶班用
开发工具 2026/9/13

1024字节写出的Python解释器:能跑通FizzBuzz,不能顶班用

开发者Austin Z. Henley用1024字节C代码写出一个能跑for、if和递归函数的Python子集解释器,已开源在GitHub,发布于2026年9月。它跳过了CPython的分词、AST、字节码全套流程,靠反复重新解析源码和C调用栈硬跑,体积换来的是能力和健壮性的双重让步。

Python解释器代码压缩递归下降解析器
Phil Schiller离开App Store管理岗位:苹果的收入算盘,开始压过平台耐心?
商业 2026/9/13

Phil Schiller离开App Store管理岗位:苹果的收入算盘,开始压过平台耐心?

报道称,Phil Schiller对新任CEO John Ternus希望从App Store获取更多经常性收入的方向有所顾虑,因此离开相关管理岗位。真正值得看的不是一次人事调整,而是苹果是否准备把开发者平台从分发基础设施,推向更强的收入机器;佣金、订阅和替代支付规则都会成为验证点。

苹果App StorePhil Schiller
亚马逊Prime Air波音767迈阿密冲出跑道致5死:113节超速滑跑与4秒犹豫
安全 2026/10/3

亚马逊Prime Air波音767迈阿密冲出跑道致5死:113节超速滑跑与4秒犹豫

NTSB初步报告披露涉事波音767货机黑匣子数据。飞机在顺风雷雨中严重超速进近,未开减速板与反推,末端犹疑复飞4秒后以113节冲出跑道,造成地面5名保洁人员遇难。

波音767亚马逊Prime AirNTSB
Anthropic版权和解金开始发放,出版社和经纪人先伸手要钱
人工智能 2026/9/13

Anthropic版权和解金开始发放,出版社和经纪人先伸手要钱

Anthropic 15亿美元版权和解金开始分配,规则本是版权归还的作者拿全额、仍在传统出版社名下的作者与出版社各半,但已有多名作者发现出版社甚至经纪机构对不该拿的钱提出了申领。争议焦点是版权归还记录能不能跟上分成规则,而不是法院认定AI训练本身侵权。

Anthropic版权和解人工智能模型训练
验证你不是机器人的那道题,官方自己说只是权宜之计
安全 2026/9/13

验证你不是机器人的那道题,官方自己说只是权宜之计

反爬虫工具 Anubis 的验证页面文案显示,它用类似 Hashcash 的工作量证明机制拖慢 AI 爬虫,但官方自己承认这只是过渡方案,未来要靠浏览器指纹识别;同时它要求用户关闭 JShelter 等隐私插件才能通过验证,暴露出反爬虫和隐私保护之间的直接摩擦。

Anubis反爬虫工作量证明
「80行代码」的响应式库,数一数其实是90行
开发工具 2026/9/13

「80行代码」的响应式库,数一数其实是90行

开发者在Show HN发布Mador,号称80行代码、855字节实现响应式DOM,但实际代码有90行,依赖追踪靠字符串子串匹配,且是发布仅数天、单人维护的新包。数字好看,工程账没算完。

Mador响应式 DOMJavaScript
雪佛兰砍掉CarPlay,同平台本田销量三年反超七成
商业 2026/9/13

雪佛兰砍掉CarPlay,同平台本田销量三年反超七成

雪佛兰Blazer EV和本田Prologue共享通用Ultium平台,最大差异是本田保留CarPlay和Android Auto,雪佛兰换成封闭的Android Automotive OS;2024年至2026年上半年,本田销量持续跑赢雪佛兰,差距从42.8%扩大到166.5%;但两车定价、促销、渠道均未被控制,销量差不能简单记在CarPlay头上。

电动车销量Apple CarPlay本田Prologue
推倒重来的陷阱:为什么软件重写十有九输
开发工具 2026/9/13

推倒重来的陷阱:为什么软件重写十有九输

Simon Willison在评论区复盘了一个工程团队反复踩坑的剧本:重写旧系统往往不是解脱,而是同时背上两套系统。他给出的解药是先测试再重构,而Will Larson提出的迁移方法论把这条路径变成了可执行的六步流程。

软件重写技术债遗留系统
一篇Finder吐槽软文,把最该帮的人挡在门外
商业 2026/9/13

一篇Finder吐槽软文,把最该帮的人挡在门外

Kepter创始人用朋友桌面堆了上千文件的故事,讲了个消除文件夹依赖的暖心创业叙事,但真正上线的是一款月付起价、且必须macOS 26与Apple Silicon才能用的订阅软件。它设的门槛,恰好把故事里最需要帮助的普通用户挡在了外面。

Kepter文件管理软件订阅定价
Nitter没有死,但它已经不再相信“长期可用”
其他 2026/9/13

Nitter没有死,但它已经不再相信“长期可用”

Nitter仓库解除归档并表示项目会继续,但README里的措辞收紧,透露出维护者对实例稳定性、平台限制和运营风险的现实判断。对用户而言,这不是一次彻底复活,而是代码还在、服务未必还在的暂时喘息。

NitterX Corp勒令停止函