## 北美机场状况 - 今天
本报告提供了今天北美主要机场的状况快照。多家机场正经历重大干扰，特别是航班取消和延误。
拉瓜迪亚（LGA）、温哥华（YVR）、哈利法克斯（YHZ）和普埃尔塔巴亚尔塔（PVR）报告了**高取消率**。拉瓜迪亚机场也受到**地面延误**的影响。
许多枢纽机场普遍存在**显著的航班延误**，包括夏洛特（CLT - 52%）、肯尼迪（JFK - 80%）、纽瓦克（90%）和卡尔加里（67%）。**航班到达延误**也很普遍。
一般来说，美国南部机场（迈阿密、劳德代尔堡、达拉斯/沃斯堡、凤凰城）的航班到达准点率很高，而多家加拿大机场（多伦多、蒙特利尔、渥太华）的航班到达准点率达到100%，但存在显著的航班延误。
有关最新信息，请查阅完整报告以获取特定机场的详细信息和实时更新。
每日HackerNews RSS
浮动机场
Flighty Airports
35 天前
## Flighty：Hacker News 深度解析
Flighty 是一款 iOS 应用，因其主动的航班跟踪和延误通知而日益受欢迎，通常能在航空公司之前提醒用户。虽然新的网页界面展示了机场中断数据，但其核心价值在于应用程序本身。
用户，尤其是经常旅行者和航空公司机组人员，称赞 Flighty 通过提前预警延误和取消，节省了时间和减少了压力。许多人愿意付费订阅，理由是其可靠性和精心设计的界面。
讨论强调了该应用在应对中断和最大化旅行期间有限的休息时间方面的实用性。然而，一些人批评其仅限 iOS 平台，并质疑新网页界面的价值。 也有人对数据准确性和应用程序内的设计选择提出了担忧。 尽管存在这些问题，但总体情绪是积极的，许多用户认为 Flighty 是一项值得的投资。
这个Github仓库详细记录了作者构建一个C语言子集SubC的自编译编译器的过程。该项目最初是作为对编译理论的实践探索，从词法扫描和解析开始，逐步记录了函数、循环、结构体甚至预处理器等复杂功能的实现。 编译器最初的目标是ARM汇编，后来扩展到包含6809 CPU的后端，以及使用QBE的新后端。开发过程中涉及多次迭代、错误修复和优化，包括寄存器溢出和常量折叠。 虽然SubC现在基本完成，但作者已经转向一个新的语言项目alic，利用了SubC的一些想法和代码（并对Nils M Holm的公共领域作品进行了适当的许可声明）。仓库中的代码采用GPL3许可，而文档采用知识共享署名-非商业性使用-相同方式共享4.0许可。
一个Hacker News讨论围绕着“一个编译器写作之旅”(github.com/doctorwkt)，特别是作者在8位CPU上实现自我编译的成就——这是长期项目的一个令人满意的结论。
评论者表达了对这项工作的钦佩，并分享了相关的经验。 几个人推荐使用OCaml和Haskell等替代语言进行编译器项目，认为它们比C语言更有优势。 还有人强调了历史背景，提到了像《C语言编译器设计》和《实用编译器构造》这样具有影响力的书籍，这些书籍启发了这次旅程。
对话还涉及了2015/2016年左右编译器/解释器项目曾经的流行，以及线程中反复出现、无法解释的AI Claude的提及。 总的来说，讨论是积极和支持性的，庆祝了编译器开发中的一个重要里程碑。
## PS2 上的 LLM：复古 AI 壮举
一位开发者成功在 PlayStation 2 上运行了一个大型语言模型 (LLM)，这款主机已有 26 年历史，证明了即使在硬件限制下也是可行的。这是通过从头开始构建一个定制的 PS2 SDK，并巧妙地从 CD-ROM 流式传输模型权重来实现的，从而绕过了主机有限的 32MB 内存。
当前默认模型“brandon-tiny-10m-instruct”（10M 参数，Q8 精度）使用定制的量化格式 (PSNT) 来最小化尺寸。更大的模型（高达 77MB）也可以运行，但会增加 CD-ROM 的访问次数。
该项目依赖于仅将必要的数据——激活值、KV 缓存和 token 嵌入——在推理期间流式传输到 RAM 中。提供了 Python 工具，用于将模型从 Hugging Face 格式转换为 PS2 兼容的 PSNT 格式，支持三元、Q4 和 Q8 等量化级别。完整的项目，包括源代码和模型细节，可在 [naranjositos.tech](https://naranjositos.tech) 找到。
对不起。
我们向索拉告别。
Goodbye to Sora
35 天前
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
## OpenAI 停止 Sora
OpenAI 在 Sora 推出仅数月后，宣布停止其 AI 视频生成应用程序。这一决定源于战略转向编码和商业应用，并伴随着与迪士尼价值 10 亿美元的投资协议破裂。
用户反应不一，一些人享受了这款创意工具，但很快因其局限性和知识产权限制而失去兴趣。许多人指出该应用程序的高昂计算成本以及缺乏明确的盈利途径。
此举引发了对面向消费者的 AI 视频生成可行性的质疑，并预示着 AI 炒作周期可能降温。OpenAI 将专注于将其视频模型集成到其他产品中，但独立应用程序和开发者访问权限将被停止。一些人推测这反映了 OpenAI 控制模型输出和防止滥用的困难，而另一些人则认为这仅仅是成本不可持续和缺乏市场需求的结果。
## 评估大型语言模型面临的挑战 大型语言模型（LLM）带来了一个独特的挑战：我们现有的语言和框架无法很好地理解它们。它们既不是机器，也不是思维，而是一种全新的存在——本质上是复杂的统计引擎，而非逻辑思考者。这导致我们错误地将“思考”、“幻觉”甚至“意图”等概念应用于描述它们的功能，从而塑造了我们的认知，并阻碍了客观评估。 我们陷入了一种“心智的空想性”，在只有模仿的地方看到智能，就像基于表象而非真正理解通过一个有缺陷的图灵测试一样。对话式的“聊天”界面进一步强化了这一点，鼓励我们将LLM视为对等物，并仅仅因为我们在互动中投入了精力而接受次优的结果。 最终，我们常常“惊叹于狗能从乐器中发出吱吱声”——对智能的*表象*印象深刻，以至于未能批判性地评估输出的*质量*。为了前进，我们需要新的语言——或许可以从小说中汲取灵感，将LLM定义为“人工制品”或“实体”，并且愿意谨慎地对待它们，避免将人类属性投射到这些根本不同的创造物上。
对不起。
## Meta 被裁定对平台上的儿童安全负有责任 新墨西哥州陪审团裁定 Meta（Facebook 和 Instagram 的母公司）未能保护儿童免受在线掠夺者的侵害，并存在欺骗行为，判令该公司支付 3.75 亿美元的赔偿金。 这起诉讼由新墨西哥州总检察长提起，指控 Meta 因未能充分保护其平台而制造了“滋生剥削”的环境。 这是首次陪审团裁定 Meta 对这些问题负责，此前多年来，家长、倡导者和立法者一直对此表示担忧。 提供的证据包括举报人的证词，详细说明了被高管忽视的内部警告，以及卧底调查的细节，在该调查中，州政府创建的虚假资料受到寻求接触儿童的个人的联系。 Meta 计划上诉，重申其对青少年安全的承诺，并辩称其大力投资于保护措施。 然而，此案是社交媒体公司面临的更广泛的法律挑战的一部分，这些挑战涉及青少年安全问题，目前在洛杉矶还存在针对 Meta 和 YouTube 的另一起案件。 新墨西哥州正在进行的案件可能会导致进一步的处罚和平台变更。
## Meta 在儿童剥削案件中承担责任 & 加密辩论
陪审团裁定 Meta 对其平台（Facebook 和 Instagram）上的儿童性剥削活动负有责任。此案凸显了 Meta 的算法如何连接具有共同兴趣的用户，可能将掠夺者与儿童联系起来。原告的这场胜利引发了对加密未来发展的担忧。
在审判期间，Meta 宣布将停止在 Instagram 上使用端到端加密，理由是它阻碍了执法部门抓捕掠夺者的能力。评论员们争论这一举措是否合理，一些人认为这是儿童安全所必需的权衡，而另一些人则担心这为隐私和监控树立了危险的先例。
一个关键的讨论点是操作系统层面的年龄验证的可能性，Meta 推动这一方案以转移责任。人们对这可能对隐私产生的影响表示担忧，以及是否能真正信任 Meta 处理用户数据，即使使用加密技术。许多人认为，核心问题不是儿童*在*社交媒体上，而是这些平台所助长的剥削行为。这场辩论的中心是平衡安全、隐私和科技公司的责任。
GEM（图形环境管理器）是Digital Research开发的一款早期GUI，比Windows 1.0早近九个月。它受到Apple Lisa的启发，最初因相似之处面临来自Apple的法律威胁，导致设计妥协，使得PC版本显得笨拙。虽然由于性能问题和缺乏软件，GEM在IBM PC上难以获得进展，但它在Atari ST上作为默认GUI获得了成功。
Atari ST更快的处理器使得GEM的性能问题不再那么突出，并且其捆绑销售确保了软件的可获得性。然而，软件盗版和平台缺乏完善最终导致了ST的衰落。
在PC上，GEM于1988年停止使用，部分原因是微软日益增长的统治力和OEM协议。它作为Ventura Publisher等应用程序的运行时库而延续。1999年，其知识产权被发布为开源，但开发最终停止。最终，GEM的潜力受到法律压力、硬件限制和微软市场力量的共同阻碍。
对不起。
## Video.js v10.0.0 Beta：全新重写
Video.js 正在进行重大升级，发布了 v10.0.0 Beta 版本，这是与 Plyr、Vidstack 和 Media Chrome 合作的结果——这些项目在 GitHub 上总共拥有 75,000 个星标。这次重建的重点是使播放器现代化，以适应当今的网络开发实践，并为未来的 AI 功能做好准备。
主要改进包括**默认包大小减少了 88%**，这得益于取消捆绑自适应比特率 (ABR) 支持以及新的流媒体引擎框架 (SPF)，该框架仅包含必要的代码。该架构现在具有高度可定制性，**一流地支持 React、TypeScript 和 Tailwind**，并利用可组合组件以获得更大的灵活性。
团队优先考虑了更好的开发体验，提供了**无样式的 UI 原语**和用于常见用例（视频、音频、背景视频）的预构建**预设**。他们还优化了代码库以适应 AI 代理，提供了更好的文档和组件结构，以支持 AI 辅助开发。
虽然目前仍处于 Beta 版本，并且与先前版本的功能完整性不完全相同，但 v10 旨在成为一个更高效、更可定制且更具未来感的视频播放器。预计全面发布时间为 2026 年年中。
## Video.js 重启：体积缩小 88% 并重建
私募股权收购了 Video.js 背后的公司后，原始创建者与 Plyr、Vidstack 和 Media Chrome 的合作者一起，重启了这款流行的开源视频播放器库。目标是：解决过时的架构并提高性能。
新的 Video.js (v10，目前处于测试版) 比其前身**缩小了 88%**，并拥有可组合的架构。它旨在提供跨浏览器的稳定视频播放、高级功能（如分析和 DRM，尽管并非全部已实现），以及各种流媒体格式和服务的通用 API。
虽然原生 HTML 视频标签足以满足简单的播放需求，但 Video.js 在需要自定义控件、高级功能和广泛兼容性时表现出色。核心库现在是“无头的”，允许灵活的渲染层，包括 React 和 Web Components。鼓励开发者测试测试版并提供反馈。
OpenAI在其发布仅几个月后关闭了Sora AI视频应用，促使迪士尼也退出其10亿美元的投资协议。虽然OpenAI仍然致力于AI视频技术——将其整合到ChatGPT中——但独立的Sora应用将被停止，因为该公司正在重新调整其目标。 Sora最初因免费使用现有知识产权而在好莱坞引发争议，这要求OpenAI后来赋予工作室对其内容更多的控制权。迪士尼的退出预示着战略转变，但他们仍然对尊重创作者权利的AI合作持开放态度。 此次关闭使谷歌成为AI视频生成领域的领先者，尽管谷歌自身也面临着与知识产权相关的法律挑战。最终，Sora似乎不太可能成为该行业的长期力量，可能成为一个值得注意但短暂的实验，在快速发展的AI领域中。
对不起。
v1.05 探索麻将 solitaire 与反义词匹配的结合。20个谜题供试用。基于23,791个反义词对，涵盖102,754个词汇。使用Michael Douma的Linguabase构建。
## 反物质：文字游戏谜题
开发者 michaeld123 在 Hacker News 上分享了一款名为“反物质”的可玩文字联想游戏，其机制基于麻将 solitaire。 游戏挑战玩家匹配相反的词语方块，利用从词典学和 LLM 推理构建的大型语义图（超过 1 亿条边）。
开发者指出，当前的 LLM 在复杂的谜题生成方面存在困难，需要图遍历才能获得有趣的结果。 20 个关卡都是算法生成并随机化的。 前端使用 Claude Code 创建。
早期反馈指出，在较高的屏幕上存在单词截断问题，并且对某些“相反”配对的准确性存在争议。 开发者承认定义相反词的细微之处，尤其是在简单的量表之外，并且乐于接受关于“相反”一词的更好替代方案的建议。 玩家还指出，麻将的呈现方式鼓励最小化选项，可能会过度简化游戏。 开发者正在考虑这些意见，以便进行未来开发，可能推出具有更高复杂性的移动版本。