1. 干掉Cookie弹窗；
2. htmx 4.0：首款登陆Game Boy的JavaScript库游戏；
3. Ruff v0.16.0 重磅发布：默认规则暴增至 413 条，Markdown 格式化与全新抑制注释齐亮相；
4. 三天内第三架无人机在罗马尼亚境内被击落；
5. Decker：传承 HyperCard 与经典 MacOS 美学的互动创作平台；

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

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

1. 干掉Cookie弹窗

🔗 killthecookiebanner.eu: Kill The Cookie Banner

烦人的误导性Cookie弹窗让高达90%的人违心点击“同意”，而仅约3%的人真正希望被追踪。欧盟法律本默认禁止追踪，但跟踪行业故意设计弹窗诱使人们放弃权利。欧盟提议让用户在浏览器中一次性设置隐私偏好，通过自动隐私偏好信号告知网站，如同语言偏好一样。然而，以谷歌为首的跟踪行业正全力游说，促使多个成员国阻挠该提案，以免同意率下降。我们需要行动起来，联系欧洲议会和本国代表，表达对这套失效系统的愤怒，共同#干掉Cookie弹窗。该隐私信号方案是“数字综合法案”的一部分，本组织不支持该法案其他削弱权利的条款。

2. htmx 4.0：首款登陆Game Boy的JavaScript库游戏

🔗 swag.htmx.org: Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy

这款恶搞产品将 htmx 4.0 封装在一张 Game Boy 卡带中，号称是首个独占登陆该平台的JavaScript库。游戏包含四个关卡，玩家需要收集泡菜、压缩臃肿的客户端JS、避开糟糕代码，最终击败 Boss Warren 才能解锁 htmx 4.0 的完整源代码。售价35.91加元，品质保证，为你带来怀旧与前端幽默的碰撞。

3. Ruff v0.16.0 重磅发布：默认规则暴增至 413 条，Markdown 格式化与全新抑制注释齐亮相

🔗 astral.sh: Ruff v0.16.0 – Significant new updates – 413 default rules up from 59

Ruff v0.16.0 正式发布，这款用 Rust 编写的极速 Python 检查与格式化工具迎来重大升级。最引人注目的变化是，默认启用的规则从 59 条大幅提升至 413 条，覆盖更多语法错误、运行时风险及流行插件（如 flake8-bugbear、pyupgrade）的能力，无需额外配置即可发现深藏问题。新版本还带来了 Markdown 文件中 Python 代码块的自动格式化，支持普通代码、类型存根和 REPL 会话，并可通过注释灵活抑制；同时引入 全新的 ruff: ignore 与文件级抑制注释，支持逻辑行范围屏蔽及规则名称引用，并可通过 --add-ignore 自动插入。此外，check 与 format --check 现在会直接展示修复差异，format 输出也支持 JSON 等 CI 友好的格式。十余条预览规则完成稳定化，盲 except、f-string 检测等行为也得到优化。整体迁移只有少量不兼容变更，开发者可轻松升级，即刻享受更全面的代码质量保障。

4. 三天内第三架无人机在罗马尼亚境内被击落

🔗 english.mapn.ro: Third Drone Shot Down in Three Days in Romanian Territory

罗马尼亚国防部发布消息，7月24日至26日，该国空军F-16战机连续三天在毗邻乌克兰边境的领空，发射空对空导弹击落擅入的无人机。首架无人机于24日在布泽乌县帕迪纳附近无人区被摧毁，25日及26日又接连击落第二架和第三架。这些行动均属于空中警戒任务，旨在捍卫国家领空主权，凸显了当前边境地区紧张的空中安全形势。

5. Decker：传承 HyperCard 与经典 MacOS 美学的互动创作平台

🔗 beyondloom.com: Decker, a platform that builds on the legacy of Hypercard and classic macOS

Decker 是一款延续 HyperCard 精神、致敬经典 MacOS 视觉风格的 多媒体平台，专为创建含声音、图像、超文本与脚本行为的互动文档而设计。它在易学易用的基础上，融入了深度撤销、触屏优化和现代键盘导航等改进。用户可自由制作电子杂志、冒险游戏或 1-bit 像素绘画，成品能一键导出为自运行的 HTML 网页，便于分享发布。其内置的 Lil 脚本语言 巧妙融合了 Lua 与 Q 的特性，支持向量隐式运算与类 SQL 查询，简单几行代码就能实现复杂逻辑。Decker 提供可复用的控件与命令行工具，以纯文本格式存储，完美兼容 Git 等版本控制。整个项目 完全开源且无广告，不收集隐私，支持浏览器及主流桌面系统，社区还定期举办创作活动，既适合快速原型设计，也用复古的“抖动朋克”美学带来惬意的怀旧创作体验。

6. 有史以来最强厄尔尼诺现象

🔗 theclimatebrink.com: The Strongest El Niño Ever

气象学家泽克·豪斯法瑟根据14个季节预报模式667个集合成员的最新数据指出，当前正在发展的2026年厄尔尼诺事件有约90%概率成为有可靠记录以来最强的一次。多模式集合预测峰值去趋势海温距平（Niño 3.4区域）中位数高达3.6°C，比2015-16年的历史纪录（2.75°C）整整高出约0.8°C，甚至远超出过去150年观测的完整范围。即便使用剔除热带平均变暖趋势的相对指数（RONI），仍有77%概率破纪录。海温日监测显示，仅7月中旬Niño 3.4海温已比同期气候平均值偏高约2°C，发展速度超过1997-98年。模式偏差虽需谨慎——从未有模式验证过如此极端事件，但多模式一致性罕见地强烈。这意味着全球气温将在数月后飙升，2027年极可能大幅打破最暖纪录，而2026年也有约28%机会超越2024年成为最热年份。

7. 设计即妥协

🔗 stephango.com: Design is compromise

在设计语境中，“妥协”不是贬义词，而是日常的权衡。声称“不妥协”的产品并不存在，任何决定都意味着取舍。优秀的设计是有态度的，它敢于暴露弱点，以换取在特定领域的卓越。试图取悦所有人，最终只会流于平庸。关键在于为你的受众做出正确的妥协。

8. 将细节外包绝非真正的赋能

🔗 davidnicholaswilliams.com: It’s not empowering to hand off the details

许多人沉醉于用AI直接实现想法、无需理会细节的幻梦，但这种捷径幻想终将破灭。然而细节是绕不开的，任何抽象都无法代替深入探究。真正的专业能力源自对细节的专注与磨练，而非交给模型。LLM无法让你在不具备能力的情况下做好一件事；想做好必须自己先懂。真正的赋能在于亲手钻研、主动掌握，而非放弃一切细节——那只会让你一无所得。

9. Go 分析框架：模块化静态分析设计

🔗 pkg.go.dev: Go Analysis Framework: modular static analysis by go team

该文档介绍了 Go 团队提供的模块化静态分析框架，将分析逻辑与驱动程序解耦。核心类型 Analyzer 封装了分析名称、文档、标志及运行函数，支持依赖声明与结果传递。Pass 代表单次分析单元，提供语法树、类型信息和诊断报告接口。框架的模块化通过 Facts 实现，允许分析器将跨包的派生事实（如 printf 包装判定）以可序列化的 gob 格式导出和导入，从而支持增量与并行分析。此外，提供了 analysistest 测试工具和 singlechecker/multichecker 命令构建器，简化分析器的开发、测试与集成。

10. 揭秘驱动代币倒卖与欺诈的中转站市场

🔗 vectoral.com: The relay market powering token resellers and fraud

作者深入调查了中文论坛上的AI中转站黑产，发现生态分四层：上游卡商和号商提供虚拟信用卡和批量账号，中游账号池聚合凭证并处理限频与故障转移，下游中转站包装成中文计费API以低于官方价格97.8%的折扣出售，最终用户多用于廉价推理、绕过地域限制和模型蒸馏。滥用手段包括免费试用滥用、退款欺诈、预付卡冲量、寄生公开推理接口以及“拒绝钱包”攻击。市场已高度成熟，出现比价网站、加盟计划与每日密钥抽奖。防御上需增加账号创建摩擦、监控支付与行为异常、对风险账号设置消费上限并静默限流，虽无法根除但可提升攻击成本。

11. 逆向扫雷

🔗 sunflowersgame.com: Show HN: Reverse Minesweeper

这是一款逻辑谜题游戏，玩法与经典扫雷相反：你需要根据数字线索在花园里种花，每个数字代表其周围格子的花朵总数，并承诺无需猜测即可通关。游戏内置的逻辑推理引擎会模拟人类思考，自动识别解题所需的五种推理技巧并以此划分难度等级：基础推理对应简单，子集法对应中等，重叠法对应困难，假设链（类似数独的强迫链）对应极限，而疯狂难度则要求更长的假设链和罕见的二者择一法（两个假设分支虽不矛盾却共同锁定某格子的答案）。玩家可通过滑块精细调整各难度所需的推理步数，每局从0到100的评分严格反映其逻辑深度。游戏还提供分步提示，引导你观察矛盾或共识，确保每一步都有迹可循。

12. AI时代的新超能力：专注与贯彻到底

🔗 rickmanelius.com: The New AI Superpowers: Focus and Followthrough

本文指出，人们曾以为AI能大幅提升效率，便能消灭过劳与倦怠，但现实恰恰相反。作者以自身经历揭示，当AI让完成任务的速度加快百倍，人反而会忍不住把所有搁置的副项目、文章齐头并进，最终同时推进数十个“概念验证”，陷入无尽的自创忙碌，被无数“开放式循环”压得精疲力尽。要破解这一困局，必须回归《精要主义》的理念：少，但更好。真正的超能力并非用AI横向扩展事情的数量，而是纵向深挖少数真正重要的事，即专注与贯彻到底。作者借用日全食的比喻: 99%与100%的日食看似只差1%，体验却天差地别，那最后一分的打磨往往要耗费大半心力，正是人们轻易说“够好了”而放弃的部分。在AI消除重复劳动的今天，我们反而有空间付出这最后的1%，去交付能打动人心的极致作品。为此，作者决定减少发文量，对每篇文章反复打磨，拒绝被“全都想要”的诱惑牵着走。唯有如此，才能把AI省下的时间用来关注本质、活得更像人，而不是更快地烧尽自己。

13. 将 ThinkPad T480 变身成一部真正的手机

🔗 grego.site: Using ThinkPad T480 as a mobile phone

通过利用英特尔管理引擎的漏洞刷入 Libreboot 固件，ThinkPad T480 可以摆脱硬件白名单，自由更换无线网卡。选用 Quectel EG25-G 这一曾在 PinePhone 上受过审查的 LTE 模块是关键，其内部 ARM 核心运行着 Android 系统，并可刷入由自由软件用户空间构成的自定义固件，让调制解调器注册为 USB 音频接口，从而原生支持通话，同时短信与移动数据也能直接使用。M.2 版本的模块极其稀有且天线接口不兼容，需借助转接线才能完成改装。如此一来，你便能彻底扔掉手机，直接借助 Waydroid 在笔记本上运行安卓应用。

14. Terence Tao: Mathematics in the Age of AI [pdf]

🔗 teorth.github.io: Terence Tao: Mathematics in the Age of AI [pdf]

很抱歉，您提供的文本是PDF文件的原始编码数据（包括压缩的二进制流、对象结构等），而不是可阅读的正文内容。从这些数据中无法提取出泰伦斯·陶（Terence Tao）文章的实际文字。

不过，根据标题 《AI时代的数学》 以及陶教授公开发表的观点，我可以为您概括他通常论述的核心思想：

陶教授认为，AI正成为数学研究的变革性工具，它能够辅助证明验证、生成猜想并提供计算辅助，但尚不能取代数学家的直觉与创造力。数学与AI的结合将开启一种全新的协作模式，让人类专注于更高层次的抽象思维。

15. CheapSecurity：在Linux单板机上搭建轻量、隐私至上的自托管监控

🔗 github.com: Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs

CheapSecurity 是一个专为树莓派等 Linux 单板计算机和普通 USB 摄像头设计的自托管监控方案，核心理念是数据主权与零云订阅，所有录像完全保留在本地。它通过帧差法实现运动检测与预录缓冲，一旦触发移动，不仅能自动录像，还可通过邮件发送快照告警，或借助 Telegram 机器人自动上传视频并响应 /snapshot、/video 等远程指令。系统提供一个带实时 MJPEG 流的 Web 控制台，支持夜间模式软件增强、存储按时间或容量自动清理，以及可选的 HTTP 基础认证。部署十分简便，支持 systemd 和 Gunicorn 生产环境，通过单一 config.json 即可管理摄像头参数、运动阈值、通知、Telegram 和存储策略。项目采用 AGPLv3 许可，完全围绕隐私优先、低成本硬件重用与极简高效架构设计，确保在低功耗设备上稳定运行。

16. 数据导向设计简介

🔗 gamedevs.org: Introduction to Data-Oriented Design [pdf]

本次演示介绍了数据导向设计的核心理念，这是一种颠覆传统面向对象思维的程序架构方法。它主张将数据的布局和变换置于中心地位，而非对象或类的抽象。通过深入分析现代CPU的缓存结构和并行处理特性，该方法强调内存访问模式对性能的决定性影响。开发者需将相关数据连续紧凑地存储，以提升缓存局部性，有效避免指针追逐和分支预测失败带来的巨额开销。数据导向设计并非完全抛弃现有范式，而是倡导在关键路径上，以数据流的转化过程驱动架构决策，从而构建出能充分利用硬件潜力、实现高性能运算的软件系统。这种思路在游戏开发、仿真模拟等对效率有极致要求的领域尤其关键，它要求程序员像硬件工程师一样思考，将软件视为一组对连续数据进行批量处理的变换管线。

17. Opus 5 错误率飙升事件已快速解决

🔗 status.claude.com: Elevated Errors for Opus 5

2026 年 7 月 26 日，Anthropic 旗下 Opus 5 服务突发错误率升高，波及 claude.ai、Claude API、Claude Console、Claude Code 与 Claude Cowork 等核心产品。团队于 UTC 09:17 启动调查，09:45 确定问题并部署修复，10:34 实施监控，10:44 宣布事件已解决，全程不到两小时。用户可通过状态页面订阅邮件或短信接收实时告警。

18. GitHub安全团队到底在做什么？

🔗 orchidfiles.com: What does GitHub’s security team even do?

GitHub上长期存在大量通过README中“📥 Download”标题和zip链接分发木马的仓库，用简单搜索即可发现。这一模式已持续两年。尽管作者公开了1万个恶意仓库并登上Hacker News头条，GitHub仅删除了这些仓库，却未部署主动扫描或持续拦截，新仓库不断涌现。这暴露了其安全团队在拥有巨量资源下对恶意软件泛滥的被动和低效应对。

19. 机场隐私手机自动擦除数据，美国公民面临妨碍司法指控

🔗 techspot.com: US citizen charged after GrapheneOS phone wipes during airport search

一名亚特兰大居民因使用 GrapheneOS 手机在机场接受海关检查时触发数据擦除功能，被联邦检察官依据销毁证据相关法律起诉。这起罕见案件引发了对隐私操作系统、边境搜查权限与宪法权利的激烈争论。被告萨姆·图尼克从多米尼加返回时，在亚特兰大国际机场被执法人员以调查“疑似恐怖活动”为由扣留，实际问话却围绕儿童性虐待材料展开，辩方指其为调查反警察训练设施抗议运动（Cop City）的借口。图尼克多次要求律师均被拒绝，最终在胁迫下提供密码后，手机屏幕闪烁重启并清空所有数据。控方视此为蓄意销毁证据，辩方则主张搜查违宪，要求排除该证据。该案还折射出欧洲部分地区已将使用GrapheneOS的Pixel手机用户视为可疑对象的现象，专家警告此举默认将该系统“有罪化”，并强调设备加密保护是正当的隐私需求。

20. 如何书写英语散文

🔗 thelampmagazine.com: How to Write English Prose

大卫·本特利·哈特以托马斯·布朗爵士的两段文字为引，探讨英语散文的理想境界。他认为，伟大的散文诞生于美丽与崇高之间的张力——前者华丽雕琢，后者庄严克制，如钦定版《圣经》那恢弘的朴拙。英语在十七世纪达到表达的巅峰，拥有混杂而丰富的词汇库，既能奏出深沉的管风琴轰鸣，也能制造狂野的不谐和音。然而，二十世纪以来，对极简主义与枯燥朴素的教条式推崇，使散文沦为千篇一律的平庸，丧失了细腻与灵韵。哈特强调，真正的佳构并非偏废一端，而是巧妙调配朴素与繁复，在二者不断的对话中找到新的乐声。他举出斯蒂文森等五位大家为例，力劝写作者回到那种能驾驭多重音域、兼具光彩与深邃的伟大传统中去。

21. 使用FFmpeg模拟卡式磁带的复古音质

🔗 github.com: Simulate cassette tape audio profiles using FFmpeg

该项目利用 FFmpeg 模拟多种经典卡带（如 BASF、Maxell、Sony、TDK 及苏联 MK‑60）的音频特征，通过施加 磁带嘶声、Wow 和 Flutter 引发的音高波动、频率带宽限制以及均衡器调节，重现不同磁带的独特模拟质感。使用方法简便，进入对应的卡带文件夹执行脚本即可转换本地音频文件或录制网络直播流，处理结果输出至 ./out 目录。项目以 MIT 许可证开源。

22. 没有 Stack Overflow，没有自动补全：80 年代的编码体验

🔗 comuniq.xyz: No Stack Overflow, No Autocomplete: What Coding Felt Like in the 80s

回忆起那个年代，编程往往从翻开电脑杂志，找到一份蔓延数页的 BASIC 或汇编程序清单开始，然后逐行逐字手动抄录。不能有丝毫差错，一个多余空格或错位括号都会让运行失败。调试时没有搜索按钮，只能瞪大眼睛逐字符比对屏幕与杂志上的印刷，在一堆极易混淆的字符间寻找拼写错误或遗漏的 DATA 行。社区以信件为介，编辑信箱就是延迟数周的“论坛”。如今自动补全和 AI 秒级纠错省去了大量无效挫折，却也丢失了那种必须慢下来读懂每一行代码的原始耐心，而这份笨拙的磨砺曾教会人真正阅读程序的结构。

23. AST-grep 用 Rust 重写 Tree-sitter，解析速度飙升 30%

🔗 astgrep.com: How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster

ast-grep 通过 AI辅助 将 Tree-sitter 的 C 核心完整迁移到 Rust，在保持语法生态系统兼容的前提下，移除了编辑器场景的增量解析和 Wasm 运行时加载，聚焦于文件批处理与 AI 编码代理。初次优化因可读性崩溃而失败，随后团队清理了 C 风格的指针和泛型图结构，将 99% 的直行栈路径特化，避免为罕见的 广义LR(GLR) 分叉做多余准备。最终，纯解析吞吐量提升 29.74%，端到端整体提速约 22%，代价是内存占用增加约 8 MiB，而在巨型 TypeScript 语料上峰值仅为 91.2 MiB（远低于早期超过 1 GiB 的尝试）。整个过程证明了在明确定义产品边界后，删除无用特性是第一个真正的优化手段。

24. 被误解的Systemd Linger：进程不杀靠默认，提前启动才是真本事

🔗 etbe.coker.com.au: Systemd Linger

很多人误以为systemd的linger选项是防止登出时杀掉screen/tmux进程的必需品，但在Debian等系统中，KillUserProcesses默认设为no，用户登出后进程根本不会被杀。Linger的真正作用是允许用户级服务在登录前就启动，例如作者在笔记本上启用后，开机即连Wi-Fi并运行Pipewire，即使图形界面崩溃也能通过SSH修复。启用方式为loginctl enable-linger，而要查看哪些账户已启用，目前唯一的方法是检查/var/lib/systemd/linger目录。对于不熟悉电脑的用户，直接开启KillUserProcesses可更有效地清理残留的KDE组件，而linger则更适用于需要后台服务预启动或远程维护的场景，既能加速登录，又提升了无头管理的灵活性。

25. 我们现在拥有证明自动化了

🔗 imperialviolet.org: We have proof automation now

作者长期对依赖类型语言（如Rocq/Lean）情有独钟，但证明开销极为惊人——seL4项目证明代码量竟达C代码的20多倍，耗时10倍。如今，大语言模型证明自动化与证明无关性相结合，有望彻底改变这一局面，大幅提升依赖类型语言的实用性。作者在Lean中构建Zstandard解压器来验证此想法，并深入剖析其核心——精巧的FSE熵编码器，它通过多状态分配与反向编码，以查表方式实现非整数比特存储，巧妙地突破了霍夫曼编码的局限。文中还展示了Lean依赖类型如何编码“读取n字节返回长度恰为n的数组”等强规约，以及其严格求值、丰富语法糖等特性，并暗示LLM驱动的自动化或将让这种高保障编程范式不再遥不可及。