1. 将条件判断上移，循环下移；
2. Proton威胁退出瑞士：新监控法案将破坏用户隐私；
3. 神秘编程语言：用魔法阵书写PostScript；
4. O2 VoLTE漏洞：一通电话即可定位任何用户；
5. 如果无人筛选信息，我们如何找到所需？；

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

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

1. 将条件判断上移，循环下移

🔗 matklad.github.io: Push Ifs Up and Fors Down

这篇短文提出了两条编程优化原则：将条件判断上移到调用方，通过类型或断言确保前置条件，减少冗余检查并集中控制流；同时将循环下移到批量处理层，通过批操作提升性能，甚至实现向量化计算。前者能简化逻辑、消除死代码，后者可分摊开销、优化处理顺序。二者结合时（如先判断条件再批量执行），能避免重复分支并释放硬件并行潜力。文末以TigerBeetle架构和jQuery为例，说明该模式在系统设计和抽象表达中的普适价值。

2. Proton威胁退出瑞士：新监控法案将破坏用户隐私

🔗 techradar.com: Proton threatens to quit Switzerland over new surveillance law

瑞士拟修订监控法案，要求VPN服务和通讯应用记录用户数据，此举可能危及加密技术和匿名性。Proton和NymVPN等公司强烈反对，称若法案通过将撤离瑞士。Proton CEO批评该法案类似俄罗斯法律，违背隐私权，并损害瑞士国际声誉。目前公众咨询已结束，多方施压要求政府重新考量。

3. 神秘编程语言：用魔法阵书写PostScript

🔗 suberic.net: Mystical

本文介绍了一种名为Mystical的编程语言设计，其灵感源自魔法阵的环形结构。Mystical将PostScript代码转化为由环形文本和符号组成的图形化表达，包含三种核心结构：可执行数组（带星形标记）、非执行数组（三角形标记）和字典（双边框多边形）。符号系统替代传统操作符，用户可自定义新符号。目前Mystical仅作为可视化工具，需人工转换为PostScript执行，但设计理念可扩展至Forth等语言。布局算法仍需优化以减少图形间距。

4. O2 VoLTE漏洞：一通电话即可定位任何用户

🔗 mastdatabase.co.uk: O2 VoLTE: locating any customer with a phone call

英国运营商O2的VoLTE（4G语音）服务存在严重隐私漏洞，通话时会将双方的IMSI（国际移动用户识别码）、IMEI（设备识别码）及基站位置信息通过IMS信令泄露给呼叫方。攻击者利用公开的基站地图数据（如Cellmapper）可精确定位用户，城市环境中误差甚至小于100米。该漏洞自2025年3月曝光后，O2未回应修复请求，用户无法通过关闭4G通话功能避免风险。作者呼吁运营商移除敏感信令头并建立安全披露渠道。

5. 如果无人筛选信息，我们如何找到所需？

🔗 tadaima.bearblog.dev: If nothing is curated, how do we find things

作者反思社交媒体时代信息过载的困境：虽然技术让内容触手可及，但算法推送将人困在信息茧房中，难以发现新事物。过去通过电台、杂志等专业筛选渠道高效获取文化内容的体验已消失，如今人们被迫在碎片化信息中自行挖掘。批评指出，算法依赖削弱了艺术发现的惊喜感，而传统媒体（如乐评、影评）的衰落加剧了这一现象。解决方案或许是主动记录兴趣，但作者承认这仍像一份”工作”，并感叹社会或已默认这种疲惫的新常态。

（注：关键概念加粗，符合字数要求）

6. 死星不会辐射霍金辐射

🔗 johncarlosbaez.wordpress.com: Dead Stars Don’t Radiate

近期有三位物理学家提出任何大质量物体都会发射霍金辐射，包括死亡后的冷恒星，并声称宇宙会因此更快消亡。然而，这一观点与已知的量子场论和广义相对论相矛盾，且已被专家反驳。研究表明，静态引力场不会产生粒子-反粒子对，这一结论早在1975年就已确立。尽管相关论文发表在知名期刊，但因其近似计算存在缺陷，未获学界认可。部分科学媒体未核实便夸大报道，误导公众。权威文献和教科书（如Wald的著作）明确指出，静态时空中的真空是稳定的，不会自发衰变。

7. N64调色板光照技巧解析

🔗 30fps.net: Palette lighting tricks on the Nintendo 64

本文介绍了在Nintendo 64上实现调色板空间着色的创新技术。作者通过动态更新调色板而非逐像素计算，显著提升了光照渲染效率，并实现了法线贴图和实时高光效果。尽管存在光照不连续、仅支持灰度纹理等局限，但结合预烘焙的环境光与方向光，最终在自制Demo中呈现了令人惊艳的视觉效果。技术核心包括共享漫反射与法线调色板、基于球体近似的高光模拟，以及手动分组的类切线空间优化。

8. Pyrefly：Python 新型类型检查器与IDE体验革新

🔗 engineering.fb.com: Pyrefly: A new type checker and IDE experience for Python

Meta团队推出开源工具Pyrefly，这是一个用Rust编写的Python静态类型检查器，支持CLI和IDE集成（如VSCode扩展），旨在提升代码类型一致性与错误检测效率。其核心优势包括高性能（每秒检查180万行代码）、IDE优先设计（实时类型推断与快速反馈）以及开源协作（MIT许可）。Pyrefly脱胎于Pyre项目，专为大规模代码库优化，并支持未标注类型的自动推断。团队呼吁开发者试用alpha版本并参与GitHub社区共建，计划今夏发布正式版。

9. 如何在CSS中让浏览器自动选择对比色

🔗 webkit.org: How to have the browser pick a contrasting color in CSS

CSS新特性contrast-color()可自动根据背景色选择黑色或白色文本，确保最佳对比度。该功能基于WCAG 2对比度算法，但当前版本对中色调背景的判断存在争议（如中蓝色背景可能错误选择黑色文本）。未来或改用APCA感知对比算法提升准确性。开发者仍需手动确保颜色组合满足无障碍标准，并可通过prefers-contrast媒体查询适配高对比度需求。此功能尤其适合管理多主题、多状态的色彩系统，但现阶段仅支持黑白二选一。

10. B站开源动画神器AniSora：一键生成多风格动漫视频

🔗 komiko.app: AniSora: Open-source anime video generation model

AniSora是哔哩哔哩推出的最强开源动画生成模型，支持从静态图一键生成番剧、国漫、漫画改编、VTuber等多样风格视频。基于IJCAI’25研究，该模型专注动漫美学，提供高清流畅的动画效果，用户只需上传图片并输入提示词即可创作。其特点包括开源协作、专业动画适配及简易操作界面，适用于PV制作、漫画动效等场景，为创作者提供高效AI工具。

11. MCP服务器目录：一站式优质服务器资源库

🔗 github.com: Directory of MCP Servers

这是一个专注于MCP服务器的目录项目，提供实时预览网站mcp.so。项目包含Supabase数据库支持和快速启动指南，需配置环境变量并安装依赖。社区资源涵盖Telegram群组、Discord和Twitter。作者为idoubi，项目获1.1k星标，采用Apache-2.0许可证。适合开发者快速部署本地预览或贡献代码。

12. 失落的Macintosh Plus日文ROM之谜

🔗 journaldulapin.com: The Lost Japanese ROM of the Macintosh Plus

一位比利时研究者发现并保存了Macintosh Plus罕见的256KB日文ROM，该版本内置汉字字体，可加速系统启动并节省内存。此前，这一ROM的存在仅存于苹果零星文档中，甚至被部分爱好者质疑。通过逆向工程和硬件调试，研究者证实其功能：日文ROM省去了加载12点字体的步骤，启动时间比美版缩短15秒，并释放113KB内存。最终，该ROM的兼容性通过修改MAME模拟器得以实现，填补了早期Mac历史的空白。

13. AI说服力超越人类：前沿研究揭示大语言模型优势

🔗 arxiv.org: LLMs are more persuasive than incentivized human persuaders

一项预注册大规模实验表明，Claude Sonnet 3.5等大语言模型在实时对话测试中，无论是引导参与者选择正确答案（提升收益）还是错误答案（降低收益），其说服成功率均显著高于受金钱激励的人类说服者。研究强调，AI已具备超越人类的说服能力，突显了对齐与治理框架的紧迫性。

14. 我开发了一款刀具钢材对比工具

🔗 new.knife.day: Show HN: I built a knife steel comparison tool

这款工具允许用户对比最多5种钢材的性能，涵盖耐腐蚀性、韧性、刀刃保持性和易磨性等关键指标（1-10分制）。目前收录了150种钢材的详细对比数据，其中147种包含可视化图表，例如1095 vs 5160、CPM S30V vs D2等常见组合。适合刀具爱好者或专业人士快速评估不同钢材的优劣。

15. 龙卷风预警因预算削减延误酿悲剧

🔗 mesoscalenews.com: Tornado warnings delayed because of DOGE cuts

美国国家气象局因DOGE预算削减被迫缩减部分办公室的24小时运营，导致肯塔基州杰克逊办公室夜间预报员职位被裁。5月17日凌晨，密苏里州和肯塔基州遭遇龙卷风袭击，预警延迟造成至少27人死亡。此前专家已警告此类风险，而《纽约时报》在灾难前一天揭露DOGE裁员正削弱气象服务能力。随着飓风季临近，公共安全漏洞引发强烈质疑。

16. Wacom数位板曾暗中记录用户打开的所有应用名称

🔗 robertheaton.com: Wacom drawing tablets track the name of every application you open (2020)

作者发现Wacom数位板驱动程序会通过Google Analytics收集用户数据，包括每次打开的应用程序名称、时间戳和设备信息。尽管隐私政策声称仅收集”聚合数据”，但实际行为远超披露范围。通过Burp Suite抓包验证后，作者指出这种监控既无必要也涉嫌侵犯隐私，建议用户关闭”Wacom体验计划”。值得注意的是，在文章完成前该追踪行为突然停止，但厂商未作说明。核心矛盾在于：基础输入设备不应具备网络通信功能，更无权记录敏感操作日志。

17. 世界上最长的火车之旅：史诗级路线，却无人完成

🔗 bigthink.com: The longest train journey is epic – but nobody’s ever taken it

理论上，从葡萄牙南部的拉古什到新加坡的火车旅程横跨13个国家、8个时区，全长18,755公里，需约14天。2021年中老铁路通车后，这条路线才成为可能。然而，无人完成过全程，原因包括俄乌战争导致巴黎-莫斯科线路中断、需换乘20次且无法购买联程票等争议。若未来亚洲高铁网络建成，昆明至新加坡的行程或缩短至15小时。相比之下，莫斯科至平壤的单一列车（10,214公里）才是吉尼斯认证的最长不换乘路线。

18. 计算几何领域的开放性问题

🔗 topp.openproblem.net: Open Problems in Computational geometry

该项目由Erik D. Demaine等人编辑，旨在收录计算几何及相关领域的重要未解决问题。最初发布于2001年，包含30个问题，后扩展至75个以上。虽然不再接受新问题提交，但鼓励对现有问题的更新（尤其是已解决或部分解决的问题）。每个问题按唯一编号和分类（如凸包、数据结构、图绘制等）整理，涵盖几何图论、机器人路径规划、多面体展开等方向。问题列表可通过PDF或Github仓库获取，部分经典问题包括动态凸包计算（Problem 12）、最小欧氏生成树（Problem 5）等。

19. 日本森林再生技术落地墨西哥

🔗 english.elpais.com: The Japanese method of creating forests comes to Mexico

墨西哥州内萨瓦尔科约特尔市采用宫胁造林法，在城市化严重的盐碱地上打造高密度原生林。该方法由日本植物学家宫胁昭创立，通过密集种植本地物种（如龙舌兰、仙人掌）加速生态恢复，30年可形成自维持森林。项目由智利林业专家指导，600平方米试验林预计可降低周边温度10-15℃，改善雨水渗透并吸引传粉者。当地居民称此为对抗”热岛效应”的重要一步，但专家强调需结合其他措施解决环境问题。

20. 联邦政府全面终止哈佛大学资助

🔗 arstechnica.com: Federal agencies continue terminating all funding to Harvard

美国联邦政府联合反犹太主义工作组宣布终止对哈佛大学4.5亿美元研究拨款，涉及8个机构。此前22亿美元资助已被取消，且哈佛将无法获得未来联邦资金。政府指控哈佛未能解决校园反犹太主义问题，并批评其《法律评论》的多元化政策构成歧视。多部门致函强调哈佛整改不力，校方已起诉联邦政府。国家卫生研究院明确表示”无法恢复资助”，最终影响或导致哈佛彻底失去联邦科研支持。

21. 通过N-gram统计理解Transformer模型

🔗 arxiv.org: Understanding Transformers via N-gram Statistics

这篇论文探讨了如何利用N-gram统计规则解析Transformer模型的预测机制。研究发现，通过分析训练数据中的N-gram模式，可以量化模型从简单到复杂规则的学习过程，并提出了一种无需验证集即可检测过拟合的方法。实验表明，在TinyStories和Wikipedia数据集上，Transformer的top-1预测分别有79%和68%与N-gram规则集一致，揭示了统计规则对模型行为的显著影响。研究还开源了相关数据集和统计工具。

22. FreeBASIC：一款跨平台的开源BASIC编译器

🔗 freebasic.net: FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux

FreeBASIC是一款基于GPL协议的免费开源BASIC编译器，支持Windows、DOS和Linux平台。它兼容Microsoft QuickBASIC，在“QB”模式下可直接运行多数QuickBASIC程序，默认模式则需调整代码。

该编译器采用GNU工具链作为后端，能生成控制台、GUI程序及动态/静态库，并支持C/C++库调用，具备预处理和多范式编程能力（过程式、面向对象、元编程）。其性能接近主流工具（如GCC），且提供对Allegro、SDL等第三方库的绑定。

FreeBASIC最初旨在复刻QuickBASIC，现已发展为功能强大的开发工具，扩展了数据类型、语法和跨平台支持，适用于各类应用开发。

23. beta.weather.gov 测试版网站暂停服务

🔗 beta.weather.gov: Beta.weather.gov

由于关键联邦人员流失导致资源不足，beta.weather.gov 测试版网站已暂停运营，包括开发、监测和维护工作。美国国家气象局承诺未来将重新启用该平台，以打造更用户友好的 Weather.gov 官网。目前请继续使用主站获取权威天气预报和警报，并感谢用户持续反馈以优化服务。

24. Transformer神经网络仅通过示例学习运行《生命游戏》

🔗 sidsite.com: Transformer neural net learns to run Conway’s Game of Life just from examples

研究发现，一个高度简化的Transformer神经网络仅通过训练《生命游戏》的示例，就能完美模拟该游戏。模型结构显示，它并非基于统计预测，而是真正学会了游戏规则——其注意力机制实现了3x3卷积运算（用于计算细胞邻居数量）。该模型名为SingleAttentionNet，仅包含单头注意力模块，将网格编码为令牌处理。实验表明，模型通过注意力矩阵学习排除中心细胞的3x3平均池化，训练后能准确运行100步游戏。研究还发现，若手动替换注意力层为邻居计算或平均池化，模型学习速度更快且能泛化到任意网格尺寸。

25. OBNC：Oberon-07语言编译器

🔗 miasap.se: OBNC – Oberon-07 Compiler

OBNC是一款用于编译Niklaus Wirth设计的Oberon-07语言的工具，支持2016年最终版语言规范。它将Oberon源代码转换为C语言，并依赖宿主系统的C编译器完成后续编译链接。编译器采用GNU通用公共许可证，而库文件使用Mozilla许可证，允许用户自由选择项目授权方式。

该工具包包含编译器、构建工具、文档生成器及基础库（含扩展模块），支持POSIX系统（需Boehm垃圾回收器），Windows用户可下载预编译版本。注意：0.17版与旧版输出不兼容，需重新编译模块。

附赠Gedit/Pluma文本编辑器的语法高亮和大小写转换插件，并提供详细文档及社区支持渠道。