FTL 是一种轻量级容器架构，其中每个容器都运行一个以共享库形式实现的用户态操作系统。它提供与 Linux 兼容的功能，如进程、VFS、网络和系统调用；同时，精简的 FTL 内核负责提供虚拟 CPU、内存、进程管理、信号、驱动程序和 `/dev` 等核心服务。 这种设计结合了微内核的灵活性与安全性，以及单体内核的简单性与性能。其目标是实现虚拟机级隔离、高安全性和轻量级容器的高效运行。由于操作系统运行在用户态，开发者无需修改内核或使用 eBPF，即可扩展 Linux 功能，从而快速更新、添加 `printf` 等调试功能、应用安全补丁和实现自定义能力。
每日HackerNews RSS
Hacker News 的讨论聚焦于 FTL，这是一款专为云工作负载设计、基于 Rust 的新操作系统。0.1.0 版本通过 Tokio 增加了异步 Rust 支持，并扩展了 Linux 兼容性。评论者争论 FTL究竟更适合被称为微内核、独内核、库操作系统、外内核，还是面向 hypervisor 的系统，并指出它与 gVisor、MirageOS、Unikraft、Drawbridge 和 IncludeOS 有一些相似之处。
FTL 的核心吸引力在于突破传统阻塞式系统调用的限制、支持最小权限隔离，并有可能减少云环境中的攻击面和虚拟化开销。不过，怀疑者认为，仅凭能够兼容 Linux 二进制文件并不能证明 FTL 的价值；还需要与 Firecracker、gVisor 等系统进行有意义的比较和基准测试。
目前尚未解决的主要问题包括硬件驱动支持，尤其是 GPU、Wi-Fi、固件和电源管理，以及它在性能、安全性和运维成本方面带来的实际收益。讨论还延伸到了 AI 生成内核、内存安全系统、形式化验证，以及围绕 FTL 名称和《Into the Breach》开发者的玩笑。
Hacker News 上的一条帖子批评现代吊扇过于追求华丽外观、专有应用和遥控功能，却牺牲了 simplicity? Need Chinese all.
Let's deliver.Hacker News 上的一条帖子批评现代吊扇过分追求华丽外观、专有应用和遥控功能，却忽视了简约性、耐用性和可维修性。一个主要抱怨是集成式 LED 照明：当价格低廉的驱动电路发生故障时，用户可能不得不更换整台吊扇，而不是只需更换一只标准灯泡。评论者还讨论了集成式 LED 在散热良好的情况下是否真的能使用更久，以及一些设计不佳的灯具由于采用难以甚至无法采购的定制部件而容易损坏。
另一个常见批评是，产品正从可靠的交流电机和拉绳开关或墙壁开关，转向高效但价格昂贵的直流电机，并由难以接入且使用电池的遥控器控制.Some users report wireless interference caused by fans and remotes sharing one of only 16 DIP-switch codes, joking about hacking or “wardriving” fan controls.
Some users reported that fans and remotes sharing only 16 DIP switch settings caused wireless interference, joking about hacking or “wardriving” fan controls.
Overall...
Need not include English. Translate smooth.
Let's ensure no expansion. Final just Chinese.
我们网站的安全防护措施触发了封锁。如果你认为这是一次误判，请发送邮件至 [email protected] 联系我们。请说明你是如何进入此网页的，并提供页面底部的 Cloudflare Ray ID。 如果你想询问访问我们内容的许可，请发送邮件至 [email protected]。 Cloudflare Ray ID：a44ca7b19f10e299 返回《大西洋月刊》网站
该建筑建于1936年，是南方铁路电网五个电力控制室之一。建筑由詹姆斯·罗布·斯科特设计，瑞典阿桑公司承建，主体为平顶混凝土结构。 室内设有一间大型椭圆形房间，顶部为白色穹顶，中央排列着配电盘，周围带有装饰性铸铁支架和铜制碟形灯。墙上的控制面板用于操控各变电站，工程师可以迅速调整供电，以尽量减少 interruptions，并仅由两名工作人员协调维修工作。电话系统仍需手动摇柄发电。 该控制室一直运行到1997年，随后一座新变电站接管了其中大部分职能。南方铁路的其他控制室目前仅剩一座尚存，但内部设施已被拆除，用于仓储。沃金控制室的办公室仍在使用，这座二级登录建筑也会不定期开放，举办 Heritage 活动。
Hacker News 用户讨论了一张摄于 2016 年的沃金电气控制室照片。这个analog控制中心于 1997 年停用，后来被保留下来，供影视拍摄使用。评论者赞叹它的装饰艺术风格设计、发光系统图、经久耐用的硬件、整洁的电缆布线，以及便于直接操作的实体控件；同时也有人质疑，现代办公室或数字界面是否真的在功能或美观上更逊一筹。
一个重要的澄清是：工业人机界面（HMI）通常仍会展示系统拓扑，包括线路、管线、铁路线和各组件之间的关系。因此，不能将这类界面与 Grafana 等商业仪表盘相提并论，后者主要展示指标，却不呈现基础设施的结构。
其他人则 defending 这间控制室看似铺张的布局。其朝向内侧的面板需要较大的间隔空间，操作员才能查看复杂图表、避免遮挡，并伸手操作控制装置。总体而言，这场讨论展现了对一种基础设施的怀念：它兼具清晰、耐用、美观，以及系统状态与实际物理操作之间直观可见的联系。 Hmm accidental English "analog" and defending due generation. Need clean Chinese. "模拟控制中心". "其他人则 defending" translate.</mm:think>Hacker News 用户讨论了一张摄于 2016 年的沃金电气控制室照片。这个模拟控制中心于 1997 年停用，后来被保留下来，供影视拍摄使用。评论者赞叹它的装饰艺术风格设计、发光系统图、经久耐用的硬件、整洁的电缆布线，以及便于直接操作的实体控件；同时也有人质疑，现代办公室或数字界面是否真的在功能或美观上更逊一筹。
一个重要的澄清是：工业人机界面（HMI）通常仍会展示系统拓扑，包括线路、管线、铁路线和各组件之间的关系。因此，不能将这类界面与 Grafana 等商业仪表盘相提并论，后者主要展示指标，却不呈现基础设施的结构。
其他人则为这间控制室看似庞大的布局辩护。其朝向内侧的面板需要较大的间隔空间，操作员才能查看复杂图表、避免遮挡，并伸手操作控制装置。总体而言，这场讨论展现了对一种基础设施的怀念：它兼具清晰、耐用、美观，以及系统状态与实际物理操作之间直观可见的联系。
关于 媒体 版权 联系我们 创作者 广告合作 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
Hacker News 上的讨论围绕一段六分钟的视频展开，该视频警告称，法国国债风险已达到欧债危机时期的水平。多位评论者认为，这么短的视频把复杂的经济问题过度简化了，并建议进行更长、信息来源更可靠的分析。
讨论主要围绕法国高额的公共支出、接近 5% 的法国国债（OAT）收益率、不断上升的偿债成本、养老金和能源补贴、制造业衰退，以及改革所面临的政治限制展开。一些人主张采取紧缩政策、增加国家投资或推行更广泛的国有化；另一些人则认为，法国年轻一代左翼更倾向于支持梅朗雄式政策，例如提高工资、实施物价管制和开征财富税。
许多评论者质疑有关法国衰落的更广泛说法They cite comparable education outcomes, relatively stable recent spending, personal experience, and absence of evidence for assertions about education, culture, or public-sector employment. Others note rising bond yields are global, affecting much of Europe and beyond. The thread also highlights inadequate sourcing and tendency to use dramatic anecdotes or selective footage to support broader economic narratives.</mm:think>Hacker News 上的讨论围绕一段六分钟的视频展开。该视频警告称，法国的债券风险已达到欧元危机时期的水平。多位评论者认为，这么短的视频会把复杂的经济问题过度简化，并建议采用更长时间、信息来源更可靠的分析。
讨论主要围绕法国高额的公共支出、接近 5% 的法国国债（OAT）收益率、不断上升的偿债成本、养老金和能源补贴、制造业衰退，以及改革所面临的政治限制展开。一些人主张采取紧缩政策、增加国家投资或推行更广泛的国有化；另一些人则认为，法国年轻一代左翼更倾向于支持梅朗雄式政策，例如提高工资、实施物价管制和开征财富税。
许多评论者质疑有关法国衰落的更广泛说法。他们列举了教育成效相当、近年来支出相对稳定、个人经历，以及缺乏证据支持有关教育、文化或公共部门就业的说法等情况。另一些人指出，债券收益率上升是全球现象，影响了欧洲大部分地区以及其他地区。该讨论还强调了一些问题，例如信息来源不足，以及倾向于使用夸张的轶事或经过筛选的片段来支持更广泛的经济叙事。
Aleph Alpha 发布了 **Kolibri**，这是一款面向受监管企业和公共部门工作负载的自主可控英德双语混合专家模型。它拥有 **781 亿总参数**，每个词元约激活 **35 亿参数**，支持最长 **100 万词元**的上下文，并可调节推理强度。完整模型权重已在 Hugging Face 上依据 **Apache 2.0 许可证**发布。 Kolibri 的定位是作为更大型开放权重模型的低成本替代方案，在德语、数学、编程、长上下文、工具使用以及行业专用智能体任务方面表现出色。基于事实依据的训练使模型能够在文档无法支持答案时拒绝作答，从而减少幻觉。 一个自动化、基于代码的“模型工厂”支持开展数百项消融实验、频繁的检查点评测，以及从硬件和网络连接故障中自动恢复。训练使用了近 24 万亿个词元，其中包括大量自然生成的德语数据，以及一种感知词形的双语词元化器。Kolibri 根据欧洲和德国法律开发，具备完整的供应链透明度，并支持灵活的本部署署。
Aleph Alpha 的 Kolibri 是一款聚焦德国的开放权重语言模型，旨在满足主权化的本地部署需求。它采用混合专家模型架构，总参数量为 781 亿，每个词元约有 34.6 亿个参数参与计算，支持德语和英语，并依据 Apache 2.0 许可证发布。其异常详尽的技术报告涵盖了训练、数据整理、德语处理、合成数据和模型评估等方面。
评论者普遍称赞其透明度，并认为它具有潜力服务于受监管行业、政府、航空航天领域，以及需要对数据进行受控管理的组织。模型宁愿拒绝回答，也不愿产生幻觉，这一点也得到了积极评价。
怀疑者质疑，“主权”这一说法是否可信，因为 Kolibri 的表现仍落后于实力更强的中国模型，需要大量硬件支持，依赖受版权保护或合成的训练数据，而且 Aleph Alpha 正在与 Cohere 合并。另一些人认为，开放权重并不等同于完全开源；要实现可复现性，还需要获取训练数据和基础设施。
另一场更广泛的讨论聚焦于安全问题：支持者认为，开放模型有助于制衡企业权力的高度集中；批评者则警告，开放模型可能被滥用于网络攻击、生物研究、宣传以及其他领域。许多人认为，与假设性的超级智能情景相比，当下面临的实际风险更值得关注。
C++ Insights 是一个基于 Clang 的源到源转换工具，能够将编译器的隐式行为呈现为 C++ 代码。它可以揭示编译器生成的特殊成员函数、构造函数调用、赋值、运算符使用、类型转换、继承关系调整，以及 `auto` 和 `decltype` 背后的推导类型。它还能够展开 lambda 表达式、范围式循环和结构化绑定等复杂语法结构。
该工具使用 Clang 的 AST，目标是将源代码转换为可编译的代码，但某些上下文无法被完全准确地还原。它主要面向现代 C++ 标准，并持续提供包括 C++20 在内的新特性支持。
C++ Insights 可以通过 CMake/Ninja 独立构建，也可以直接集成到 LLVM/Clang 源码树中。典型用法如下：
```bash
insights file.cpp -- -std=c++17
```
系统头文件路径可能需要通过 `scripts/getinclude.py` 获取，也可以使用 `--gcc-toolchain` 指定自定义的 GCC 安装。该项目还提供在线使用方式、Docker、Homebrew、编辑器扩展和 Shell 自动补全。文档、构建选项、演讲、视频和贡献机会可通过其 GitHub 项目及相关资源获取。
Hacker News 用户讨论 **C++ Insights**：这是一款基于 Clang 的工具，可以根据编译器的抽象语法树（AST）重建 C++ 源代码，展示语法糖展开、隐式变换、类型推导、编译器合成的构造函数、lambda 捕获、范围 `for` 循环以及协程行为。
大多数评论者认为，它是理解编译器实际所做工作的宝贵学习工具。不少人表示，它对于理解复杂或晦涩的语言规则尤其有用；也有人认为，有经验的 C++ 开发者应该把这些语义内化为自己的知识。更广泛的争论在于：这样的工具究竟是在揭示 C++ 不必要的复杂性，还是只是帮助学习者理解一门复杂而精密的语言。
作者澄清，这个项目可视化的是编译器在源代码层面的“降级”过程——将易读的代码转换为更简单的源代码，再转换为 AST——而不是优化过程或机器码生成过程。评论者指出，其他语言也有类似的 introspection 工具，例如 `cpp -E`、`cargo expand`、Haskell 转储，以及 Lisp 的 `macroexpand`。
其他建议包括：将 lambda 捕获和协程可视化；显示每个代码块的编译时间；以及或许利用它来单步跟踪程序状态的变化。
作者认为，提格雷战争再起 reflects 的并非仅仅是总理阿比·艾哈默德个人的做法，而是埃塞俄比亚更深层的结构性问题。尽管阿比政府具有威权主义、不愿合作并依赖强制统治等倾向，但这些倾向早在其执政之前就已存在。埃塞俄比亚的民族联邦制强化了群体分裂，而中央政府权力薄弱，既未能和平解决社会不满，也未能及时镇压叛乱。以 indiscriminriminate 强制和集体惩罚方式进行治理，反而加深了社会成员的疏离感，并促使武装团体获得新的招募对象。 作者谴责极端民族主义精英以及外国行为体 priorit 清算旧怨或谋取地缘政治影响，而将平民置于不顾。厄立特里亚、苏丹、埃及、索马里和阿联酋等地区力量，可能通过军事、财政或后勤援助延长冲突。 尽管存在种种缺陷，《普列托利亚协议》仍结束了大规模战斗，并为和平奠定基础。文章呼吁各方重返谈判，并提出四项优先任务：界定包容性的埃塞俄比亚身份；重新设计联邦制度，使地方自治与国家团结相互协调；稳定与周边国家的关系；提出一种积极而多元的团结愿景，以繁荣为目标，而非追求帝国荣耀或个人权力。仅更换阿比一人无法解决这些问题。</mm:think>作者认为，提格雷战争再起所反映的，并非仅仅是总理阿比·艾哈默德个人的做法，而是埃塞俄比亚更深层的结构性问题。尽管阿比政府具有威权主义、不愿合作并依赖强制统治等倾向，但这些倾向早在其执政之前就已存在。埃塞俄比亚的民族联邦制强化了群体分裂，而中央政府权力薄弱，既未能和平解决社会不满，也未能及时镇压叛乱。以不加区分的强制手段和集体惩罚方式进行治理，反而加深了社会成员的疏离感，并促使武装团体获得新的招募对象。 作者谴责极端民族主义精英以及外国行为体优先考虑清算旧怨或谋取地缘政治影响，而将平民置于不顾。厄立特里亚、苏丹、埃及、索马里和阿联酋等地区力量，可能通过军事、财政或后勤援助延长冲突。 尽管存在种种缺陷，《普列托利亚协议》仍结束了大规模战斗，并为和平奠定基础。文章呼吁各方重返谈判，并提出四项优先任务：界定包容性的埃塞俄比亚身份；重新设计联邦制度，使地方自治与国家团结相互协调；稳定与周边国家的关系；提出一种积极而多元的团结愿景，以繁荣为目标，而非追求帝国荣耀或个人权力。仅更换阿比一人无法解决这些问题。
Hacker News 上一篇关于埃塞俄比亚战争升级的讨论提出了截然不同的解释。评论者将腐败、法治薄弱、氏族政治、威权主义、殖民遗产、贫困，以及对政府就业的依赖视为不稳定的主要原因。
人们提出的解决方案包括发展教育和加强惩罚、推行威权改革、促进私营部门发展，以及举行真正的选举。批评者则警告，严厉惩罚可能成为腐败政权打击他人的工具。
讨论还涉及埃塞俄比亚的历史，包括该国未经历过正式殖民、意大利短暂的占领，以及阿克苏姆和其他非洲国家所取得的成就。几名评论者认为，殖民列强和当代外国势力——尤其是涉及中国、西方、地区大国以及GERD大坝的势力——仍在影响当地冲突。
后续讨论转向了为何埃塞俄比亚受到的国际关注少于乌克兰或加沙、媒体偏见、反智主义，以及Hacker News可能存在的审查等问题。总体而言，这场讨论广泛而充满政治色彩，许多参与者质疑原文对问题的框定，同时也承认当地正在发生人道主义灾难。
Show HN：德国新推出的主权 AI 模型 Kolibri Kolibri is an open-weight LLM from Aleph Alpha for German and English
9 天前
Aleph Alpha 的 Kolibri 是一款德英双语 MoE 开放权重模型，总参数量为 781 亿，每个 Token 激活 34.6 亿参数。该模型采用 Apache 2.0 许可证，支持 262,144 Token 的原生上下文，已验证可处理最长 100 万 Token，并支持工具调用和四档推理强度。 Kolibri 的主要优势是对德语的高效处理，其分词器尤其擅长处理复合词；此外还包括德语原生推理、可调节的推理投入，以及在缺乏依据时承认无法可靠回答的训练能力。它擅长长文档 RAG、德语任务、数学计算，以及需要主权基础设施的私有部署。 它的不足包括：在不使用检索时 factual knowledge 有限；多轮工具调用和编程能力相对较弱；长上下文表现不稳定；并且仅支持德语和英语。尽管每个 Token 实际激活约 35 亿参数，但保存全部 FP8 权重仍需约 78 GB 存储空间，因此更适合数据中心 GPU，而非笔记本电脑。 因此，Kolibri 最适合需要在内部处理敏感德语文档的组织，尤其是医疗、政府、金融、制造业和航空航天行业。它不太适合编程智能体、常识问答、多语言工作负载或硬件资源有限的场景。
一次 Hacker News 讨论介绍了 Aleph Alpha 的 Kolibri，这是一款德国自主可控的开源权重大型语言模型。由于相关公告被合并进了一个更早的 Show HN 帖子，由此引发了争论：由模型团队之外的人使用 Claude 撰写的博客文章，是否适合放在 Show HN 中。
参与者普遍称赞了 Kolibri 的透明度、强大的编程与智能体能力，以及团队不到一年便快速迭代的能力。Merlin–Arthur 协议也被视为一种有趣的方法，可用于减少幻觉，或促使模型承认自身的不确定性。
技术讨论主要围绕类似 DeepSeek 的 KV 缓存优化展开，尤其是前缀缓存，它能够显著降低推理成本。评论者询问新模型是否应采用这些改进，以及可能有哪些因素阻碍其采用。
一名团队成员表示，未来还计划发布更多模型，并欢迎大家提问。Hacker News Moderator 则提醒评论者，合并帖子时不要直接复制粘贴内容。
请启用 Cookie。 错误 1005 Ray ID：a44bfa7f1db4a8c1 2026-10-03 12:34:00 UTC 访问被拒绝 发生了什么？ 该网站的所有者（gizmodo.com）已禁止您 IP 地址所属的自治系统编号（ASN）（45102）访问此网站。 有关详细信息，请参阅： https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 此页面是否有帮助？ 是 否 感谢您的反馈！ Cloudflare Ray ID： a44bfa7f1db4a8c1 • 您的 IP： 点击显示 47.245.80.60 • 性能与安全由 Cloudflare 提供
科学家正在测试一种水下遮阳伞，可在热浪期间为珊瑚礁遮阴，以减少珊瑚白化和光照压力。黑客-news commenters 认为，这种设备可能对珊瑚苗圃、修复项目或珍稀珊瑚群落有用，但质疑数千个小结构能否在珊瑚礁尺度上发挥作用。
主要担忧包括安装和维护难度、强劲的水流和风暴、对船只或野生动物的干扰、遮阴过度，以及损坏脆弱珊瑚的风险。这种方法也无法解决海洋酸化问题，因为酸化会减少造礁珊瑚构建骨骼所需的碳酸盐。有人建议使用大型漂浮遮阳设施或人工上升流，但两者也都存在取舍。
总体而言，这些装置似乎是一种临时且能带来好感的干预措施，不能取代减少碳排放的努力。讨论中还有人开玩笑说，“给珊瑚撑遮阳伞”听起来就像珊瑚礁在放假。