1. OpenAI请求白宫豁免州级AI法规；
2. 失传的对数艺术；
3. 曼哈顿的蒸汽网络：城市供暖的百年历史；
4. IO设备与延迟；
5. “普通”工程师是优秀团队的关键；

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

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

1. OpenAI请求白宫豁免州级AI法规

🔗 finance.yahoo.com: OpenAI asks White House for relief from state AI rules

OpenAI向特朗普政府提出请求，希望为自愿与联邦政府共享AI模型的人工智能公司提供州级法规豁免，以避免数百项州级AI法案阻碍美国技术进步。OpenAI建议通过美国AI安全研究所作为政府与私营部门的桥梁，提供责任保护，并呼吁政府支持AI基础设施投资和版权改革，以确保美国在AI领域的领导地位。

2. 失传的对数艺术

🔗 lostartoflogarithms.com: The Lost Art of Logarithms

这是一部尚未完成的作品，内容尚未经过专业编辑，部分段落连贯，部分仅为短语或笔记。作者在多种设备和浏览器上测试页面，但在iPad Mini和手机上显示效果不佳。作品分为四部分，涵盖对数的历史、应用及数学家的工作，包括纳皮尔和布里格斯的贡献，以及对数在三角学、天文学和音乐等领域的广泛应用。

3. 曼哈顿的蒸汽网络：城市供暖的百年历史

🔗 worksinprogress.co: Steam Networks

自1882年以来，曼哈顿通过105英里长的管道网络向家庭和企业输送蒸汽，用于供暖、清洁和工业用途。蒸汽系统覆盖了曼哈顿75%的住宅面积，推动了城市的垂直发展。中央供暖系统的发明解决了传统供暖的低效和污染问题，而钢铁建筑框架和安全电梯的引入则使高层建筑成为可能。如今，蒸汽网络仍是曼哈顿基础设施的重要组成部分。

4. IO设备与延迟

🔗 planetscale.com: IO Devices and Latency

本文探讨了非易失性存储的历史、功能与性能，重点介绍了磁带、硬盘和固态硬盘（SSD）的工作原理及其延迟差异。磁带适合大容量低频访问，硬盘通过机械旋转降低延迟，而SSD则通过电子信号实现快速读写，但受并行性和垃圾回收机制影响。

5. “普通”工程师是优秀团队的关键

🔗 spectrum.ieee.org: “Normal” engineers are the key to great teams

软件工程师Charity Majors反驳了“10倍工程师”的神话，认为普通工程师才是团队成功的关键。她指出，工程师最大的快乐来自于解决问题和推动进展，而不是追求所谓的“超级工程师”。优秀的团队依赖于协作和多样性，而非个别天才。

6. 业余望远镜制作主页

🔗 stellafane.org: Amateur Telescope Making Main Page

业余望远镜制作（ATM）是一项充满成就感和知识探索的活动。尽管如今市场上已有许多现成的望远镜，但许多天文爱好者仍选择自制望远镜，以体验亲手打造工具的乐趣。本文介绍了镜面研磨和抛光的基本技术，并提供了详细的制作指南和测试方法。无论是初学者还是有经验的制作者，都能从中找到适合自己的方法，打造出性能优异的望远镜。

7. 海盗湾联合创始人卡尔·伦德斯特伦去世

🔗 independent.co.uk: Pirate Bay co-founder Carl Lundström has died

卡尔·伦德斯特伦，文件共享网站海盗湾的联合创始人和早期资助者，在斯洛文尼亚山区的一次小型飞机坠毁事故中去世。他当时正从克罗地亚首都萨格勒布飞往瑞士苏黎世，飞机因恶劣天气导致空间迷失而坠毁。伦德斯特伦曾因海盗湾的版权侵权案被判刑，并资助过多个极右翼政党。他还是瑞典知名脆饼品牌Wasabröd的继承人。

8. 程序员必备的统计公式（2013）

🔗 evanmiller.org: Statistical Formulas for Programmers (2013)

本文由Evan Miller撰写，旨在为程序员提供一套实用的统计公式，帮助他们在数据处理中更好地应用统计学知识。文章涵盖了平均值报告、比例报告、计数数据报告、分布比较以及趋势线绘制等多个方面的公式，并附有简明解释和相关参考资料。通过这些公式，程序员可以更准确地分析和解释数据，提升数据展示的效果。

9. 蜂蜜小兔

🔗 mameson.com: Honey Bunnies

《蜂蜜小兔》是Maeda Mameo于2024年创作的作品，内容简短而富有深意。“fro 9”作为核心元素，可能象征着某种隐喻或主题。作品通过简洁的表达，引发读者对时间、成长或记忆的思考，适合喜欢探索深层意义的读者。

10. 华为卷入欧洲议会新一轮腐败调查

🔗 ftm.eu: Huawei targeted in new European Parliament corruption probe

比利时警方突袭了华为在欧盟的办公室及其游说者的住所，怀疑其通过贿赂、伪造文件和洗钱等手段影响欧洲议会议员。调查涉及约15名现任及前任议员，代号为“Operation Generation”。此次调查可能对欧盟与中国的关系产生重大地缘政治影响。华为否认与政府有关联，但研究显示其99%股份由工会委员会持有。

11. 数学史入门：简明历史与精彩片段

🔗 thonyc.wordpress.com: History of Maths for Beginners

《数学史入门》一书通过简明的历史概述和30个独立主题的“片段”，为初学者提供了数学发展的概览。书中涵盖了从古代文明到现代数学的重要里程碑，如零的发现、负数的引入以及代数符号的演变。每个片段都配有详细的参考文献，帮助读者深入探索。尽管有些细节存在争议，但整体上为读者提供了清晰且引人入胜的数学史入门。

12. Y Combinator呼吁白宫支持欧洲《数字市场法案》

🔗 techcrunch.com: Y Combinator urges the White House to support Europe’s Digital Markets Act

Y Combinator近日致信白宫，呼吁特朗普政府公开支持欧洲的《数字市场法案》（DMA）。该法案旨在限制六大科技巨头（包括Alphabet、亚马逊、苹果等）的垄断行为，促进市场竞争。Y Combinator认为，DMA有助于为美国初创企业创造机会，尤其是在AI、搜索和消费应用领域。尽管特朗普政府此前对欧洲的科技监管持批评态度，但Y Combinator强调DMA与美国创新精神一致，并呼吁白宫重新评估立场。

13. C Plus Prolog：将Prolog与C结合的实验性语言

🔗 github.com: C Plus Prolog

C Plus Prolog（简称C+P）是一种将Prolog与C语言结合的实验性编程语言。它通过将Prolog的语法转换为C代码，试图在C的实用性和Prolog的表达能力之间找到平衡。C+P引入了一些独特的语法特性，如*=>操作符用于宏定义，以及支持编译时Prolog逻辑。尽管C+P生成的是高效的C代码，但其语法复杂且缺乏错误处理，实用性有限。作者认为，虽然C+P在某些方面接近实用，但现有语言如Nim、Haxe和D提供了更好的替代方案。

14. Meta通过仲裁阻止前员工推广揭露性书籍

🔗 cnbc.com: Meta goes to arbitrator to prevent whistleblower from promoting tell-all book

Meta试图阻止前员工Sarah Wynn-Williams推广其新书《Careless People》，书中指控公司高管性骚扰及为进入中国市场而开发审查工具。紧急仲裁员裁定，Wynn-Williams不得继续宣传该书，并需撤回对Meta的贬损言论。Meta称其违反了2017年离职协议中的非贬低条款，并指责其隐瞒书籍项目。

15. Xata Agent：PostgreSQL 的 AI 专家

🔗 github.com: Xata Agent: AI agent expert in PostgreSQL

Xata Agent 是一款开源的 AI 代理，专为 PostgreSQL 数据库设计。它能够监控数据库、发现问题的根本原因，并提供修复和改进建议。该代理支持多种云服务（如 AWS RDS、Aurora），并可通过 Slack 发送通知。它使用预设的 SQL 命令，避免执行破坏性操作，并通过工具和手册避免 AI 幻觉。Xata Agent 可自托管，提供 Docker 镜像，并支持扩展和自定义。

16. 教堂常见问题解答

🔗 whatever.scalzi.com: The Church FAQ

除了教堂本身，我们还购买了位于同一地块的教堂教区住宅，以避免在修复如挡土墙等问题时与他人协商。住宅内有租客，我们并未驱逐他们。此外，我们购买了教堂北侧的房子，拆除后为教堂提供了前院，并在后方建造了停车场，解决了教堂原本没有停车位的问题。

17. 递归的致命隐患：libexpat 中 CVE-2024-8176 的故事

🔗 blog.hartwork.org: Recursion kills: The story behind CVE-2024-8176 in libexpat

libexpat 2.7.0 发布，修复了一个长期存在的递归漏洞（CVE-2024-8176）。该漏洞允许攻击者通过嵌套的实体引用导致栈溢出，引发拒绝服务。经过长达10个月的修复工作，Siemens 等公司合作解决了这一复杂问题。递归在C语言中虽美但危险，开发者应警惕其安全隐患。

18. Game Boy Advance 架构解析：从硬件到历史

🔗 copetti.org: Game Boy Advance Architecture – A Practical Analysis

Game Boy Advance（GBA）于2001年发布，搭载了ARM7TDMI处理器，支持32位指令集，专为低功耗设计。GBA还集成了Sharp SM83处理器以实现对Game Boy和Game Boy Color游戏的兼容性。ARM7TDMI的Thumb指令集通过16位编码优化了代码密度，适合移动设备。GBA的硬件设计展示了任天堂如何结合现成技术与自主研发，打造出独特的便携式游戏机。

19. 教濒危朱鹮迁徙的漫长飞行

🔗 newyorker.com: The long flight to teach an endangered ibis species to migrate

科学家约翰内斯·弗里茨带领团队，通过微型飞行器引导人工孵化的北秃鹮从德国巴伐利亚飞往西班牙南部，帮助它们重新学习迁徙。这一项目旨在恢复该物种在欧洲的野生种群，展现了人类在生态保护中的坚持与创新。

20. 谨慎而有目的地“氧化”Ubuntu

🔗 discourse.ubuntu.com: Carefully but Purposefully Oxidising Ubuntu

Ubuntu计划从25.10版本开始，逐步采用基于Rust语言重写的核心工具（如uutils coreutils和sudo-rs），以提升系统的安全性和可靠性。这些工具将替代传统的GNU实现，旨在通过Rust的内存安全特性减少漏洞风险。为此，开发者推出了实验性工具oxidizr，帮助用户轻松切换新旧实现。尽管存在一些兼容性问题，但团队对未来的进展充满信心。

21. π差点不是3.14：一个数学常数的历史与争议

🔗 mathenchant.wordpress.com: How Pi Almost Wasn’t

π（3.14…）作为圆周率的代表，几乎成为数学中的基本常数。然而，历史上数学家们曾考虑过其他倍数，如6.28…（2π）或1.57…（π/2）。威廉·琼斯在1706年首次用“π”表示周长与直径的比值，而欧拉最终确立了3.14…的标准。尽管如此，许多公式在使用2π时更为简洁，近年来有人主张用τ（6.28…）替代π。π的历史充满了偶然与选择，反映了数学符号的演变与争议。

22. 跨过程稀疏条件类型传播

🔗 railsatscale.com: Interprocedural Sparse Conditional Type Propagation

在动态语言（如Ruby）中，编译器需要精确的类型信息来进行优化。本文介绍了一种跨过程类型分析方法，通过稀疏条件常量传播（SCCP）技术，结合静态单赋值（SSA）形式，追踪数据流并推断类型。该方法能够在未注解的程序中推断出函数返回类型，并通过类型格限制类型集合的大小，平衡分析精度与时间。文章还探讨了调用点敏感性，以提高分析的精确性。

23. 美国环保署启动史上最大规模去监管行动

🔗 epa.gov: EPA Launches Biggest Deregulatory Action in U.S. History

美国环保署（EPA）署长李·泽尔丁宣布，将实施31项历史性行动，以推动特朗普总统的“美国复兴”计划。这些行动旨在降低美国家庭生活成本、释放美国能源潜力，并重振美国汽车工业。此举将减少数万亿美元的监管成本，并为美国创造更多就业机会，特别是在汽车制造业。同时，EPA将重新审视多项奥巴马和拜登时期的环保法规，以减轻对经济的压力。

24. 土地价值税的失败

🔗 worksinprogress.co: The failure of the land value tax

19世纪末，美国经济学家亨利·乔治的《进步与贫困》提出对土地价值征税，以解决经济不平等问题。20世纪初，英国自由党政府尝试实施土地价值税，但因行政复杂性和定义模糊导致失败，税收成本远超收入，甚至打击了建筑业。这一历史教训表明，土地价值税在实践中面临巨大挑战，未能解决地方政府的财政危机，反而削弱了现有的财产税体系。

25. 连接全球企业与乌克兰顶尖科技公司的平台

🔗 codeua.com: A platform where you can start working with the best Ukrainian tech companies

CodeUA 是一个连接国际企业与乌克兰优质科技公司的平台，提供从产品开发到云解决方案的多样化服务。平台由乌克兰数字化转型部、利沃夫IT集群和USAID共同支持，确保所有公司经过严格审核。通过AI匹配算法和法律支持，CodeUA 帮助客户轻松找到合适的合作伙伴，推动全球创新与经济增长。