1. 巴黎告别汽车：空气污染地图揭示巨变；
2. 开源可自托管的隐私友好型文件转换工具；
3. SVG创意动画与交互实现；
4. 特朗普政府豁免手机、电脑等电子产品关税；
5. Emacs Lisp 核心要素解析；

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

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

1. 巴黎告别汽车：空气污染地图揭示巨变

🔗 washingtonpost.com: Air pollution fell substantially as Paris restricted car traffic

过去20年，巴黎通过限制汽车通行、增设自行车道和绿地、取消5万个停车位等措施，大幅改善了空气质量。监测数据显示，PM2.5浓度下降55%，二氧化氮减少50%。市长安妮·伊达尔戈推动的绿色政策虽遭反对，但市民公投支持扩大步行区，并提高SUV停车费。这些举措将塞纳河畔和购物大道改造为行人友好空间，印证了“以福祉为核心”的城市规划成效。

2. 开源可自托管的隐私友好型文件转换工具

🔗 vert.sh: Open source and self hostable/private file converter

这是一款完全在本地设备处理的文件转换工具，支持图片、音频和视频格式转换，无文件大小限制且无广告。支持常见格式如PNG、MP3、MKV等，视频需默认上传至服务器处理（可配置本地运行）。完全开源，注重用户隐私，操作简单，只需拖放或点击上传即可快速转换。

3. SVG创意动画与交互实现

🔗 fuma-nama.vercel.app: Nice things with SVG

本文展示了SVG在动画与交互设计中的两种高级技巧。第一部分通过<mask>和<animate>实现动态线条效果，演示了从基础线条到渐变动画的完整流程。第二部分以文档目录高亮指示器为例，结合服务端渲染与客户端SVG路径计算，通过mask-image实现精准定位的交互效果。关键技术点包括：路径指令控制、CSS动画与SVG蒙版的协同，以及React中的动态坐标计算。这些方案均凸显了SVG在复杂UI动效中的独特优势。

4. 特朗普政府豁免手机、电脑等电子产品关税

🔗 bloomberg.com: Trump exempts phones, computers, chips from ‘reciprocal’ tariffs

美国海关与边境保护局宣布，特朗普政府将智能手机、电脑和芯片等电子产品排除在“对等关税”之外，为苹果、英伟达等科技企业提供重要缓冲。此次豁免涉及125%的中国关税和10%的全球关税，但可能仅为临时措施。新规于周五晚发布，缩小了关税征收范围。

5. Emacs Lisp 核心要素解析

🔗 protesilaos.com: Emacs Lisp Elements

本书由 Prot（Protesilaos Stavrou）撰写，全面介绍 Emacs Lisp 编程语言，适用于从初学者到进阶用户。内容涵盖基础概念如 缓冲区操作、函数副作用与返回值，以及高级主题如宏和模式匹配。作者强调通过实践学习，鼓励读者在 Emacs 中实时测试代码，以深入理解编辑器扩展的灵活性。书中还提供了官方文档链接和代码仓库，方便进一步探索。

6. AI编造虚假软件依赖包，引发供应链安全危机

🔗 theregister.com: AI can’t stop making up software dependencies and sabotaging everything

AI代码助手常虚构不存在的软件包名（5.2%-21.7%概率），黑客借机注册同名恶意包上传至PyPI/npm等平台，形成“slopsquatting”攻击（类似域名抢注）。研究发现43%的虚构包名会重复出现，开发者若直接安装可能触发恶意代码。安全专家警告，AI生成的虚假包常被其他AI（如谷歌摘要）错误背书，加剧风险。Python软件基金会正加强PyPI审核，建议开发者手动验证依赖包真实性。

7. 阿努比斯防护系统的工作原理

🔗 xeiaso.net: Anubis Works

该网站使用阿努比斯防护系统防止AI公司大规模爬取数据导致服务器瘫痪。其核心采用类似Hashcash的工作量证明机制，通过增加爬取成本遏制自动化工具。系统目前依赖JavaScript验证，未来计划开发无JS方案。指纹识别技术将用于区分合法用户与爬虫，减少对真实用户的干扰。

8. Tunarr：用本地媒体打造个性化电视频道

🔗 tunarr.com: Tunarr: Create and configure live TV channels from media on your servers

Tunarr是一款能将Plex/Jellyfin服务器中的媒体内容转换为直播电视频道的工具。用户可通过其网页界面自定义频道、节目单和广告插播，并通过模拟的HDHomerun调谐器在Plex等平台观看，或生成M3U文件供第三方IPTV播放器使用。该项目基于dizqueTV重构，旨在现代化技术栈、提升稳定性及界面美观度，同时新增多项实用功能，适合影视爱好者打造专属电视体验。

9. “慢付、少付或不付”：蓝十字批准手术却拒赔

🔗 propublica.org: “Slow Pay, Low Pay or No Pay”: Blue Cross Approved Surgeries Then Refused to Pay

美国路易斯安那州蓝十字保险公司在授权乳腺癌患者进行乳房切除及重建手术后，拒绝全额支付医院账单，甚至部分拒赔。涉事医院指控其存在系统性欺诈，陪审团裁定蓝十字赔偿4.21亿美元。调查发现，保险公司利用“预授权不保证赔付”条款推诿责任，同时高管却为亲属安排特殊赔付协议。此案揭露了医保体系中权力失衡问题——保险公司既是规则制定者又是仲裁者，而患者与医疗机构处于弱势。蓝十字已提起上诉。

10. Zod v4 测试版发布：更快、更小、更强大

🔗 v4.zod.dev: Zod v4 Beta

Zod 4 测试版正式推出，经过一年多的开发，性能提升显著：字符串解析快 2.6 倍，数组解析快 3 倍，对象解析快 7 倍。新版本优化了 TypeScript 兼容性，减少了 20 倍的类型实例化，并引入 @zod/mini 库，核心包体积缩小 85%。新增功能包括元数据系统、JSON Schema 转换和更精确的可选属性控制（通过 z.interface()）。感谢 Clerk 的支持，Zod 4 将成为未来多年的新基础。

11. ArkType：比Zod快100倍的TypeScript验证工具

🔗 arktype.io: ArkType: Ergonomic TS validator 100x faster than Zod

ArkType是一款高性能TypeScript验证器，提供从编辑器到运行时的无缝体验。其语法与TS一致，但具备更强大的安全性和自动补全功能，错误提示更清晰直观。运行时速度比Zod快100倍，且支持深度类型自省（如User.extends）。通过集合论优化，它能自动简化联合类型等复杂结构，同时保持极致的开发体验。

12. Pixel 9a版GrapheneOS实验性发布

🔗 grapheneos.social: Experimental release of GrapheneOS for Pixel 9a

为使用Mastodon网页应用，需启用JavaScript，或选择适合您平台的原生应用。此次发布针对Pixel 9a设备，标志着GrapheneOS这一注重隐私安全的安卓分支的进一步适配。实验性版本可能包含未完善功能，建议开发者或高级用户尝试。

13. BPS：鲜为人知的GPS替代方案

🔗 jeffgeerling.com: BPS is a GPS alternative that nobody’s heard of

作者在NAB展会上发现了一项名为BPS的实验性定时技术，它通过电视信号（如ATSC 3.0）实现与GPS同步的±10纳秒精度。这项技术可能成为GPS的可靠地面备份，尤其适用于广播、电网和5G通信等关键领域。目前仅有少数电视台参与测试，但其潜力巨大，甚至可能用于航空导航备份。此外，文章还提到英特尔主板的PPS同步功能，展现了高精度定时的多样化应用。

14. IBM代码页437中的“小房子”从何而来？

🔗 blog.glyphdrawing.club: Why is there a “small house” in IBM’s Code page 437?

IBM的代码页437（CP437）是1981年随IBM PC推出的字符集，其中控制字符0x7F（本应为删除符DEL）被设计成一个小房子（⌂）。这一奇特符号的起源尚无定论，但存在多种推测：可能是受Blissymbolics符号系统启发，或是误抄了Wang终端中的三角形符号。此外，也有人认为它象征家用电脑的普及，或与删除操作相关。尽管缺乏确凿证据，这个小房子因其独特的形状在早期文本游戏和ASCII艺术中被广泛复用，成为CP437的标志性符号之一。

15. WebTUI：将终端界面美学带入浏览器的CSS库

🔗 webtui.ironclad.sh: WebTUI – A CSS Library That Brings the Beauty of Terminal UIs to the Browser

该CSS库通过模块化设计复现终端界面风格，提供ASCII边框、等宽字体排版等特色组件，支持主题插件（如Catppuccin/Nord配色方案）和CSS变量自定义。文档涵盖安装指南、组件使用（按钮/徽章/输入框）及插件开发规范，适用于快速构建具有TUI（文本用户界面）风格的网页应用。

16. Charts.css：纯CSS图表框架

🔗 chartscss.org: Charts.css

Charts.css是一个现代CSS框架，通过CSS工具类将HTML元素快速转换为多种图表类型（如柱状图、折线图、饼图等）。其核心优势包括：零依赖、响应式设计、语义化HTML结构，且仅76KB大小。支持3D效果、多数据集等复杂样式，代码开源并遵循MIT协议。开发者Rami Yushuvaev与设计师Lana Gordiievska共同维护该项目，GitHub仓库可免费获取源码。

17. YAML的“挪威问题”：布尔值解析陷阱

🔗 bram.us: YAML: The Norway Problem (2022)

2022年，开发者Haroen Viaene指出YAML的布尔值解析规则存在严重缺陷：当数据中包含挪威的ISO代码NO时，YAML会错误地将其解析为False（如countries: [GB, NO]变为['GB', False]）。此问题源于YAML宽松的类型推断，类似问题还影响.0结尾的版本号和Null等字段。解决方案包括用双引号包裹值或使用StrictYAML等严格解析库。该问题凸显了YAML在数据精确性上的潜在风险。

18. 苦涩的预言

🔗 4zm.org: The Bitter Prediction

开发者体验了AI编程工具(Claude Code等)带来的高效与失落：初期惊叹于其代码重构能力，但很快因剥夺编码乐趣而陷入矛盾，如同童年修改游戏存档后失去游玩动力。更担忧的是，高昂的使用成本将加剧技术鸿沟——全球46%人口日收入不足5美元，而AI编程可能成为经济壁垒。作者悲观预测，资本驱动下，软件开发将不可避免地被AI代理主导，乐趣与公平性双双消亡。

19. Amiga双启动ROM替换模块KickSmash32简介

🔗 github.com: Dual Kickstart ROM Replacement for Amiga

KickSmash32是一款针对Amiga 3000/4000系列（含1200、3000T等型号）的双启动ROM替换模块，支持在线编程（通过Amiga命令行工具）和USB-C外部刷写（需Linux工具）。核心功能包括8个独立闪存库、可配置的ROM切换及主机文件传输服务（smashftp/smashfs）。硬件、固件及软件均开源，兼容性因机型差异需参考文档（如Amiga 500等16位机型暂不支持）。提供详细的开发环境指南和常见问题解答。

20. 新型小便池设计每天可减少26.5万加仑尿液飞溅

🔗 livescience.com: New urinal designs

科学家提出Nautilus和Cornucopia两种新型小便池设计，通过优化流体冲击角度（低于30度），将飞溅量降至传统设计的1.4%。美国每日因传统设计溅出的100万升尿液不仅滋生细菌、产生异味，还增加清洁成本。其中Nautilus因高度适配儿童和轮椅使用者、易清洁等优势更受青睐。若全美5600万小便池更新为此设计，每日可节省1000万升清洁用水，显著提升公共卫生与可持续性。

21. 抛弃笔记本电脑后，我靠迷你PC和AR眼镜实现了移动办公自由

🔗 tomsguide.com: I ditched my laptop for a pocketable mini PC and a pair of AR glasses

作者放弃了传统笔记本电脑，改用Khadas Mind 2S迷你PC搭配Xreal One AR眼镜和超大容量充电宝，打造出极致便携的移动办公方案。这套设备不仅能在咖啡厅模拟多屏办公体验，还能在飞机上使用，透明显示模式让用户兼顾屏幕与现实环境。迷你PC的模块化设计、AR眼镜的即插即用特性，以及机械键盘的输入体验，共同解决了笔记本扩展性差、屏幕局限等问题，重新定义了移动生产力。

22. Apache ECharts + Leaflet + shadcn 数据可视化方案

🔗 docs.evidence.dev: Apache ECharts + Leaflet + shadcn for data viz

本文介绍了基于 Apache ECharts、Leaflet 和 shadcn 的数据可视化组件库，涵盖多种图表类型和交互功能。包括折线图、面积图、柱状图、散点图等基础图表，以及热力图、桑基图等高级可视化形式。同时支持地图展示（区域图、点图等）和UI组件（按钮组、输入框等），提供灵活的自定义配置选项，适用于复杂数据场景的多样化需求。

23. 将Shadertoy着色器移植到Rust GPU

🔗 rust-gpu.github.io: Shadertoys Ported to Rust GPU

我们成功将多个流行的Shadertoy着色器移植到Rust GPU平台，过程流畅且代码已开源。Rust GPU允许开发者用Rust编写GPU程序（如着色器或内核），并编译为SPIR-V格式，兼容Vulkan工作流。移植中，我们利用Rust的泛型和宏减少重复代码，并通过bytemuck实现CPU/GPU数据无缝共享。标准Rust工具链（如cargo check）可直接用于着色器开发，显著提升效率。此外，我们还修复了wgpu和naga的多个问题，推动生态完善。欢迎加入这一实验性项目！

24. 固态变压器的革新：现代电网的转型利器

🔗 powermag.com: The Solid-State Shift: Reinventing the Transformer for Modern Grids

传统变压器因体积大、效率低且无法智能响应电网需求，难以适应可再生能源和电动汽车的发展。固态变压器（SST）通过高频转换、宽禁带半导体（如碳化硅）和模块化设计，实现了紧凑高效、双向供电及智能调控。目前，SST在电动汽车充电和微电网中试点，但成本高和可靠性验证仍是推广障碍。未来，混合型SST可能成为过渡方案，逐步推动电网升级。

25. “奇异粒子”或成量子世界的第三王国

🔗 quantamagazine.org: ‘Paraparticles’ Would Be a Third Kingdom of Quantum Particle

物理学家提出准粒子（paraparticles）可能构成继费米子与玻色子之后的第三类量子粒子。这类粒子具有隐藏的量子态，交换位置时会协同变化，虽无法直接观测，但可能催生新型量子材料。研究突破了过去DHR理论对三维空间粒子种类的限制，实验或通过里德伯原子验证其存在。若证实，将开辟奇异物质态的新领域，但现阶段仍属理论探索。