1. 因ChatGPT误传功能而被迫开发新特性；
2. 水星：基于扩散的超高速语言模型；
3. BBC员工控诉：被迫为以色列政府做公关；
4. 法官裁定：Anthropic公司销毁数百万旧书并下载700万盗版书籍；
5. 用o3分析我的Pocket收藏链接，竟能精准描绘个人画像；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 因ChatGPT误传功能而被迫开发新特性

🔗 holovaty.com: Adding a feature because ChatGPT incorrectly thinks it exists

Adrian Holovaty发现，其公司Soundslice的乐谱扫描系统错误日志中频繁出现ChatGPT对话截图，而非预期的乐谱图像。调查发现，ChatGPT错误宣称用户可通过Soundslice将ASCII吉他谱转换为音频，而该功能实际并不存在。

面对大量因误导而来的用户，团队最终决定开发ASCII谱导入功能以满足需求，尽管这源于AI的虚假信息。Holovaty对此矛盾重重：既帮助了用户，又担忧企业因AI误导向而被动调整产品。此事件或为首例“因AI谎言被迫开发功能”的案例。

2. 水星：基于扩散的超高速语言模型

🔗 arxiv.org: Mercury: Ultra-fast language models based on diffusion

这篇论文介绍了Mercury，一种基于扩散技术的新一代商业级大语言模型（LLM），采用Transformer架构，能够并行预测多个token。研究团队重点展示了专为代码应用设计的Mercury Coder系列模型，包含Mini和Small两种规模。在NVIDIA H100 GPU上，两款模型分别达到1109 tokens/sec和737 tokens/sec的吞吐量，速度较前沿优化模型提升高达10倍，同时保持质量相当。模型在多项代码基准测试中表现优异，并在Copilot Arena的开发者实测中位列质量第二，且为当前最快模型。论文还提供了公开API和免费体验平台链接。

3. BBC员工控诉：被迫为以色列政府做公关

🔗 theguardian.com: Open letter accuses BBC board member of having a conflict of interest on Gaza

超过100名BBC记者联名致信总裁蒂姆·戴维，指控BBC在巴以冲突报道中沦为以色列政府的传声筒。匿名信指出，BBC多次以“政治原因”压制批评以色列的内容，例如拒绝播出纪录片《加沙：战火下的医护人员》，并批评编委会成员罗比·吉布（与保守党及亲以媒体《犹太纪事报》关系密切）干预编辑决策，导致报道严重偏离公正性原则。

信中强调，BBC对巴勒斯坦人的苦难轻描淡写，却对以色列立场过度维护，甚至忽略英国政府对战争的参与。联署者包括300多名媒体从业者，要求BBC回归“无畏无偏”的新闻准则。内部员工透露，管理层长期“煤气灯操纵”记者，压制不同声音。这一事件被揭露为西方媒体系统性偏袒以色列的缩影。

4. 法官裁定：Anthropic公司销毁数百万旧书并下载700万盗版书籍

🔗 businessinsider.com: Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

Business Insider报道称，人工智能公司Anthropic被指控大规模销毁数百万本二手书籍用于训练其AI模型，同时从盗版网站下载了超过700万本电子书。法官在审理案件时指出，这些行为可能涉及版权侵权问题。该事件引发了对AI企业数据来源合法性的广泛讨论，尤其关注其如何平衡技术发展与知识产权保护之间的冲突。

5. 用o3分析我的Pocket收藏链接，竟能精准描绘个人画像

🔗 noperator.dev: I used o3 to profile myself from my saved Pocket links

作者在Pocket关闭前迁移了近900篇七年间的收藏文章，利用xsv工具快速分析数据后，尝试用o3大模型基于这些链接进行个人画像推断。结果显示，模型通过技术文章、家庭育儿、天主教等内容，准确推测出作者是30-40岁男性，居住在弗吉尼亚沿海，担任高级软件工程师，年薪超15万美元，已婚并有3-4个年幼孩子，同时分析出其学习风格、风险偏好甚至季节性兴趣变化。作者惊讶于模型仅通过链接就能还原如此多细节，认为这揭示了公开AI技术已具备强大的个人数据解析能力。文末提到已迁移至Wallabag和FreshRSS，并肯定了自托管工具的易用性提升。

6. 数学家意外突破高维球体堆积难题

🔗 quantamagazine.org: New sphere-packing record stems from an unexpected source

几何学中经典的球体堆积问题研究如何在高维空间中最紧密地排列球体，这一难题困扰了数学家数百年。2025年，以色列魏茨曼研究所的博阿兹·克拉塔格通过创新方法大幅提升了高维球体堆积密度记录。他复活了1947年数学家克劳德·罗杰斯提出的椭球体转换法，并利用凸几何学的随机生长技术优化椭球体形状，最终在任意高维空间中实现了比传统方法高d倍的堆积密度（d为维度数）。

克拉塔格的成果不仅打破了该领域长期停滞的局面，还重新引发了关于最优堆积结构的争论：有序晶格是否比无序排列更高效？部分学者认为其结果已接近理论极限，可能为密码学和通信技术提供新思路。这一突破也凸显了跨学科思维的威力——克拉塔格作为凸几何专家，仅用数月时间便解决了主流研究者数十年未解的难题。

7. Lean 4.22：首个可验证命令式程序的突破

🔗 markushimmel.de: My first verified imperative program

Lean 4.22即将推出的新功能中，最引人注目的是命令式程序验证框架的预览。本文通过一个简单示例——检测列表中是否存在两数之和为零的整数对——展示了这一功能。传统上，验证命令式程序较为困难，但Lean的新工具Std.Do基于霍尔逻辑（Hoare triples），使得验证变得可行。作者演示了如何通过mvcgen生成验证条件，并利用grind自动化工具快速完成证明。与Dafny等依赖SMT求解器的工具不同，Lean的交互式设计和小型可信内核使其在验证复杂程序时更具灵活性和可靠性。此外，Lean的丰富数学库（如mathlib）为实际应用提供了强大支持。这一进展标志着Lean在程序验证领域的重大突破。

8. Linux版CPU-Z：CPU-X工具简介

🔗 thetumultuousunicornofdarkness.github.io: CPU-X: CPU-Z for Linux

CPU-X是一款免费开源的系统信息检测工具，专为GNU/Linux和FreeBSD设计，功能类似Windows平台的CPU-Z。它支持图形化界面（GTK）和文本模式（NCurses），并提供命令行数据导出功能。可全面监测处理器、主板、内存、显卡等硬件信息，同时包含性能数据模块。用户可通过官网下载最新版本，详细安装指南及截图可查阅项目Wiki页面。

9. Deno 2.4 发布：重磅功能回归与多项改进

🔗 deno.com: Deno 2.4

Deno 2.4 正式发布，deno bundle 功能重新回归，支持通过 JavaScript 或 TypeScript 生成单文件打包，并集成 esbuild 实现自动摇树优化与压缩。新增 文本与二进制文件导入 功能，允许直接通过 import 语句嵌入非代码资源（如 Markdown、图片等），简化开发流程。

其他亮点包括：内置 OpenTelemetry 稳定化，提供开箱即用的日志、指标与链路追踪支持；新增 --preload 标志，允许在脚本执行前预加载代码；deno update 命令简化依赖管理；--coverage 支持覆盖率收集。此外，权限系统增强，支持子域名通配符和 CIDR 范围控制，并引入 DENO_COMPAT=1 环境变量优化 Node.js 兼容性。

此次更新进一步强化了 Deno 在现代化 JavaScript/TypeScript 开发中的工具链能力，兼顾性能与开发者体验。

10. 美国司法部威胁开发反ICE应用的公民

🔗 appleinsider.com: DOJ goes after US citizen for developing anti-ICE app

一款名为ICEBlock的免费iOS应用允许用户报告移民海关执法局（ICE）官员的行踪，帮助当地居民避开相关区域。此举引发特朗普政府强烈反应，美国司法部长公开威胁开发者，称“正在调查他”，但无法律依据。开发者Joshua Aaron强调应用旨在“提供信息，而非妨碍执法”，并批评政府打压言论自由。

同时，国土安全部威胁起诉CNN，指控其报道该应用“鼓励逃避执法”，但CNN反驳称报道受宪法保护。白宫声称应用“危及ICE官员安全”，并夸大针对ICE的暴力事件，却未提供证据。洛杉矶市长质疑ICE行动偏离初衷，从追捕罪犯转向针对普通劳动者。

（注：原文日期为虚构的2025年，此处保留时间表述）

11. 你应该运营一个证书透明度日志

🔗 words.filippo.io: Running a Certificate Transparency log

证书透明度（Certificate Transparency，简称CT）是保障网络安全的关键技术，能监督证书颁发机构（CA）并防止未经授权的证书签发。如今，运行CT日志的成本大幅降低，得益于新的Static CT API和开源工具Sunlight，使得日志可通过静态文件（如S3存储）轻松部署。

运营CT日志只需一台服务器、3-5TB存储（SSD或S3）及2-3Gbps带宽，且允许99%的可用性。虽然需至少两人维护并遵守谷歌等政策，但对提升全球网络安全意义重大。

若感兴趣，可通过Sunlight快速入门，并加入社区讨论。运营CT日志不仅是技术贡献，还能让你的公钥出现在数十亿设备中！

12. 波兰清洁能源使用量首次超越煤炭

🔗 ft.com: Poland’s clean energy usage overtakes coal for first time

波兰的清洁能源消耗量首次超过煤炭，标志着该国能源结构的重要转折。这一里程碑事件突显了波兰在减少对化石燃料依赖方面取得的进展。尽管文章大部分内容为订阅提示，但核心信息清晰：波兰正加速向可再生能源转型，这对全球气候目标和区域能源政策具有积极意义。

13. 探索时代：AI进步的下一个前沿

🔗 yidingjiang.github.io: The era of exploration

当前大型语言模型（LLM）依赖海量高质量文本数据，但这类资源正以惊人速度消耗，可能在未来十年内枯竭。探索将成为AI发展的核心：模型需主动获取有益经验，而非仅依赖人类生成的数据。

预训练本质是探索：通过消耗巨大算力（以flops为抽象单位），模型学习丰富的采样分布，为后续强化学习（RL）奠定基础。小模型通过蒸馏继承大模型的探索能力，印证了这一观点。

探索对泛化能力至关重要。RL中，多样化的轨迹采样能避免过拟合，而当前LLM的探索方式（如调整温度参数）仍显粗糙。未来需平衡世界采样（选择学习环境）与路径采样（优化数据收集策略），以最大化信息获取效率。这一思路与Chinchilla缩放定律异曲同工，但聚焦于探索资源的分配。

14. 戴森：技术至上的设计与社交消费

🔗 2earth.github.io: Dyson, techno-centric design and social consumption

本文探讨了戴森品牌以技术为核心的设计理念及其对用户体验和社会消费的影响。作者指出，戴森的产品（如吸尘器、干手器和洗衣机）往往因过度强调技术创新而牺牲了实用性和人体工学，例如干手器噪音大、吸尘器握持不舒适。此外，戴森通过营销塑造了“技术优越”的品牌形象，使其产品成为身份象征，而非单纯的功能工具。

文章还批判了“明星设计师”神话，认为这种叙事掩盖了团队协作的价值，并可能导致设计走向浮夸。最终，作者质疑戴森能否在技术红利消退后，继续依靠高溢价策略维持市场地位。

15. 开源音画交互式音序器：ossia score

🔗 github.com: Show HN: Ossia score – A sequencer for audio-visual artists

ossia score 是一款面向音画艺术家的开源交互式音序器，支持编排OSC、MIDI、DMX、音频、视频等多种媒体，并实现跨软硬件协同。其核心功能包括：通过JavaScript、ISF着色器、Faust等语言实时编码，兼容物联网协议（如CoAP/MQTT），集成Wiimote、LeapMotion等外设，并支持CSV/HDF5数据声像化。

该工具跨平台运行（桌面/移动/网页/树莓派等），提供Spout、NDI等视觉处理接口，支持多种创意编程语言（如Structure Synth）。用户可下载Windows/Linux/macOS版本，或参与贡献代码（标注了TODO/FIXME等易修复项）。项目采用Qt开发，社区活跃，提供论坛和Discord支持。

关键优势：免费开源、多协议兼容、强扩展性（可开发插件）。

16. xAI数据中心获准运行15台涡轮机，但现场实际有24台

🔗 arstechnica.com: XAI data center gets air permit to run 15 turbines, but imaging shows 24 on site

经过数月对污染问题的争议，xAI终于获得了田纳西州孟菲斯市Colossus超级计算机数据中心部分甲烷燃气涡轮机的空气排放许可。该许可允许运行15台涡轮机，但热成像显示现场实际有24台。居民指责xAI长期违规运行未安装最佳控制技术（BACT）的涡轮机，导致附近以黑人为主的社区面临哮喘、癌症等健康风险。尽管许可要求xAI提交排放记录并限制运行时间，但批评者认为监管部门忽视了过去一年的违规行为，且未覆盖全部涡轮机。环保组织表示将继续监督，并质疑xAI计划新建的另一座数据中心的透明度。

17. 《LookingGlass：基于拉普拉斯金字塔扭曲的生成式变形艺术》

🔗 studios.disneyresearch.com: LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping

该研究提出了一种创新方法，通过潜在校正流模型和拉普拉斯金字塔扭曲技术生成变形图像（anamorphosis）。传统变形图像需借助镜面或特定视角才能识别，而本文方法生成的图像在直接观看时仍保留有效视觉信息。团队将视觉字谜（Visual Anagrams）拓展至潜在空间模型，支持更广泛的空间变换，从而创造出新型生成式视错觉效果。关键技术在于频率感知的图像扭曲，确保高质量视觉效果。论文由迪士尼与苏黎世联邦理工学院联合团队完成，发表于CVPR 2025。

18. 在古董Mac中寻找时代共鸣

🔗 blog.decryption.net.au: Trying to find meaning in owning an old Mac

作者通过父亲对经典汽车的热爱，类比自己对老式Mac电脑的情怀。父亲年轻时收藏修复福特XY Falcon和庞蒂克Bonneville，这些车承载了他的青春记忆；如今作者购入一台1989年的Macintosh SE/30，虽无童年关联，却借此探索塑造现代计算机的根源，如同追溯音乐品味的灵感脉络。

他意识到，两代人都在中年时回归各自时代的标志性技术——汽车代表父辈的变革，而计算机则是千禧一代的象征。这台Mac将像父亲的经典车一样，大部分时间陈列展示，偶尔启动怀旧，成为对技术演进中逝去之物的纪念。文末流露出久违的科技热情，呼应父亲当年对汽车的痴迷。

19. 中国正成为全球知名品牌的重要孵化地

🔗 musgrave.substack.com: China is increasingly a home to major brands

本文通过作者购买华为手表的经历，探讨了中国品牌在全球市场的崛起。文章指出，华为等中国企业凭借高性价比和优质产品，正逐步赢得国际市场，而美国却因政策限制与全球趋势脱节。作者强调，中国品牌的成功不仅是国家支持的结果，更是市场需求的自然选择。例如，奇瑞汽车在中东的畅销，反映了中国品牌在海外市场的竞争力。

文章批评了美国政策制定者的短视，认为他们将中国视为安全威胁，却忽视了其商业实力的真实增长。作者指出，中国品牌的全球影响力正在重塑消费市场，而美国却因内部分歧和认知滞后难以应对这一挑战。

20. 我将从个人电脑中卸载AI编程助手

🔗 sam.sutch.net: I am uninstalling AI coding assistants from my personal computer

作者在过去五个月几乎完全依赖AI编程助手开发社交应用Roam，初期享受其高效产出（如“ vibe coding”般上瘾），但逐渐感到空虚。他意识到自己数周未亲手写代码，仅通过AI生成和修改代码，这背离了他将编程视为艺术表达和人格核心价值的初衷（如好奇心、 craftsmanship）。尽管承认AI工具在职场无法回避，但决定在个人项目中回归传统手工编码，以重获创作的真实快乐。

关键反思：AI的高效剥夺了创作的参与感，类似艺术家使用AI工具后的空虚。职业场景需适应技术变革，但个人创作需保留“从大脑到编译器”的完整过程。

21. Prusa Core One 3D打印机调校指南

🔗 arachnoid.com: Tuning the Prusa Core One

本文详细介绍了如何调校Prusa Core One 3D打印机，重点涵盖打印床水平校准、Core XY轴正交对齐和皮带张力调节三大核心步骤。

首先，通过手动旋转三根垂直螺杆，确保打印床在断电状态下完全水平，避免打印时因Z轴偏差导致的组件磨损。其次，通过物理调整X轴托架与Y轴导轨的间隙，确保XY轴严格垂直（90°），解决打印模型倾斜问题。最后，使用频率测量工具（如手机应用）将两侧皮带张力调至85Hz，保证打印头移动精度。

文中强调，皮带张力是影响打印质量的关键因素，需独立于其他调整进行。同时提供了Prusa官方资源链接，方便用户下载备用零件。适合已组装Prusa Core One并希望进一步提升性能的用户参考。

22. 美国移民局利用边境人脸识别技术监控抗议者与活动人士

🔗 techdirt.com: ICE Using Border Facial Recognition Tech to ID Protesters and Activists in US

据报道，美国移民和海关执法局（ICE）正通过边境人脸识别技术追踪国内抗议者和活动人士。该技术原用于边境安全，现被扩大应用于监控示威活动，引发隐私权争议。为应对此类监控，部分人群开始使用反人脸识别化妆品和配件来干扰系统识别。这一做法凸显了技术滥用与公民自由之间的紧张关系，同时促使公众探索自我保护措施。

23. Tyr：面向CSF架构ARM Mali GPU的全新Rust DRM驱动

🔗 collabora.com: Tyr, a new Rust DRM driver targeting CSF-based ARM Mali GPUs

Collabora公司正式发布了Tyr，这是一款基于Rust语言开发的DRM驱动，专为采用CSF架构的ARM Mali GPU设计。作为首个加入Rust-for-Linux计划的咨询公司，Collabora联合Arm与谷歌，将成熟的C语言驱动Panthor移植为Rust版本，旨在未来兼容Panthor的用户空间API，成为其替代方案。

当前提交的上游版本支持在RK3588芯片上启动GPU并读取ROM信息，但需等待微控制器单元（MCU）等核心组件完善才能实现完整功能。团队计划通过系列博客详解开发细节，并采用分阶段提交策略，确保与上游生态同步演进。

这一举措不仅验证了Rust在Linux内核驱动中的可行性，也为开源社区提供了实际用例，推动相关抽象层的开发与评审。

24. SUS语言：专为硬件设计打造的高效HDL

🔗 sus-lang.org: SUS Lang: The SUS Hardware Description Language

SUS硬件描述语言（HDL）以直观简洁的语法区别于Verilog和VHDL，专注于同步逻辑设计，强调直接映射到网表而非抽象复杂性。其核心优势包括：延迟计数简化时序分析、元编程支持动态生成LUT，以及通过接口实现流水线隔离。SUS不强制协议范式，但要求设计基于时钟同步，因此不适用于异步电路开发。

主要特性涵盖生成式变量类型、无干扰的流水线构造，以及IDE内实时错误提示。未来计划增加多时钟模块、形式化验证等支持，但明确不提供自动流水线或握手协议抽象。适合追求精细控制硬件实现的开发者，学习资源与社区平台已开放。

25. Applite：一款为Homebrew打造的macOS原生GUI工具

🔗 aerolite.dev: Applite – A macOS native GUI for homebrew

Applite是一款专为非技术用户设计的免费开源工具，通过简洁直观的界面实现一键下载、更新和卸载macOS应用。其底层依赖Homebrew包管理器，支持访问Homebrew目录中的所有应用，并通过搜索功能快速查找。

安全性方面，Applite依赖macOS内置的Gatekeeper和XProtect进行恶意软件扫描，且多数Homebrew应用已通过公证。但需注意，应用可能未沙盒化，存在系统级权限风险，尤其是小众软件。Applite本身不追踪任何用户数据，支持与现有Homebrew环境兼容，或创建独立安装路径（~/Library/Application Support/Applite/homebrew）。

用户可通过DMG或Homebrew命令（brew install --cask applite）安装，适用于macOS 13及以上系统。开发者提供GitHub、邮件和Discord等支持渠道，并欢迎捐赠。