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

Wirth的1992年操作系统搬进RISC-V,但只搬进了模拟器
独立开发者rochus-keller把Niklaus Wirth 1992年的极简操作系统Project Oberon迁移到RISC-V架构,用身经五代平台的OP2编译器完成移植,系统已能在模拟VM上原生运行。但这波"老系统搭上新架构"的叙事目前只完成了一半——真正的目标硬件Olimex ESP32-P4还停在路线图上。

Claude写的网站,复现了一个已修复的bug
独立开发者Terry Godier用Claude一次性生成了天文观测网站Dark Hours,一天后被原开源项目DarkHours.app作者Miguel Beher指出撞脸,关键证据是他的版本复现了对方早已修复的一个定位bug。Godier一小时内道歉、重定向域名、放弃iOS版,但AI是如何'看到'一个已经消失的bug,至今没有答案。

喷发量千倍于皮纳图博,降温却只有半度:多巴火山的“灭绝叙事”被一片湖泥拆穿
美因茨古腾堡大学团队在东非Chala湖的年纹层湖泥里,找到了7.4万年前多巴超级火山喷发的年际气候记录:降温约0.5°C,持续不到两年,远低于“火山冬天几乎灭绝人类”的传统假说预期。这项研究真正打破的不是一个数字,而是一种长期被模型外推放大的灾难叙事——喷发规模和气候后果之间,隔着一个此前很少被科普提及的物理天花板。

Dropbox是攒机好搭档?它救得回文件,救不回系统
The Verge一篇文章把Dropbox捧成攒机换电脑的最佳搭档,但正文几乎没给出任何操作细节。核对官方文档后发现,Dropbox Backup只恢复文件本身,不还原应用、驱动和系统设置,换机前还有几个容易翻车的坑需要提前排掉。

空置率0.9%的国王十字:伦敦AI热潮里,哪些数字真的是它的
伦敦国王十字从红灯区变身AI集群,写字楼空置率仅0.9%、租金三年涨18%,但报道里常被引用的3600家初创、121亿美元融资等数字其实属于整个伦敦,而非这一条街。国王十字的真正底牌,是二十年城市更新叠加知识经济战略,而不只是DeepMind一家公司的磁石效应。

1998年最强芯片诞生,它的头号对手却从未跑过分
1998年,DEC的21264实测跑分全面超越同期所有上市芯片,却拿一个连测试成绩都没有的Merced做对比对象,喊出'届时必将领先'。这场性能对决里,真正被验证的是21264的实力,没被验证的是DEC的预言,而整个RISC阵营那年都在悄悄转向x86。

43%美国教师用AI检测器判作业,报告定不了作弊
美国43%的六至十二年级教师已在用AI检测器判断学生作业是否由机器写成,但这类工具靠模型猜测而非数据库比对,判断依据通常不公开。传统查重能逐句展示重合内容,AI检测做不到,却越来越多被当成处分依据。真正的风险不是工具本身,而是学校把一个概率信号,当成了能定性的证据。

reMarkable复活记背后:官方从没承认过的那扇SSH门在关上
一台闲置四年的reMarkable 2靠SSH改时钟、两次刷机才唤醒,云同步却始终没修好,最后靠本地USB上传文件收场。真正的隐患是:这条救命路径官方从未承认,而从3.22版本起WiFi上的SSH已被静默关闭。

从9阶纪录到任意 n>3 阶:AI辅助找到幻方六边形构造,证明仍待复核
开发者 Sergey Gukov 称,他借助 GPT-5.6 Sol 和自定义求解器,为任意 n>3 阶异常反对称连续幻方六边形找到了构造方法,并公开代码与候选证明。真正有分量的进展是把计算搜索收束为一般构造,但证明尚未经过 Lean 形式化或独立复核,目前不能当作已确认的数学定理。

42星背后:Word 1.1a的x64复活,离'原生'还差几步
GitHub用户jmarshall23把1990年前后的Word for Windows 1.1a源码移植成原生x64程序,声称保留原始体验而非模拟或重写。但项目测试只覆盖打字、格式化、保存这类表层操作,指针安全、文件兼容、许可证归属这三处才是真正决定它靠不靠谱的地方。

1000美元赌自己网址会不会消失,11年后结果反倒成谜
2011年,Long Bets网站上有一场赌局:赌自己的网址11年后还能不能打开,赌金1000美元。到了2022年该揭晓结果时,Long Bets网站本身已经不太稳定,查证只能靠Internet Archive存档,而谁赢了这1000美元至今没有公开记录能确认。

一本电话簿能定位一个逃亡战犯吗
BBC记者在阿萨德情报头目侯赛姆·卢卡的大马士革豪宅里找到一本电话簿,据此追出俄罗斯号码并疑似完成通话,但整条证据链缺乏独立佐证。制裁清单上的名字和法庭判决书之间,隔着一条至今没人跨过的沟。

查无此人:66183行手写汇编,复刻了1984年苹果没做到的事
os8088是一个为IBM PC XT打造的仿1984 Mac风格桌面系统,66183行纯手写汇编,官网数据显示五个程序同时运行只占70%的CPU;但抢占式多任务在8086机器上早有先例,而这个项目本身在全网找不到第三方验证或代码仓库,这套漂亮数字目前只能算一家之言。

Shopify放弃Redis改用MySQL扛库存,但黑五510万美元/分钟不是它的功劳
Shopify把结账库存预留系统从Redis迁移到MySQL 8,用SKIP LOCKED和有界行池解决了跨系统原子性缺口;但黑五每分钟510万美元销售额是全站GMV,不是预留系统本身的吞吐量,这个混淆容易被读成系统性能背书,而外部至今也没人验证过这套架构。

能效跑分反超苹果,这台Dell赢的只是一场考试
Jeff Geerling测出Dell XPS 13(Core 5 320)在Linpack跑分里能效比反超MacBook Neo,甚至压过M3/M4 Mac Studio。但这颗芯片未必是Intel官宣18A红利的主角,独立评测里苹果和高通在综合能效上仍占优——这更像一场单科考试的胜利,不是架构级反超。

闲置手机能当服务器,但账没你想的那么划算
一部闲置的CMF Phone 1被改造成服务器,替下了原本的付费VPS,过程里手机一度被刷到几乎变砖。跑分显示这台手机的多核算力只有对照VPS的三分之一,而为了追上Surf浏览器的速度,作者选择root手机、放弃容器级隔离,长期满电插电运行也带来电池风险。省钱听起来漂亮,但账目里最关键的两个数字——电费和原VPS月租——始终没有出现。

Claude Code默认开启auto mode:89%拦截率背后,谁验证过这组数字?
Anthropic宣布8月14日起把auto mode设为Claude Code Pro、Max、Team计划的默认安全机制,官方数据称其拦截危险指令的能力远超人类审核,且在720次提示注入测试中零失败。但这些关键数字目前无法在公开渠道独立核实,而auto mode本质上是模型自己判断风险,不是系统级隔离,这决定了它的安全边界天生比对手的沙箱方案更软。

日食地图EclipseFan自称开源,却查不到代码仓库
一个名为EclipseFan的交互式地图整合了2026年8月12日日全食的多图层数据,但检索找不到它的代码仓库和许可证,其“开源”标签目前无法核实;同一天里,格陵兰努克在全食带外只能看偏食,西班牙则要在日落前抢一分多钟的全食,边界精度比图层特效重要得多。

两周两只河狸咬人,双双确诊狂犬病
马里兰Cunningham Falls州立公园两周内接连发生两起河狸咬人事件,肇事河狸均确诊狂犬病阳性,公园大面积封闭涉水区域。比新闻本身更值得注意的是:除了DNR和卫生部门的联合通稿,目前找不到任何独立信源,读者只能靠官方一家之言判断这是个案还是局部疫情。

X又要给创作者变现改名,可官方文档还没跟上
X宣布9月8日起用Original Content Rewards取代运行多年的创作者收入分成计划,但X官方帮助页面目前仍只登记着旧项目名和不同的门槛数字。两套说法对不上,说明这次改名很可能不是简单换招牌,而是叠加了一层还没写清楚的新规则。

亚马逊得州电厂号称全美最大污染源,这个3300万吨可能是笔糊涂账
亚马逊为得州佩科斯数据中心配套的自备燃气电厂,获批排放上限被曝为每年3300万吨二氧化碳,若属实将超过美国现有任何电厂。但这更可能是许可证上的理论满负荷上限,而非实际运营排放,真实数字大概率低一个数量级——这不代表问题不存在,只是问题不在标题里。