Hacker News 中文摘要

航空业长期面临经济停滞，尽管航空旅行变得更便宜和安全，但其他方面却停滞甚至倒退。过去50年，通用航空尤其是个人航空领域发展不佳，个人飞行并不实用。最近，美国联邦航空管理局提出的MOSAIC规则可能带来变革，使个人航空更加可行，值得关注和研究。

文章探讨了在Zig语言中实现“运行时可调整大小的结构体”的概念，并利用Zig的编译时功能设计了相关API。作者通过分析Zig标准库中的数组和多元素指针，解释了如何通过组合这些基本类型来实现动态调整大小的结构体，并提供了一个GitHub上的最小化实现示例。

文章介绍了OCaml编程语言的特点，强调其正确性、高效性和优雅性，并提供了关于OCaml的历史、现状及未来发展的概述，同时涵盖了CS 3110课程的简要历史。

雅虎曾是互联网的首页代表，但在2016年7月25日，它以48亿美元的价格被Verizon收购，结束了独立运营。雅虎由斯坦福大学学生杨致远和大卫·费罗于1994年创立，最初名为“杰瑞的万维网指南”。1996年上市时市值迅速突破10亿美元，但最终未能保持辉煌，市值从125亿美元暴跌至50亿美元，成为科技史上最令人唏嘘的交易之一。

实验室培育钻石近年迅速崛起，因其价格优势和伦理考量，逐渐取代了传统开采钻石的市场地位。多伦多珠宝商Aret Oymakas表示，其业务中天然钻石占比从2018年的100%骤降至如今的3-4%。这一趋势对加拿大北部等地的钻石开采业造成了显著冲击。

AMD Zen 5处理器在性能上实现了显著提升，指令获取率从每时钟周期16字节增加到32字节，解决了长期存在的瓶颈问题。Zen 5每时钟周期可执行多达六条指令（偶尔八条），增加了执行单元数量，包括六个整数ALU和四个地址生成单元。高性能要求程序员避免长依赖链，以充分利用其高吞吐量。

地球倾斜了31.5英寸，这一现象本不应发生。科学家们正在研究其原因，可能涉及地下水抽取、冰川融化等人类活动对地球质量分布的影响。这一变化可能对气候和生态系统产生深远影响，需进一步监测和研究。

研究表明，人体衰老在50岁左右加速，且不同器官的衰老速度存在差异。

微软在2025年4月为Copilot Enterprise推送了更新，启用了运行Jupyter Notebook的Python沙盒，可在后端执行代码。通过Jupyter Notebook语法%command，可以轻松执行底层系统代码。尽管有时Copilot会表现出不情愿，但整体上能够执行Linux命令，并以‘ubuntu’用户身份运行。

Discord新推出的年龄验证工具存在漏洞，用户发现可以通过使用高保真视频游戏角色的图片来绕过验证。该工具旨在遵守英国《在线安全法》，要求用户提供面部照片或身份证件以访问成人内容。然而，这一漏洞暴露了验证系统的不严谨性，可能无法有效保护未成年人免受不适宜内容的影响。