1. 地形水模拟；
2. 加州法案要求机器人披露其自动化身份；
3. 理解推理型大语言模型；
4. SQLite 磁盘页面探索工具；
5. 美国政府2023年披露39个零日漏洞，首次发布报告；

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

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

1. 地形水模拟

🔗 lisyarus.github.io: Simulating water over terrain

在网格游戏中实现动态水流面临挑战：传统方案如固定水位或简单粒子模型无法兼顾效率与真实感。作者提出基于浅水方程的解法，利用交错网格存储水位与流速数据，确保质量守恒与计算稳定。该方法将水流抽象为虚拟管道网络，模拟水平扩散与重力影响，避免复杂三维计算，适用于策略游戏与沙盒建造场景，平衡性能与视觉效果需求。

2. 加州法案要求机器人披露其自动化身份

🔗 veeto.app: California bill would require bots to disclose that they are bots

加州拟议的AB-410法案要求所有在线机器人和人工智能驱动的账户在互动时披露其自动化身份。该法案扩展了“机器人”的定义，涵盖生成式人工智能系统，并要求在用户询问时立即披露。适用于月访问量超过1000万的平台，旨在提高在线通信的透明度。

3. 理解推理型大语言模型

🔗 magazine.sebastianraschka.com: Understanding Reasoning LLMs

本文探讨了构建和优化推理模型的四种主要方法，重点介绍了如何通过强化学习和监督微调提升大语言模型在复杂任务（如数学、编程）中的表现。文章还分析了推理模型的优缺点，并提及了DeepSeek R1的开发流程，展示了如何通过推理时间扩展和纯强化学习实现推理能力的提升。

4. SQLite 磁盘页面探索工具

🔗 github.com: Show HN: SQLite disk page explorer

这是一个基于 redbean 构建的 GUI 工具，允许用户以 SQLite 的视角逐页浏览数据库文件。通过查看磁盘上的 B-Tree 结构，开发者可以更好地理解索引、优化存储并发现潜在问题。该工具支持跨平台运行，仅需一个 6.5 MB 的可执行文件，适用于 Windows、Linux、MacOS 等系统。

5. 美国政府2023年披露39个零日漏洞，首次发布报告

🔗 zetter-zeroday.com: U.S. Government Disclosed 39 Zero-Day Vulnerabilities in 2023, First-Ever Report

美国政府首次公开2023年通过漏洞权益流程（VEP）披露了39个零日漏洞，供修复或缓解。然而，未透露保留用于攻击的漏洞数量。零日漏洞是软件中未知的安全漏洞，易被利用。报告未说明VEP审查的总漏洞数或保留数量，透明度问题引发担忧，尤其在政府计划加强网络攻击的背景下。

6. GitHub Copilot：AI 开发者工具的崛起

🔗 github.blog: GitHub Copilot: The Agent Awakens

Thomas Dohmke 自小对软件开发充满热情，现担任 GitHub 首席执行官，主导了 GitHub Copilot、Copilot Workspace 和 GitHub Models 等全球广泛采用的 AI 开发者工具的发布。他拥有格拉斯哥大学机械工程博士学位，并是一位备受赞誉的 TED 演讲者。

7. 铝电池加盐胜过锂离子电池

🔗 spectrum.ieee.org: Aluminum batteries outlive lithium-ion with a pinch of salt

研究人员开发了一种可持续的固态电解质设计，使用铝基电池替代锂离子电池。这种设计通过添加盐显著提升了电池寿命，有望成为更环保的能源解决方案。

8. Scala 3 迁移：实战报告

🔗 blog.pierre-ricadat.com: Scala 3 Migration: Report from the field

作者 Pierre Ricadat 分享了将一款多人手机游戏服务器从 Scala 2.13 迁移到 Scala 3 的经历。首次尝试因 宏注解 和 类型投影 的移除而失败，导致大量代码修改和 IDE 崩溃。第二次尝试通过 IntelliJ 的自动修复功能和 sbt 源码生成器 成功完成迁移。尽管遇到库不兼容和 Magnolia 类型类推导问题，最终通过 Scala 3 的新特性如 opaque types 和 Tuple.Map 解决了大部分挑战。

9. US Cloud soon illegal in EU? US punches first hole in EU-US Data Deal

🔗 noyb.eu: US Cloud soon illegal in EU? US punches first hole in EU-US Data Deal

10. Cloudflare R2 全球服务中断

🔗 cloudflarestatus.com: Cloudflare R2 Global Outage

Cloudflare 目前正在处理账单订阅更新和发票问题，包括订阅升级、降级和取消的间歇性问题，可能导致账单费用被错误应用。部分用户可能遇到未支付发票或支付链接过期的问题，建议联系支持团队。此外，部分地区的服务出现部分中断，如非洲和亚洲的多个城市。

11. 预训练大语言模型使用傅里叶特征进行加法运算（2024）

🔗 arxiv.org: Pre-Trained Large Language Models Use Fourier Features for Addition (2024)

研究表明，预训练大语言模型（LLMs）通过傅里叶特征进行加法运算。这些特征在隐藏状态中表示数字，并通过频率域中的稀疏特征进行计算。MLP层主要使用低频特征近似答案的幅度，而注意力层则使用高频特征执行模运算。预训练对模型性能至关重要，随机初始化的模型仅能利用低频特征，导致精度较低。引入预训练嵌入可显著提升性能。

12. Frank Lloyd Wright’s mile high skyscraper proposal (2021)

🔗 onverticality.com: Frank Lloyd Wright’s mile high skyscraper proposal (2021)

13. R1 Computer Use

🔗 github.com: R1 Computer Use

14. 微软 Go 1.24 FIPS 变更

🔗 devblogs.microsoft.com: Microsoft Go 1.24 FIPS changes

Go 1.24 的加密包经过重大重构，使标准库符合 FIPS 140-3 标准。微软 Go 1.24 继续使用系统库（如 OpenSSL 和 CNG）进行加密操作，并新增对 macOS 的预览支持。此外，改进了对 Azure Linux 的支持，确保与 FIPS 140-3 兼容的 SymCrypt 提供程序无缝集成。