## 中国启动全球最大的电动集装箱船
中国航运业在可持续发展方面迈出重要一步，交付了*宁远电鲲*，这是全球最大的智能、全电动集装箱船。该船在浙江宁波发射，运力超过740 TEU，代表了从设计到运营的零碳排放航运的完整生命周期发展。
该船由中国船舶集团的子公司独立开发，采用国产电力推进系统和先进的自主导航技术。预计每年可减少1462吨碳排放，消除硫氧化物、氮氧化物和颗粒物。
*宁远电鲲*将在宁波和嘉兴之间运营，展示电动动力在沿海集装箱运输中的可行性。王挺船长强调该船运行安静、操控灵敏，需要操作员专注于高效的能源管理。相关部门已成立专门团队监测船舶性能并确保安全运营，为更广泛地采用这项技术和中国海运业的绿色未来铺平道路。
每日HackerNews RSS
对不起。
## 科尔杜昂灯塔：文艺复兴杰作
科尔杜昂灯塔位于法国吉伦特河口附近海域7公里处，是一座历史悠久的非凡建筑。其建造始于1584年，完成于1611年，是法国最古老的灯塔，也是受罗马和宫殿设计启发，令人惊叹的文艺复兴时期建筑典范。
最初建造是为了解决航行危险并保护波尔多葡萄酒贸易，科尔杜昂灯塔在几个世纪中不断发展。18世纪的扩建提高了其高度——现为67.5米——并采用了创新的照明系统，包括第一个旋转照明盘，以及后来的菲涅尔透镜。
科尔杜昂灯塔于1862年被指定为历史古迹，并在2021年被联合国教科文组织列为世界遗产。 独特的是，它仍然由灯塔守护者居住，以确保其保存并提供导游服务。 尽管在2006年实现了自动化，但维持人类存在对于这座“灯塔之父”仍然至关重要，使其成为法国唯一仍在有人居住的灯塔。
对不起。
## 人工智能的意外反转 六个月前，人工智能领域面临怀疑论，由于大量投资却缺乏明确的盈利能力，人们将其与过去的泡沫相提并论。就连OpenAI的Sam Altman也表达了担忧。然而，情况发生了巨大变化。人工智能工具的广泛采用，特别是Anthropic的“Claude Code”，正在为软件开发者——乃至更广泛的领域——带来显著的生产力提升。 Anthropic的收入正在激增，可能在一年内超过全球任何一家公司，这得益于人工智能代理自动化了以前需要大量人工才能完成的复杂编码任务。最初的研究表明人工智能会阻碍编码，现在这一趋势被扭转，人工智能几乎将任务完成速度提高了20%。 这种成功正在推动需求，造成潜在的基础设施短缺。公司正在“数量级”地增加人工智能支出，甚至超过最初的预算，导致工具获取受限和芯片价格上涨。虽然盈利能力仍然是OpenAI和Anthropic等领导者的未来目标，但快速增长挑战了先前的泡沫预测。 现在的争论集中在这次繁荣是否仅限于编码，或者会扩展到更广泛的知识工作领域。新兴研究表明，人工智能的能力正在各个白领任务中迅速扩展，可能自动化法律和金融等领域的很大一部分工作。 势头已经转变，将证明人工智能衰退的责任放在了那些预测者身上。
对不起。
rvcore 是一个单核 RISC-V 模拟器，实现了 RV32IM ISA，除了 FENCE 和 EBREAK 指令，目前它们被视为 NOP。
构建需要 CMake 和支持 C++20 的编译器（Windows 需要 Cygwin）。
依赖项：libsdl3-dev / sdl3-devel
运行：
mkdir build
cmake -B build -DCMAKE_BUILD_TYPE=Release
cd build
cmake --build .
doomgeneric 的构建说明：
克隆 https://github.com/lalitshankarch/doomgeneric
必须安装 riscv64-unknown-elf-gcc 或配置了 ./configure --with-multilib-generator="rv32im-ilp32--" 的 riscv64-gnu-toolchain。
导航到 doomgeneric 并运行 make。
对不起。
此文档似乎是一个严重损坏的PDF文件。可见文本大多混乱且无法读取，包含随机字符和符号。无法确定原始内容。 文件结构表明它*曾经*是一个PDF（版本1.3），但数据流已严重损坏。使用标准PDF查看器打开该文件可能会导致错误或仅显示无意义的字符。 基本上，该文件在其当前状态下无法恢复。任何试图对其进行总结的行为都将是基于现有碎片化、无意义数据的纯粹推测。这可能是传输失败、存储错误或故意损坏的结果。
对不起。
2017年，参加科技大会成为职业发展的助力，这得益于西南航空的经济实惠和旅行积分的灵活性。最近，作者获得了一个难得的机会：参观位于达拉斯的西南航空总部。
参观展示了西南航空为飞行员提供的密集培训——包括紧急疏散和灭火等紧急程序，地点在LEAD中心。飞行员培训使用了26台高科技模拟器，每台价值超过1400万美元，以复制真实场景。
一个亮点是网络运营中心（NOC），这是航空公司的“大脑”，团队在那里管理每天的4000次航班，处理从跑道问题到天气延误的一切事务。TechOps机库展示了技术人员对西南航空800多架波音737飞机执行的精细维护。
参观最后参观了西南航空创始人赫伯·凯勒赫和科琳·巴雷特的保留办公室，以及聆听中心——他们的社交媒体指挥中心。与会者收到了独家礼品，为这次终生难忘的体验画上了圆满的句号。
## 西南总部之旅与幕后访问的吸引力
最近对西南航空达拉斯总部的参观，在Hacker News上引发了一场关于着迷于了解事物*真正*运作方式的讨论。最初的发帖者，一位西南航空的长期乘客，享受了探索737模拟器、网络运营中心和维护机库的过程。
这促使评论者分享他们自己难忘的参观经历——从跳伞员基地到伊泰普水电大坝（巴西）甚至巧克力/奶酪工厂——强调了见证日常服务背后复杂现实的价值。许多人强调了这些体验所提供的文化沉浸感，能够亲手观察一家公司的内部运作。
对话还涉及了对更多公众进入这些场所的渴望，并提出了“成人实地考察”的建议。一个反复出现的主题是对维持大规模运营的一致性和可靠性所需的巨大努力的赞赏，即使是在看似简单的东西上，例如一杯咖啡或预包装的零食。最后，还简要讨论了航空业内的代表性问题，特别是女性飞行员的比例较低。
当浏览器发布较旧的Chromium版本时，其用户将暴露于已知且已修复的安全漏洞中。攻击者会积极利用这些漏洞，因为补丁已在Chromium的源代码中公开，但尚未推送给使用落后浏览器的用户。检查您自己的浏览器Chromium版本 →
## Chromium 浏览器漂移：摘要
最近 Hacker News 上出现了一场讨论，中心围绕一个新工具 [chromium-drift.pages.dev](https://chromium-drift.pages.dev)，它追踪了各种基于 Chromium 的浏览器在采用最新 Chromium 版本方面的滞后程度。核心问题在于，落后的版本会使用户暴露于已知的、已修复的安全漏洞中。
对话强调了这一问题的复杂性。虽然主要版本号会被追踪，但安全补丁通常会出现在次要版本中。一些浏览器，例如 Vivaldi，优先考虑稳定性，可能会故意落后，但仍会提供安全更新。另一些浏览器，例如 Samsung Browser，可能会长时间停留在旧版本上。
许多评论员指出，基于 Electron 的桌面应用程序普遍存在，以及其中可能存在的未修复漏洞，并附有关于该主题的先前研究链接。网站的可访问性也得到了解决，创建者迅速修复了色盲用户的配色方案问题。
讨论还涉及 Chromium 优势地位的更广泛影响，以及 Firefox 等替代浏览器面临的挑战，以及对更强大的隐私保护的需求，例如指纹识别阻止。
您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：019deecc-31da-795b-acea-eadfa4e636c6
## SpecDD：在AI辅助开发中恢复上下文 本文详细介绍了作者开发SpecDD的过程，这是一种规范驱动的开发方法，旨在解决AI编码助手的一个核心问题：**上下文丢失**。作者发现，仅仅增加提示词的大小（“向问题提供更多上下文”）并不是一种解决方案，而是一种掩盖更深层问题的权宜之计。 SpecDD专注于通过放置在代码旁边的少量规范文件（.sdd）向AI代理提供**精确、本地化的上下文**。这些文件概述了代码*应该*做什么、*不应该*做什么，以及所有权/依赖关系，使用一种半正式的语言。这与依赖于大型、通常过时的文档形成对比。 作者认为AI不会取代开发者；相反，它是一种生产力飞跃，类似于过去的转变（汇编到高级语言等），从而增加了软件需求。关键在于有效地*与*AI合作。SpecDD并非旨在让AI“更聪明”，而是使其能够可靠地利用信息。 虽然需要在规范方面进行前期投入，但SpecDD可以明显提高输出质量并减少返工。这种格式也易于人类阅读，促进协作。最终目标是让SpecDD语言被AI模型广泛理解，从而完全消除对介绍性“引导”文件的需求。SpecDD是开源的，网址是specdd.ai。
对不起。