Hacker News 中文摘要

纽约市实施交通拥堵收费政策后，区域内空气污染显著下降。这项措施通过减少车辆通行改善了空气质量。

科学史常被描绘为白人男性的成就史，女性科学家往往被忽视。历史学家玛格丽特·罗斯特将这种现象称为"玛蒂尔达效应"，源自女权主义者玛蒂尔达·盖奇1893年对女性发明能力的辩护。一个多世纪后，罗斯特因挖掘女性科学家的贡献而获得殊荣。

文章强烈批评TLS中间人检测软件，认为这类产品打着安全旗号实则破坏TLS加密协议的核心保障，本质上就是实施中间人攻击，给用户带来诸多麻烦却几乎没有实际安全效益。作者呼吁行业停止这种破坏网络安全基础的行为。

文章回顾了Jack Crenshaw于1988-1995年编写的经典编译器教程《Let's Build a Compiler》，探讨了为何这个使用Pascal和68000汇编的老教程至今仍受追捧。作者将教程中的编译器用Python重写并生成WebAssembly代码，分享了转换过程中的心得，相关代码已开源。

文章讨论了开源软件的定义争议。Ruby on Rails创始人将限制商业竞争的许可证称为"开源"，但该许可违反开源促进会的官方定义。WordPress创始人反驳称不能随意重新定义"开源"这一具有特定含义的术语。作者指出"源代码可用"不等于"开源"，但这也无可厚非。

人工智能发展面临电力短缺问题，Boom公司基于超音速技术开发了新型天然气涡轮机Superpower，可提供42兆瓦电力，已获得3亿美元融资和首个客户，标志着公司进入自筹资金发展阶段。

Block、Anthropic和OpenAI联合成立Agentic AI基金会(AAIF)，旨在推动开源自主AI的发展。该基金会由多家科技巨头支持，将资助关键社区项目和研究，建立开放协议，促进不同AI系统的协作。Block、Anthropic和OpenAI分别贡献了开源项目，其他成员包括亚马逊、谷歌、微软等企业。

文章介绍了英特尔8087浮点协处理器的逆向工程分析。这款1980年推出的芯片极大提升了浮点运算速度，对早期PC应用如CAD和电子表格至关重要。作者通过显微镜观察芯片内部结构，揭示了其包含4-7.5万个晶体管，并详细描述了芯片的金属布线、多晶硅层及数据路径等设计特点。8087的影响深远，现代计算机仍沿用其浮点系统架构。

Linux内核维护者峰会达成共识，Rust语言已从实验阶段转为内核核心组成部分，不再被视为实验性功能。这标志着Rust在内核开发中获得了正式地位。

纽约实施拥堵收费政策后，6个月内空气污染水平下降了22%。这一措施有效减少了交通排放，改善了城市空气质量。