黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 OpenBSD 在 SGI 上的故事:过山车 (online.fr) 9 分,brynet 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

与伊朗冲突升级的理由仍然不明确,甚至在美国政府内部也是如此。最初的报告显示,美国可能受到以色列计划和情报的影响,发动了一次先发制人的打击,以应对伊朗的报复。然而,鲁比奥参议员等官员迅速收回了这些说法,他最初曾指出以色列的压力,但后来否认发表过该声明,迈克·沃尔兹大使声称他的评论被误解了。 这场冲突已经造成重大伤亡:六名美国士兵和超过20名伊朗官员,包括阿里·哈梅内伊 Ayatollah,丧生。不幸的是,超过1000名伊朗平民也遇难,其中包括176名儿童,部分是在袭击学校期间遇难的。围绕这场战争缺乏透明的理由,在不断增加的人道主义代价面前,引发了严重担忧。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Noem无法解释为何聘用成立仅8天的公司进行广告宣传 (newrepublic.com) 19点 由 TrackerFF 39分钟前 | 隐藏 | 过去 | 收藏 | 2评论 帮助 lawn 9分钟前 | 下一个 [–] 没什么可看的,只是一个完全公开的1.43亿美元的腐败交易。美国运作得像一个香蕉共和国。回复 tjpnz 0分钟前 | 父评论 | 下一个 [–] 我更喜欢小丑国家。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

本文详细介绍了一种使用 `jailmgr` 和 `jailctl` 在 NetBSD 中创建和管理轻量级 jails 的简化流程。过程从准备主机系统、加载必要的内核模块以及设置 jail 目录结构开始。在此示例中,jail 被命名为“web”,并配置为在 8080 端口上运行 HTTP 服务器,并指定了加固配置文件。 主要特性包括*临时配置*——允许在不进行持久更改的情况下在 jail *内部* 执行临时命令——以及一个*监管模型*,其中 `jailctl` 管理 jail 内部的进程,从而从主机获得完全可见性。运行时统计信息,包括 CPU 使用率、内存和进程数量,可以通过 `jailctl stats` 访问,并可以使用像 `inetd` 这样的基本系统工具导出为 Prometheus 兼容格式。 这种方法提供了进程隔离,而无需容器运行时、UID 重新映射或完全虚拟化的开销,为安全的服务部署提供了一种规范且可检查的系统原语。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 NetBSD 监狱 – 内核强制隔离和原生资源控制 (petermann-digital.de) 10 分,由 vermaden 2小时前发布 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 ggm 1小时前 [–] 我将发表与之前帖子相同的评论。要么记录它与FreeBSD监狱的不同之处,要么给它起一个不同的名字。否则只会引起混淆。回复 LargoLasskhyfv 1小时前 | 父评论 [–] FAQ 的第三条是否足够了?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

🛡️ 安全验证 我们正在检查您的连接以防止自动化滥用 ⏳ 正在验证您的浏览器... 为什么我看到此验证? 有问题吗?联系支持 验证并继续 ✓ 验证完成 此页面将在片刻后自动跳转...

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 17世纪垃圾堆中的阿拉伯文献证实半传奇的努比亚国王 (phys.org) 14点 由 wglb 2小时前 | 隐藏 | 过去 | 收藏 | 1评论 帮助 wglb 2小时前 [–] 论文地址:https://www.tandfonline.com/doi/full/10.1080/0067270X.2026.2... 来自《非洲考古研究》回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

你好,我是马克·皮尔格里姆。你可能还记得我写的《深入Python》和《通用字符编码检测器》。我是chardet的原始作者。首先,我想感谢当前的维护者以及多年来为这个项目做出贡献和改进的每个人。这确实是一个自由软件的成功案例。然而,我注意到在7.0.0版本中,维护者声称有权“重新授权”这个项目。他们没有这样的权利;这样做明确违反了LGPL。授权的代码,在修改后,必须以相同的LGPL许可发布。他们声称这是一个“完全重写”与此无关,因为他们已经充分接触过最初授权的代码(即这不是一个“干净房间”实现)。添加一个花哨的代码生成器并不能赋予他们任何额外的权利。我恳请他们将项目恢复到原始许可。

## AI 生成重写与版权问题 Hacker News 上出现讨论,围绕 AI 生成代码重新授权的合法性,具体涉及 `chardet` 项目。核心问题在于,AI 驱动的“重写”是否构成新的、可版权的作品,或者是否侵犯了原始许可(LGPL)。 许多评论者认为,由于 AI 是在原始代码上训练的,任何生成的实现都不是“干净房间”重写——一种对抗版权诉讼的法律辩护。即使使用 AI 团队进行规范创建和实现,也不能保证完全分离,因为原始代码的影响仍然存在于模型中。 担忧延伸到更广泛的影响,例如 AI 轻易复制现有软件的可能性以及对版权法的影响。一起涉及 SaaS 公司使用 AI 重现其平台的相关案例,突出了这种情况发生的容易程度。Google 与 Oracle 之间的 API 兼容性案件也被提及,表明合法重新实现与侵权之间的界限模糊不清。 最终,共识倾向于认为,即使进行了重大更改,仅仅重写代码,如果 AI 能够访问原始源代码,也不能自动获得重新授权的权利。

## dbslice:为开发提取数据库子集 dbslice 是一款用于创建最小、引用完整性的数据库子集,用于本地开发和调试的工具,避免了复制整个生产数据库的需求。它仅提取必要的记录,并遵循外键关系以维护数据完整性。 主要功能包括:零配置设置(自动内省模式)、单命令提取以及敏感数据的内置匿名化。它支持 SQL、JSON 和 CSV 输出格式,并通过流处理高效处理大型数据集。dbslice 还支持虚拟外键,用于处理像 Django 的 GenericForeignKeys 这样的复杂关系。 目前,dbslice 完全支持 PostgreSQL,并计划支持 MySQL 和 SQLite。安装可以通过 `uv` 或 `pip` 轻松完成。提取由“种子”驱动——特定的记录标识符或 `WHERE` 子句——允许有针对性的数据选择。配置文件(YAML)可实现可重复的提取和自定义。 更多信息和源代码请访问:[https://github.com/nabroleonx/dbslice](https://github.com/nabroleonx/dbslice)

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Dbslice: 提取生产数据库的一部分以重现错误 (github.com/nabroleonx) 6 分,由 rbanffy 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## Smalltalk 经久不衰的浏览器与 IDE 挑战 尽管 IDE 经历了数十年的创新,Smalltalk 仍然很大程度上依赖于其最初的四窗格系统浏览器——这证明了它在为面向对象编程提供关键上下文方面的强大功能。 浏览器虽然常受赞誉,但也存在局限性;它难以展现现代编程工作流的复杂“场景”,导致大量窗口打开和体验碎片化。 核心问题不在于浏览器本身,而是 Smalltalk 强大的工具(浏览器、调试器、游乐场、检查器)之间缺乏无缝集成。 这导致了一种混乱的工作流程,难以保持连贯的心理模型。 随着时间的推移,工具积累了功能,变得孤立(“隐士工具”),有时还会与现代操作系统约定冲突。 挑战不在于寻找“更好的浏览器”,而在于如何将编程的*过程*——涉及多种工具和步骤的动态探索过程——表示为一个有凝聚力的整体。 作者建议探索将工作区可视化为相关工具的图的方式,让程序员能够轻松跟踪他们的旅程并保持上下文,而不是依赖独立的窗口。 最终,改善 Smalltalk 体验需要关注组合和动态上下文,而不仅仅是静态信息。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Smalltalk 的浏览器:无与伦比,但还不够 (lorenzano.eu) 8 分,mpweiher 发表于 33 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

启用 JavaScript 和 Cookie 以继续。

## Nvidia PersonaPlex 7B 在 Apple Silicon 上的总结 一个名为 Nvidia PersonaPlex 7B 的新项目,使用 Swift 为 Apple Silicon 带来了全双工语音转语音能力。该项目由 ipotapov 在 Hacker News 上发布,旨在实现更自然、更具对话性的 AI 交互。 早期的讨论指出,这项技术已被大型公司在其“对话模式”功能中使用,可能绕过了传统的语音转文本、LLM 和文本转语音流程,从而实现更快的响应速度。 一位评论者计划尝试 8 位量化。另一位则对 AI 生成回复的质量表示担忧,特别指出提供的示例中存在回避或不实回答的倾向,并担心这种令人不快的沟通方式会蔓延。讨论涉及了 AI 生成内容日益普遍的更广泛问题。

## 伟大的在线游戏:摘要 本文探讨了互联网以及我们在互联网中的互动,实际上运作着一个庞大且持续的“游戏”,并对现实世界产生真实影响。 社交媒体、在线社区,甚至工作,虽然常常感觉是零散的活动,但都为这个“伟大的在线游戏”贡献力量,参与和互动会带来回报——影响力、机会,甚至财富。 作者认为,加密货币凭借其内置的奖励机制,只是最*有趣*的参与方式,充当游戏内货币。 然而,这个游戏的核心在于构建选择权,培养联系,并利用在线互动来解锁线下的益处。 在这个游戏中取得成功,取决于拥抱频繁的反馈,接受多变的结果,通过技能建设培养掌控感,并认识到与更广泛的人生目标的联系。 参与门槛很低——只需开始参与,分享你的热情,并建立关系。 最终,作者鼓励读者将在线活动视为主动游戏,而非被动消费,强调“失败”的代价很小,而潜在的回报是无限的。 这意味着拥抱好奇心,建立人脉,并认识到在数字时代,仅仅“玩这个游戏”就能开启你从未想象过的大门。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 《伟大的在线游戏》(2021) (notboring.co) 4 分,由 simonebrunozzi 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 自助悖论 多年写作和阅读自助书籍让一位作者得出了一个令人惊讶的结论:追求自我提升反而可能适得其反。具有讽刺意味的是,那些*最*专注于“修复”自己的人往往陷于停滞,永无止境地追逐虚无缥缈的完美。核心问题在于?现代自助书籍本质上专注于识别你*哪里不好*,从而形成一个不满的循环。 作者提倡一种视角的转变,灵感来自对马斯洛需求层次理论中一个被重新发现的要素——**自我超越**:超越自我,与更大的事物建立联系,例如服务或自然。这与常见的关注自我实现形成对比,后者可能变得以自我为中心。 他概述了三种促进更健康自我发展的“构造板块”:优先考虑**人际关系**而非个人提升,留意潜在的**观众**(避免“表演式自助”),以及挑战潜在的**假设**,即认为*需要*修复某些东西。他认为,真正的成长不是消除痛苦,而是接受痛苦并专注于连接。最终,目标不应该是“更好的自己”,而是在*与*他人的陪伴下过上更有意义的生活。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 自我提升陷阱:20年“优化”教会我的 (tim.blog) 4点 由 bonefishgrill 31分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## RELAX NG:摘要 RELAX NG 是一种 XML 模式语言,设计目标是简单易学。它提供 XML 格式和更紧凑的非 XML 语法来定义文档结构。其关键特性是其非破坏性方法——它不会改变原始 XML 文档的信息。 RELAX NG 统一处理 XML 元素和属性,支持有序和无序内容,并建立在强大的理论基础上。它可以与 W3C XML Schema Datatypes 等其他数据类型语言一起使用。它在 OASIS 中开发,并标准化为 ISO/IEC 19757-2,其发展源自早期的 TREX 和 RELAX Core 设计。 有许多可用的 RELAX NG 工具,包括验证器(Jing、MSV、Libxml2)、编译器(Relaxer、RelaxNGCC)和编辑器(Stylus Studio、Oxygen)。像 Trang 这样的转换工具促进了与其他模式语言(DTD、W3C XML Schema)的互操作性。它被用于各种应用程序和标准,如 DocBook、XHTML 和 ODF。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Relax NG 是 XML 的模式语言 (relaxng.org) 10 分,来自 Frotag 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

## Zed Industries 服务条款摘要 (截至2026年3月2日) 这些服务条款概述了您(客户)与Zed Industries, Inc. (“Zed”) 之间关于访问和使用Zed的软件(“软件”)和订阅服务(“服务”)的具有法律约束力的协议。 通过使用本服务,您同意这些条款、Zed的隐私政策和数据处理补充协议。 要点包括:您必须年满18岁才能使用本服务;使用仅限于内部业务或个人非商业目的;并且您必须遵守Zed的可接受使用政策以及第三方人工智能提供商(如Anthropic、Google和OpenAI)的政策。 您不得分发、修改或干扰本服务。 某些功能的费用不予退还,Zed可能会在提前通知的情况下更改定价。 Zed有权仅为了提供和改进服务而使用客户数据,但客户保留对其生成的输出的所有权。 **争议解决将通过具有约束力的仲裁进行,放弃陪审团审判和集体诉讼(但可在接受条款后的30天内选择退出)。** 这些条款受特拉华州法律管辖。 Zed保留修改这些条款的权利,并可因违规行为而终止访问权限。

## Zed 编辑器:褒贬不一 最近在 Hacker News 上的讨论显示,人们对 Zed 代码编辑器持有截然不同的意见。一些用户称赞其速度和极简设计,尤其是在 macOS 上,但许多用户报告了显著的性能问题——包括高内存占用、响应缓慢和频繁的错误,尤其是在 Linux 和 Windows (使用 WSL) 上。 一些用户分享了负面体验,回忆起 Zed 在多个实例下无法使用,甚至导致系统崩溃。人们对其 AI 驱动的功能以及编辑器是否符合其营销承诺表示担忧。另一些人认为它不如成熟的 IDE,例如 VSCode、WebStorm,甚至配置适当的 Neovim。 Zed 服务条款最近的更改现在要求用户年满 18 岁,引发了进一步的争论和对该公司未来的猜测,一些人认为这是为收购做准备。尽管存在争议,一些人仍然觉得 Zed 很有价值,特别是对于 Rust 开发,而另一些人则保持怀疑。

超过500名阿富汗国民正在起诉德国政府,此前他们曾得到承诺将在塔利班2021年掌权后获得重新安置。这些承诺由前政府做出,后被联邦移民和难民局(BAMF)撤销,引发了左翼团体支持的法律挑战。 大多数原告目前居住在巴基斯坦,面临越来越大的离境压力,因为他们的签证已过期,当局已开始拘留。德国背景调查的延误——通常需要八个月,而不是商定的三个月——使约2500名阿富汗人陷入法律困境。 德国内政部坚称其政策没有改变,尽管法律诉讼不断增加。报告显示,审查过程中存在缺陷,许多抵达者的背景调查不完整,引发了安全问题。政府甚至向一些人提供经济补偿以撤回他们的诉求,但收效甚微。这一情况凸显了政治分歧,一些人倡导继续重新安置,而另一些人,如AfD,则支持巴基斯坦的遣返行动。

生成式人工智能面临一个核心问题:它依赖于大量可能受版权保护的材料,实际上构成了广泛的抄袭。这种“氛围编码”产生的是缺乏原创性的通用输出,难以辨别其独特性,从而造成法律上的模糊性——目前的标签/水印更像是补救措施,而非真正的问责。 作者认为,法院不应就人工智能版权做出裁决,因为其输出本质上是无来源的,应被视为伪造品,除非另有证据证明。解决方案在于*要求*大型语言模型在进行推断的同时提供准确的来源归属。 目前,大型语言模型的引用仅仅是“角色扮演”,源于数据模式,而非真正的理解。实施适当的来源标注在技术上具有挑战性,需要对模型架构和处理能力进行重大改变。然而,这一点至关重要;它将暴露复制代码的程度,揭示人工智能生成内容的真实性质,解决建立在未知起源之上的技术的根本“粗糙”问题。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 “LLM”中的“L”代表谎言 (acko.net) 17 分,由 LorenDB 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 3 条评论 帮助 chromehearts 1 分钟前 | 下一个 [–] 令人难以置信的网站回复 barcodehorse 3 分钟前 | 上一个 | 下一个 [–] 可爱的蜥蜴机器。回复 feverzsj 16 分钟前 | 上一个 | 下一个 [–] 更像是疯子。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

AMD 正在将其“Ryzen AI”处理器带到标准台式电脑,这是这些芯片首次广泛可用。Hacker News 上的讨论强调了专用 AI 处理器日益增长的趋势,与传统的 GPU 不同——一些数据中心 GPU 已经优先考虑计算而非图形。 用户们争论这些 NPU(神经处理单元)的价值,一些人预计它们将为本地 AI 模型、Plex 服务器和虚拟机等任务带来好处。另一些人则表示怀疑,认为它们对于他们的工作流程来说是多余的“负担”。 一个关键点是 AI 对编程工作的影响,一些人认为 AI 可以显著提高程序员的生产力,而另一些人则质疑当前 AI 的实现是否会被广泛采用,将其比作 AR 获得的冷淡反响。Framework Desktop 被提及作为一个已经利用 Ryzen AI 能力的“非标准”电脑的例子。

启用 JavaScript 和 Cookie 以继续。

一个黑客新闻的讨论集中在需要为人工智能代理重新设计命令行界面(CLI)。原始帖子(poehnelt.com)指出,当前为人类使用优化(可发现性与容错性)的CLI不适合需要可预测性和强大的错误处理的代理。 评论者争论这是否代表着远程过程调用(RPC)的重新发明——本质上,代理向CLI发出结构化请求——以及语言服务器协议(LSP)是否可以提供解决方案。有人建议代理可以*编写*代码来与CLI交互。 一个相关的关于Google Workspace CLI的帖子也被链接。虽然最初的帖子标题被批评为“点击诱饵”,但核心论点——以代理为中心的CLI需要与以人为中心的CLI完全不同的设计方法——引起了讨论共鸣。一位评论员只是表达了对讨论时机的沮丧。

## chardet 重新授权与开源许可的未来 Python 库 `chardet` 近期从 LGPL 重新授权为 MIT,引发了一场关于 AI 辅助代码重写及其对开源许可影响的法律辩论。维护者使用 Claude Code 重写了代码库,但原始作者认为这违反了 LGPL,因为 AI 是在原始授权代码上训练的——而不是“干净房间”实现。 情况进一步复杂化的是,美国最高法院最近重申了版权的“人类作者身份”要求,可能使维护者无法对 AI 生成的代码进行任何授权。这造成了一种悖论:代码可能是 LGPL 要求下的衍生作品,或者由于缺乏人类作者身份而落入公有领域。 此案例凸显了一个关键问题:如果 AI 重写被认为是有效的重新授权,它可能有效地破坏像 GPL 这样的 copyleft 许可协议。`chardet` 案例是一个具有里程碑意义的测试案例,在 AI 生成代码时代划定了新的法律和伦理界限。

一场关于Hacker News的讨论集中在使用人工智能重写代码以及可能更改其许可的法律影响。最初的帖子强调了一个“重新授权”的项目,这引发了关于这种做法是否合法有效的争论。 主要讨论点包括:仅仅声明新的许可并不能改变原始LGPL许可,除非*所有*版权所有者同意。对话还涉及最近的美国最高法院关于人工智能生成作品的裁决,以及它与人工智能*转换*现有代码的区别。 用户讨论了“干净房间”重写过程(在NEC v. Intel和Compaq IBM PC BIOS逆向工程等案例中建立),作为获得新许可的潜在法律途径,但质疑其在涉及人工智能时的适用性。一个核心问题是,通过人工智能辅助重写将一个GPL许可的项目翻译成另一种语言(例如,从Python到Rust),是否可以合法地获得更宽松的许可,例如MIT,从而有效地规避GPL要求。然而,许多人认为即使进行语言转换,GPL仍然适用。

迪伦·阿拉普斯收到了一条来自沃达丰的奇怪、未经请求的短信,提供“999999分钟”和五天无限流量——这是一份没有附加条件的礼物,与典型的促销活动不同。虽然系统将他实际可用的分钟数限制为7200分钟(每次一分钟),但优惠的规模以及短信中的一个明显的错别字,引起了他的好奇。 他质疑这条信息是否是真正的错误、自动化系统中的故障,或者——更令人感兴趣的是——是人工员工手动发送优惠的结果。他想知道是否有一名沃达丰员工亲自“祝福”了他的账户,赠送这些礼物。 最终,阿拉普斯承认他可能找不到答案,但他珍惜自己可能是第一位“沃达丰分钟百万富翁”的经历。 这篇文章是对自动化客户沟通背后的人为因素(或缺乏)的一种有趣的探索。

这个Hacker News讨论围绕着从沃达丰收到的促销信息,很可能属于垃圾邮件。用户“djnaraps”分享了他收到的优惠,引发了关于沃达丰激进营销策略的回复。 多位评论者指出该公司持续发送垃圾邮件——包括重复发送相同的优惠邮件——并且细节粗心(拼写错误)。一位用户甚至直接离开沃达丰,就是为了*摆脱*持续不断的骚扰信息。 对话还涉及这些“赠品”优惠背后的策略,认为沃达丰旨在通过短期利益培养用户习惯,以产生未来利润,类似于亚马逊Prime的试用期。整体语气是幽默和批评沃达丰的营销方式。

## 高斯与球体堆积问题:形式化验证的突破 长期存在的球体堆积问题——确定在n维空间中排列球体的最密集方式——由玛丽娜·维亚佐夫斯卡在2022年解决,维度为8和24,并因此荣获菲尔兹奖。这些解决方案依赖于几何、分析和数论之间的联系,但对其进行*形式化验证*(确保绝对的数学严谨性)仍然具有挑战性。 最近,人工智能系统高斯取得了一项里程碑式的成就:它完全形式化了维亚佐夫斯卡在8维和24维空间的证明。这包括自主创建约20万行代码,证明许多相关的数学事实,甚至优化代码以提高效率。 以前,类似的正式化需要数年的人力工作;高斯仅用三周就完成了这项任务。 这一成功展示了人工智能加速数学研究的潜力,使其证明可搜索和可组合。 它还凸显了对可扩展系统日益增长的需求,这些系统可以管理和整合不断增长的人工智能生成的形式化知识,而高斯开发者正在积极应对这一挑战。 该项目代表着向着数学知识经过严格验证且易于获取的未来迈出的重要一步。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 完成高维球体堆积的正式证明 (math.inc) 12 分,来自 salkahfi 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 robinhouston 44 分钟前 [–] 我不是这方面的专家,但我的印象是这是一个相当重要的里程碑。这是维亚佐夫斯卡最近获得菲尔兹奖的一个重要成果,证明过程相当复杂,显然完全自主地形式化了。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

🎉 无高级会员。无隐藏费用。我认为有意义的关系不应该被付费墙限制。所有功能,无限连接,零成本。 无限连接:想加多少人都可以。没有上限,没有限制。 所有功能已解锁:花园视图、情绪记录、灵活提醒——一切都已解锁。 无广告:干净、专注的体验。您的注意力不用于出售。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Show HN: Poppy – 一个简单的应用,帮助你更有意地维护人际关系 (poppy-connection-keeper.netlify.app) 14 分,由 mahirhiro 1小时前发布 | 隐藏 | 过去的 | 收藏 | 1 条评论 我构建了 Poppy 作为副项目,帮助人们更有意地保持联系。 欢迎大家提供关于引导、提醒和整体用户体验的反馈。 很高兴回答问题。 帮助 paulhebert 1分钟前 [–] 看起来很棒!我一直想更好地给朋友和家人打电话。 我会试一下!回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 核电迎来提振:TerraPower获得十年首个商业许可 TerraPower,由比尔·盖茨支持,获得了美国近十年来首个商业核电站建设许可,为位于怀俄明州的Kemmerer Power Station Unit 1铺平了道路。这标志着一个重大转变,因为美国尚未积极建设核反应堆——目前落后于中国、俄罗斯甚至伊朗等国。 获批的反应堆采用创新的钠冷快中子反应堆技术,并配备熔盐储能,为传统核电站提供了一种灵活高效的替代方案。它使用HALEU燃料,能够实现更小、更高效的堆芯和345兆瓦的容量。 核管理委员会(NRC)出人意料地迅速完成的18个月审查,表明了对日益增长的能源需求(特别是来自人工智能数据中心的需求)以及对可靠的基本负荷电力需求的响应,而这些需求无法仅靠可再生能源满足。该项目预计于2030年投入运营,造价40亿美元(部分由能源部资助),旨在展示一种可扩展、具有成本效益的核解决方案。TerraPower已经与Meta达成协议,可能建设八座类似的电站,这凸显了对无碳、可靠能源日益增长的需求。该项目代表着对过时核方法的摆脱,并朝着现代化美国电网迈出了一步。

## 史诗怒火行动:美国主导对伊朗打击 正如《大纪元》报道,美国主导的大规模对伊朗袭击,代号为“史诗怒火行动”,于2026年2月27日开始,此前美国五角大楼为此进行了数十年的规划。在与伊朗关于铀浓缩计划的谈判失败后,以及以色列策划的一起导致伊朗领导人阿里·哈梅内伊和关键军事官员死亡的事件触发后,特朗普总统批准了该行动。 此次袭击涉及大规模协同作战,超过100架飞机从陆地和海上起飞,同时航母打击群发射鱼叉巡航导弹,陆军导弹系统进行精确打击。在实际袭击之前,太空军、陆军和空军网络战部队破坏了伊朗的通信和防空系统。 在最初的24小时内,袭击了超过1000个目标,使用了包括隐形轰炸机和一种新型低成本无人机系统等多种武器。大约2400名美国士兵驻扎在叙利亚和伊拉克,面临持续袭击,尽管在行动之前,一些国民警卫队部队正在撤离。五角大楼声称有能力维持并可能扩大此次行动。

## GitHub Markdown 中的彩色文本与定宽字体:一种权宜之计 作者希望能够在 GitHub 风格的 Markdown (GFM) 中直接显示彩色、定宽 ASCII 文本——来自其 Python 分层 ASCII 表示/渲染工具 (phart) 的输出。 最初的目标是利用 Mermaid 语法,但他们发现 GFM 对彩色文本的支持有限。 他们的解决方案是利用 GFM 处理内联 LaTeX 数学表达式时的一个特点。 通过将彩色文本*嵌入*到 LaTeX 中,他们可以实现颜色化,但面临着不需要的格式问题(居中、换行)和非等宽字体的问题。 一个解决方法是计算空格宽度比来近似等宽字体,但需要使用项目符号来管理垂直间距——否则 LaTeX 行会引入过多的间隙。 最终结果是一种功能性的,但“权宜之计”的方法:彩色 ASCII 艺术以项目符号列表的形式显示。 这是一个复杂的解决方案,源于规避 GFM 的限制以及避免基于图像的表示的愿望。 作者还指出,phart 现在可以输出 SVG,最初是通过简单地将终端输出包装在 `<PRE>` 标签中实现的,现在则可以捕获 ANSI 转义序列来进行颜色转换。 归根结底,这证明了在受限系统内创造性解决问题的能力。

## 展示 HN:GitHub 自定义 Markdown 格式 一位 Hacker News 的开发者分享了一个项目,详细介绍了一种在 GitHub-Flavored Markdown (GFM) 中实现自定义样式的解决方法。由于 GFM 在格式化方面(除了语法高亮)不允许使用任意 HTML/CSS,开发者感到沮丧,因此创建了一个系统来输出一种特殊的 Markdown 格式。 该项目在 GitHub 上有文档,允许控制颜色、样式和对齐方式——这些是 GitHub 故意限制的功能,以避免安全风险并保持一致的外观。虽然像 Jekyll 这样的工具可以通过 GitHub Pages 提供样式控制,但开发者找到了一种更具挑战性,最终也更令人满意的解决方案。 该项目源于其现有的 ASCII 线路图工具的需求,并免费提供给其他人使用,体现了“通过解决可能最好避免的问题来节省他人时间”的精神。

最近的民意调查数据表明,民主党可能在2026年中期选举中面临重大损失,打破了执政党通常会失去席位的历史趋势。哈佛CAPS/哈里斯民调显示,国会选举的选票支持率为50-50,与1月份民主党领先八个百分点的结果相比,发生了显著变化。 民调显示,共和党的宣传信息——侧重于法律与秩序、边境安全和经济责任——比民主党扩大社会项目的平台更能引起选民的共鸣(可信度分别为54%和48%)。选民也更信任特朗普政府在经济管理方面。 此外,对共和党主要政策立场,如更严格的移民执法(75%支持)和选举诚信措施,如选民身份验证(81%支持)存在强烈的支持。从意识形态上看,绝大多数人倾向于资本主义和私有财产所有制。虽然将选举定义为对唐纳德·特朗普的公投的信息正在获得 traction,但这不足以抵消共和党的 gains。 尽管还有八个月的时间,但数据描绘了一幅共和党蓄势待发,可能打破历史先例并在2026年获得席位的图景。

英伟达首席执行官黄仁勋表示,该公司不太可能进一步投资OpenAI和Anthropic,预计它们即将上市将关闭这一机会。尽管最初承诺向OpenAI投资高达1000亿美元,但英伟达的最终投资额要低得多,为300亿美元,这反映了一种潜在的循环动态,即投资被芯片采购所抵消。 使情况更加复杂的是,英伟达与这两家公司的关系都面临动荡。Anthropic的首席执行官公开批评美国向某些国家出售芯片,并因其在人工智能武器化问题上的立场而被特朗普政府列入黑名单——OpenAI迅速利用这一事件与五角大楼达成协议。 这使得英伟达在两家日益分化的公司中拥有股份,可能与客户和合作伙伴产生摩擦。虽然黄仁勋将退出原因归结于上市时机,但分析师认为英伟达正在战略性地退出一种快速复杂化的局面,优先考虑其核心业务,即为这些人工智能领导者提供芯片。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 黄仁勋表示英伟达正在撤回对 OpenAI 和 Anthropic 的投资 (techcrunch.com) 34 分,jnord 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 dmix 10 分钟前 | 下一个 [–] 更好的标题:英伟达在两家公司上市前匆忙进行了一些投资,现在只是在等待付款。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一艘油轮在科威特海岸30海里处发生重大爆炸,导致漏油,并引发环境担忧,特别是对附近的海水淡化厂。事件发生在重要的伊拉克石油出口通道,正值伊朗与其对手之间的紧张局势升级。没有人员伤亡报告,爆炸发生在科威特水域之外。 此次袭击是波斯湾及周边水域一系列海事事件的一部分,包括船舶受损、沉没以及与持续冲突有关的袭击。全球约20%的石油供应通过霍尔木兹海峡运输,使该地区至关重要。 该事件可能导致油价上涨,并已使航运保险商和交易商高度警惕。目前尚无任何组织声称对此负责,但分析人士怀疑伊朗代理人参与其中。当局建议该地区船只保持警惕,因为冲突正在扩大,威胁着全球贸易和区域生态系统。

## JCPOA的致命缺陷与中国的崛起 2015年的联合全面行动计划(JCPOA)旨在限制伊朗的核计划,但关键性地忽略了对其弹道导弹开发的限制——这是*运送*核武器的关键。这是一个刻意的让步,因为中国和俄罗斯都反对导弹限制,而伊朗则认为其导弹计划是一项主权权利。奥巴马政府优先达成协议,将导弹问题推迟到“以后”。 这种推迟证明是灾难性的。伊朗缺乏强大的空军,依靠弹道导弹来实现战略杠杆。在接下来的十年里,它大幅扩大了其军火库——成为中东地区最大的军火库——这很大程度上归功于来自中国的广泛支持。北京提供了从导弹燃料组件到制导系统的一切,有效地实现了伊朗威胁该地区能力的工业化。 这最终导致伊朗在“史诗怒火行动”期间对海湾国家的平民地区发动了报复性导弹袭击。美国的回应是摧毁伊朗的导弹能力,认识到其核计划和导弹计划之间不可分割的联系。这一行动旨在防止伊朗未来能够利用几乎无法穿透的导弹盾牌将中东地区作为人质,这种情况是由中国的战略投资所促成的,并对全球美国的防御资源造成了巨大压力。

## 在Asyncio中协调并发任务:超越事件和条件 在Python的`asyncio`中,跨并发任务管理共享状态是一个常见挑战。虽然`asyncio.Event`和`asyncio.Condition`是标准工具,但在实际并发场景下表现不足。这是因为`asyncio.Event`需要多个事件来表示不同的状态,而`asyncio.Condition`存在“丢失更新”问题——如果状态在通知和消费者运行之间发生变化,消费者可能会错过状态转换。 提出的解决方案是`ValueWatcher`类。它不依赖于消费者不断检查状态,而是将*每次*状态转换都缓冲到每个消费者的队列中。然后,消费者从其队列中读取数据,确保它们不会错过任何变化,即使状态快速波动。 该实现包括线程安全、原子注册、泛型、超时、条件设置、变化监听和回调API等功能。它有效地解决了标准库原语的局限性,为在`asyncio`应用程序中围绕共享可变状态协调并发任务提供了一种强大而可靠的方法。完整实现大约300行,可供使用。

一个 Hacker News 的讨论围绕着一篇批评 Python 的 `asyncio` 原语在共享状态管理方面的问题的文章。一位评论者,TZubiri,质疑从传统轮询到 `asyncio` 的转变,认为许多开发者缺乏对线程和并发基础的扎实理解。 TZubiri 认为,一些异步编程的新手认为它是一种解决 Python 单线程限制(由于 GIL)的最新方案,而忽略了中间的并发选项。他们认为最近的 GIL 移除和 `asyncio` 改进被误解为首次实现了真正的并行性,导致初级开发者通过一个可能具有误导性的框架学习并发概念。核心论点在于实际 Python 开发与对“前沿”异步技术的感知需求之间的脱节。
联系我们 contact @ memedata.com