为人工智能繁荣提供动力的數據中心越来越依赖天然气，可能导致温室气体排放量大幅增加。尽管一些公司声称优先考虑可持续性，但OpenAI、Oracle、Microsoft、Fermi 和 Pacifico Energy 等公司正在开发由新的燃气发电厂支持的大型园区。 这些项目，包括支持 OpenAI 的“星门项目”和 Fermi 的“特朗普园区”，*可能*每年排放超过 1 亿吨二氧化碳当量——超过整个州的排放量。虽然各公司声明致力于提高效率并最终采用清洁能源，但当前的基础设施严重依赖天然气来确保能源密集型人工智能运营的可靠电力。一些项目正在进行修订以降低排放，但具体数据仍然有限。正如能源分析师 Koomey 所述的核心论点是，人工智能产生的经济价值超过了运行这些燃气发电厂的环境成本。
每日HackerNews RSS
## AI 数据中心与温室气体排放 - 摘要
一份最新报告强调了人工智能数据中心快速增长可能对环境产生的重大影响。 新的燃气发电设施集中在经济机会有限的地区，例如得克萨斯州的阿比林，其集体排放的温室气体可能超过整个国家，甚至可能与摩洛哥2024年的排放量相匹敌。
讨论的中心在于，在寻求气候解决方案的同时，建设这些能源密集型中心所存在的讽刺意味。 担忧包括对化石燃料的依赖，特别是天然气，以及缺乏强大的电网基础设施来支持可再生能源替代方案。 虽然有人建议将人工智能工作负载调整为与太阳能可用性相符或利用电池存储，但也有人指出这些解决方案的高成本和局限性。
许多评论员批评将人工智能开发置于可持续能源实践之上，质疑其益处是否超过环境成本。 关于人工智能提高的生产力是否会抵消排放，或者是否只会导致消费增加，存在争论。 最终，这场对话强调了迫切需要采取更可持续的方式来为人工智能革命提供动力，可能通过碳定价或转向可再生能源。
## AI 生成代码：谁真正拥有它？ 像 Claude、Cursor 和 Codex 这样的人工智能编码工具正在迅速改变软件开发，但由此产生的代码的法律所有权却出乎意料地不明确。 如果您正在发布人工智能辅助代码，了解风险至关重要。 版权法要求*人类*作者。 主要由人工智能生成的代码可能无法获得版权保护，如果您被复制，将没有任何法律途径。 即使存在版权，您的**雇佣合同**很可能将所有权分配给您的雇主——使用公司工具或时间完成的任何工作通常被视为“受雇创作”。 尤其要小心使用雇主授权的人工智能工具进行副项目。 一个隐藏的危险是**开源许可污染**。 人工智能模型在庞大的数据集上进行训练，包括带有 copyleft 许可（如 GPL）的代码，这些许可*要求*如果您分发衍生作品，则必须发布您的源代码。 人工智能可能会不知不觉地合并授权代码，从而产生法律责任。 **为了保护自己：** 1) 定期扫描您的代码库以查找开源许可。 2) 记录您的*创造性*贡献——架构决策、拒绝和重组——以证明有意义的人类作者身份。 3) 审查您的雇佣合同中的知识产权条款。 4) 如果要商业部署人工智能辅助代码，请使用具有适当赔偿条款的商业人工智能计划。 忽视这些问题可能导致法律纠纷，尤其是在法院努力应对这些新挑战时。 积极的文档记录和意识是关键。
启用 JavaScript 和 Cookie 以继续。
对不起。
## 人类冗余时代的临近与社会优势
人工智能并非真正“思考”，而是反映了过去人类集体的思想——而我们正面临着降低这种输入质量的风险。虽然IBM、Duolingo和Klarna等公司正在迅速用人工智能取代工人，但最近一项研究揭示了一个令人担忧的趋势：人工智能辅助可以带来*个人*创造力的提升，但会导致*集体*同质化——一种“公地悲剧”，即多样性思维的减少。
这凸显了一个关键的依赖性：人工智能的智能不仅仅在于技术，还在于其学习语言的文明的*社会复杂性*。随着人工智能训练数据越来越多地依赖于人工智能生成的内容，它面临着一个危险的反馈循环，收益递减，并失去不同意见、专业知识和多样化视角的细微差别。
关键并非仅仅是扩大人工智能的规模，而是要培养*更多*的人际互动。组织应该优先考虑利用人工智能来*增强*学习和协作的角色，而不仅仅是自动化任务。忽视这种“社会优势”——即驱动人工智能能力的丰富人类社会生活——可能会侵蚀其智能的基础。最终，未来的成功取决于认识到人工智能的潜力是一种遗产，就像任何遗产一样，它需要谨慎的再投资——在人、互动以及驱动真正创新的复杂社会过程中。
对不起。
GitHub 近期经历了两次影响可用性的事件，公司对此造成的中断表示诚挚的歉意。这些事件凸显了加速计划中的扩展努力的必要性，最初目标是在 2025 年前将容量提高 10 倍，现在已修订为 30 倍，这归因于软件开发（特别是“代理式”工作流程和大型单体仓库的兴起）的快速增长。
目前的核心重点是**首先保证可用性**，其次是容量和新功能。 立即采取的措施包括解决瓶颈（例如将 Webhooks 从 MySQL 迁移），隔离关键服务（Git、GitHub Actions）以及将代码从 Ruby 迁移到 Go。 长期计划涉及多云战略，以提高弹性。
4 月 23 日的事件涉及合并队列操作中的回归，影响了约 2,300 个带有错误合并提交的拉取请求（未发生数据丢失）。 4 月 27 日的事件源于 Elasticsearch 集群过载（可能为僵尸网络攻击），影响了搜索功能。
GitHub 正在提高透明度，更新状态页面并改进事件报告。 他们致力于提高可靠性，扩展以满足未来的需求，并与开发者进行更有效的沟通。
## 平铺文字：爱的劳动
受童年对游戏开发的热情驱使，这款《平铺文字》的创作者最初将这款每日解谜游戏作为一项小型个人项目启动。令他惊讶的是，它迅速获得了一批忠实玩家，现在每天都有数千人玩，甚至还获得了奖项！
在过去的六个月里，创作者和他的妻子勤奋地每天制作一个新谜题，这源于头脑风暴和对这个过程的真正享受。玩家反馈——近700条提交——非常有价值，直接改进了游戏，并揭示了家庭通过谜题建立联系的温馨故事。
最近的更新包括用于同步进度的用户帐户，以及令人兴奋的功能即将推出：玩家提交的谜题以及潜在地访问创作者的谜题构建工具。开发者积极寻求进一步的反馈，希望继续根据玩家的愿望来发展《平铺文字》。最终，游戏的成功证明了创造的乐趣和共享体验的力量。
**(第一行答案是时间)**
对不起。
## 巨型机器的微观世界：ASML 与芯片的未来
如今的智能手机拥有比阿波罗登月时使用的计算机强大数百万倍的处理能力——这得益于硅芯片上不断缩小、日益密集的晶体管。阿斯麦（ASML）是一家荷兰公司，在制造这些先进半导体所需的机器方面拥有近乎垄断的地位，是推动这一进展的核心。
这些机器价格超过 1.2 亿美元，需要数十个集装箱运输，利用一种称为光刻的技术——本质上是使用光在芯片上“印刷”极其精确的图案。阿斯麦的优势源于其开创性的“极紫外”（EUV）光刻技术，该技术使用迄今为止最短的光波长，从而实现指数级更密集、更强大的芯片。
阿斯麦的成功并非理所当然。最初，它只是飞利浦公司的一个苦苦挣扎的分支机构，通过非常规策略克服了挑战：与美国政府资助的研究合作、向竞争对手出售股份，以及大胆押注 EUV 技术。至关重要的是，他们采用了模块化设计，外包组件并与蔡司（Zeiss）和台积电（TSMC）等供应商建立了深入的合作关系。
这种协作方式，加上重视人才和隐性知识的企业文化，使阿斯麦能够克服巨大的技术障碍，并成为一个至关重要、尽管不太可能的欧洲科技巨头，位于全球地缘政治和技术进步的核心。计算的未来取决于他们持续的创新。
## 比亚迪海豹08：全新旗舰电动汽车挑战市场
比亚迪在北京车展上推出了其全新旗舰电动轿车海豹08，旨在颠覆高端电动汽车市场。该车型拥有令人印象深刻的特性，包括比亚迪新一代刀片电池，目标续航里程超过1000公里（620多英里），并采用革命性的“闪充”技术——五分钟即可增加400公里的续航里程。
海豹08基于800伏平台打造，提供双电机全轮驱动选项，最高可达684马力。它是一款全尺寸轿车（车长5150毫米），配备后轮转向、空气悬架和比亚迪先进的DiPilot 300智能驾驶系统。
海豹08定位为梅赛德斯-奔驰EQS等车型的竞争对手，在续航里程和动力方面提供可比甚至更优越的性能，且价格可能显著低于后者——预估在42,000美元至49,000美元之间。该车型预计于2026年第二季度在中国上市，国际市场供应（特别是欧洲）的可能性很大，展示了比亚迪日益增长的全球雄心和电动汽车市场前所未有的规模。
对不起。
这张2026年4月27日的每日天文图片（APOD）展示了彗星C/2025 R3 (PanSTARRS) 巧妙地位于卫星轨迹网络*之后*。这些轨迹是由于10分钟的长曝光拍摄造成的，使得卫星呈现为条纹而不是移动的光点。
目前，观测这颗彗星具有挑战性，因为它在天空中靠近太阳。然而，在接下来的几周里，它将从南半球可见，然后在前往星际空间的过程中逐渐消失。彗星位于图像中心略上方——一个微弱的访客，正在穿过我们的太阳系。这张照片是在德国巴伐利亚州日出前拍摄的。
## Wasm：并非传统的栈式机器 尽管通常被描述为一种栈式语言，WebAssembly (Wasm) 从根本上不同于 Forth 等传统的基于栈的语言。Wasm *使用*栈进行求值，但缺乏真·栈式机器中关键的栈操作指令（如 `dup` 和 `swap`）。 传统的栈式机器通过隐式引用栈中值的程序顺序来操作。然而，Wasm 主要依赖于直接求值表达式，限制了栈的重新排列。这迫使编译器使用变量——有效地将 Wasm 转换为寄存器机器——来执行即使是适度复杂的运算，例如重用值或优化表达式（例如，`x * x` 需要临时变量）。 Wasm 指令集反映了这一点：大量的生产者/消费者和操作，但最少的栈操作。这与 JVM 形成对比，JVM 是一种具有完整栈改变指令集的栈式机器。 最终，Wasm 可以更好地理解为一种能够处理复合表达式的寄存器机器，这些表达式以逆波兰表示法等格式编码。虽然基于栈的求值对于初始实现简单性很有用，但它并不能定义 Wasm 的核心语义。使用传统栈式 VM 的经验并不能完全转化为 Wasm 优化策略。
## WASM 设计与验证总结
本次讨论围绕 WebAssembly (WASM) 的设计选择，以及为何它尽管常被描述为栈机，却并非传统的栈机。WASM 设计中的一个关键约束是**快速启动时间**，这导致了线性时间、单次遍历的验证器。该验证器通过在代码块入口和出口处检查函数签名来工作，避免了 JVM 使用的跨控制路径的复杂数据流分析——这是一个代价高昂的过程。
这个约束极大地影响了 WASM 的指令集，倾向于简化验证的后缀编码。像 `dup` 这样的特性并非因为美观而缺失，而是因为它们对线性验证器来说不是必需的，并且可以通过类型局部变量来复制。
对话还涉及 WASM 的成功和现状。虽然最初的炒作已经平息，但 WASM 被广泛应用于 Figma 和 Google Sheets 等应用程序中，并且正在成为标准的移植目标。人们对规范中潜在的功能蔓延表示担忧，但总体而言，WASM 被认为是一种成功且稳定的技术。 许多用户讨论使用 WASM 来编译 Rust、Go 和 SQLite 等语言，以生成与 Web 兼容的代码。