2014年11月12日，欧洲航天局的“菲莱”号着陆器创造了历史，成为首个在彗星（67P/楚留莫夫－格拉希门克彗星）上着陆的航天器。在与母船“罗塞塔”号分离后，“菲莱”号经历了一次惊心动魄的着陆，在多次弹跳后最终停在了一个名为“阿拜多斯”的地点。 尽管面临技术挑战，“菲莱”号在64小时的运行期间完成了预定科学任务的80%。其搭载的仪器提供了开创性的见解，包括对彗星尘埃和冰的首次原位分析，揭示了其内部高度多孔且“蓬松”的结构。着陆器还探测到了有机化合物——这是生命的基本组成部分，并对彗星表面进行了首次主动地震和温度测量。此外，它还证实了该彗星不具备磁性。 虽然“菲莱”号最终进入了休眠状态，但该任务的遗产依然巨大。“罗塞塔”任务从根本上改变了我们对早期太阳系的认知，并为未来的探测工作制定了路线图。如今，“菲莱”号的成就继续激励着新一代的任务，如“赫拉”号和“彗星拦截者”号，它们传承了这一十年前太空探索里程碑的科学精神。
每日HackerNews RSS
抱歉。
布鲁塞尔已启动一项雄心勃勃的“技术主权计划”，旨在将欧洲的数据中心容量提高两倍，并减少对美国云巨头的依赖。尽管该计划引入了大胆的法规，包括政府可能强制接管芯片合同，但它仍面临一个关键且未得到解决的障碍：为这些人工智能“超级工厂”提供动力所需的物理基础设施和能源。 欧洲大陆深受“BANANA”（绝对不要在任何地方建造任何东西）心态的影响，官僚主义的僵局和缓慢的审批程序阻碍了发展。与此同时，冰岛等地区提供了现成的解决方案，通过丰富的清洁地热和水力发电，以及天然的冷却优势。尽管有这些优势，欧洲仍将自身固有的地质资产视为事后补充，而非战略支柱。 归根结底，欧洲优先考虑制定复杂的法规，而非部署的实际需求。当欧盟专注于制定规则以实现“数字主权”时，私人资本正在他处寻求更优越的环境。除非布鲁塞尔能够克服内部的监管瘫痪，并将能源基础设施视为国家优先事项，否则其实现人工智能独立的追求将不过是一份“精美的文档”，而实际工作将继续由他人完成。
关于为何欧洲不倾向于在冰岛建设人工智能数据中心，Hacker News 上的讨论主要集中在以下几点顾虑：
* **地质风险：** 评论者指出，冰岛位于活跃的火山区和构造断裂带上，这对基础设施的稳定性构成了严重的物理威胁。
* **延迟问题：** 冰岛与欧洲大陆之间的地理距离会导致不可避免的延迟问题，使其在高性能人工智能应用方面表现不佳。
* **对大型科技公司的怀疑：** 舆论普遍认为，建设此类基础设施主要惠及美国科技巨头，而非欧洲利益。这引发了对“科技兄弟殖民主义”的担忧，以及对当地能否获得实际利益的质疑。
* **监管阻力：** 一些参与者认为，欧盟严苛的监管环境抑制了潜在的发展；另一些人则认为，冰岛保持自身独立性，不将经济与波动的外部需求挂钩会更好。
总的来说，人们普遍认为，尽管冰岛拥有丰富的可再生能源，但物理不稳定性、地理距离以及不愿服务于外国科技利益等因素的叠加，使其劣势超过了优势。
**开放记忆协议 (OMP)** 是一项供应商中立的开源标准，旨在解决“AI 记忆孤岛”问题。目前，Claude、ChatGPT 和 Cursor 等 AI 工具各自独立运行，一旦切换平台，上下文便会丢失。
OMP 通过以下方式实现可移植、可互操作的 AI 记忆：
* **标准化规范：** 对内存对象、存储格式和 REST API 的精确定义。
* **自托管基础设施：** 提供一个参考服务器，让用户掌控数据，确保隐私和所有权。
* **跨工具集成：** 利用 MCP、SDK 和浏览器扩展，OMP 允许不同的 AI 工具读写同一个记忆存储库。
通过运行本地 OMP 服务器，用户可以让 AI 助手在所有会话和设备中自动调取偏好设置、编码风格以及过往项目详情。由于基于开放标准构建，任何支持 HTTP 请求的工具都可以实现 OMP，从而打破对封闭生态系统的依赖。
OMP 是免费、社区驱动的，专为那些希望其 AI 上下文具备可移植性、隐私性和持久性的用户而设计。欲了解更多信息，请访问[官方仓库](https://github.com/smjai/omp)。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Open Memory Protocol – 为 Claude、ChatGPT、Cursor 提供统一记忆存储 (github.com/smjai)由 soji_mathew 发布于 1 小时前，6 点 | 隐藏 | 过往 | 收藏 | 1 条评论帮助
brcmthrowaway 22 分钟前 | 下一条 [–]
垃圾内容警报回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
请启用 JavaScript 和 Cookie 以继续。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Netflix 如何通过 Kueue 简化批量计算 (netflixtechblog.com)
5 分，由 dalvrosa 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请提供您需要翻译的内容。
抱歉。
本指南旨在作为在历史悠久的 PDP-1 计算机上使用 Lisp 的实用入门手册。PDP-1 Lisp 由约翰·麦卡锡（John McCarthy）开发，由于它与现代编程环境存在显著差异，因此需要使用者了解其特定的操作特性。
**关键操作说明：**
* **系统控制：** 请始终将地址开关设为 0004。如果系统因输入错误或故障而死机，请按“START”（启动），然后按“CONTINUE”（继续）进行重置。
* **输入：** 命令需以空格而非回车键结尾来执行。使用 `nil` 来确认系统是否处于活动状态。
* **数学运算：** 请注意 PDP-1 Lisp 使用八进制算术（例如 `4 + 4 = 10`）。
**代码管理：**
程序通常通过使用“感应开关 5”（SS5）的纸带进行加载。如需保存代码，请在使用 `pdef` 函数时将“感应开关 3”（SS3）设为将输出定向至纸带穿孔机。由于 PDP-1 使用非易失性磁芯存储器，程序在电源循环后仍会保留。
如需深入研究，请参阅原始的 PDP-1 和 Lisp 1.5 手册。您还可以利用所提供的文档文件，训练 AI 助手作为您 PDP-1 项目的编程辅助工具。
这篇 Hacker News 讨论帖探讨了 PDP-1 Lisp 的历史意义。该语言最初由彼得·多伊奇（Peter Deutsch）于 1960 年读高中时编写。用户们强调了它在极其有限的硬件（4K 18位字）上令人惊叹的可用性，以及它对现代编程（特别是 REPL 概念）的深远影响。
为了鼓励探索，作者邀请用户通过开源模拟器运行 PDP-1 Lisp 代码。讨论随后转向人工智能历史，将 20 世纪 60 年代的“伊莉莎”（Eliza）热潮、后来 MIT 人工智能实验室的 SHRDLU 的成功，与当代大语言模型（LLM）的炒作进行了对比。参与者反思了“人工智能寒暑交替”的周期性规律，指出尽管技术进步迅速，但人们的期望往往超出了现实。此外，有用户寻求关于 Lisp 历史的综合性书籍推荐，其他用户则建议查阅早期的学术资源。
Fil-C 现在除了支持 `setjmp`/`longjmp` 之外，还支持 `ucontext` API（0.680 版本之后引入），从而实现了内存安全的协程与纤程。 这些 API 因难以安全实现而闻名，因为误用（例如跳转到悬空栈）通常会导致崩溃或被利用。Fil-C 通过将 `jmp_buf` 和 `ucontext_t` 设为仅由运行时管理的透明对象，消除了这些风险。 对于 `setjmp`/`longjmp`，Fil-C 通过检查跳转是否源自祖先栈帧并保留垃圾回收（GC）根节点来确保安全。`ucontext` 的实现强制执行严格的状态机和线程亲和性，忽略用户提供的栈指针，转而使用受管理的内存分配。此外，Fil-C 将这些上下文集成到垃圾回收器中，确保在标记阶段能够正确追踪已挂起纤程内的指针。 通过将 API 的使用限制在安全模式下（例如禁止将 `ucontext` 用于标准长跳转），Fil-C 为这些“堕落”的 C 语言特性提供了一个健壮且内存安全的环境。这些特性目前可通过源码构建使用，其中 `setjmp`/`longjmp` 已被视为稳定，而 `ucontext` 正在持续测试中。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Fil-C (fil-c.org) 中的内存安全上下文切换 (longjmp, setjmp)
14 分，由 modeless 发布于 51 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
别再手动把终端错误复制粘贴给 Claude Code 了。当你插手时，你正在打断该工具旨在实现的高速自动化工程流程。如果 Claude 没发现某个 Bug，这并不是让你接管工作的信号，而是说明该代理缺乏验证自身工作所需的必要工具。
与其进行手动调试，不如赋予代理自行解决问题的能力。如果发现数据库问题，就给 Claude 提供数据库访问权限；如果有视觉 Bug，就为它提供无头浏览器；如果应用很复杂，就提供隔离的云凭证。
你作为工程师的角色已经演变：停止在错误和代码之间充当手动桥梁。你的目标是识别代理失败的原因，为它提供适当的环境或 API 访问权限以检测这些故障，然后放手。通过自动化验证循环，你能够让代理自主进行迭代、测试和修复 Bug。在 2026 年，专业工程的核心在于诊断代理瓶颈并配置系统，让计算机去完成工作——而不是你。
这篇 Hacker News 帖子探讨了“氛围编程”（vibe coding）的风险与收益——即在极少人工干预的情况下，利用人工智能体编写软件的做法。
讨论的焦点在于：开发者是应该手动将错误信息粘贴到 Claude Code 等工具中，还是让 AI 自主诊断问题。支持者认为，让智能体独立运行能使其利用自身的诊断工具，从而提高工作流效率。然而，批评者则警告称，这会造就一个充满不可维护、低质量代码的“地狱”。他们认为 AI 缺乏对系统的认知模型，往往会导致难以察觉的 Bug 和技术债务，这让后续的人类开发者难以理清。
一个反复出现的主题是“人在回路”（HITL）优化的必要性。资深用户建议，当 AI 能直接访问验证工具（如测试运行器）而非依赖人类手动中转错误时，其表现最佳。尽管有些人为 AI 辅助开发带来的速度提升欢呼，将其视为重大进步，但另一些人则担心，过度依赖“黑盒”代码生成会削弱构建可靠且经过深思熟虑的软件系统所需的基本工程技能。
本文探讨了在使用 B+ 树索引时，使用无序随机标识符（如安全的 160 位令牌）会导致数据库插入性能下降的问题。由于 B+ 树是有序的，插入完全随机的数据会引发频繁的页面分裂和树结构重平衡，从而显著拖慢写入操作。 作者演示了通过在插入前对批量随机数据进行排序，可以缓解这些问题。通过使用 8 字节无符号比较对随机标识符进行内存中排序，作者实现了比未排序随机插入快 2 到 3 倍的插入速度。 核心结论是，在无法使用 UUID7 等顺序替代方案（例如由于熵要求）处理无序主键时，预先对数据批次进行排序是一种极有效的优化策略，能够降低数据库开销。
Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录SQLite通过预排序提升性能 (andersmurphy.com)11分 由 tosh 2小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
本项目是一个作为硕士论文原型开发的本地优先、超关系型知识库。它利用**内容可寻址存储（CAS）**系统，通过 SHA-256 哈希对文件进行去重，从而确保数据完整性和原子提交。
该系统的核心采用**超关系图**结构，使用 `statement(Subject, Predicate, Object, Properties)` 形式的 Prolog 条款。通过支持具体化（即主语和宾语本身也可以是陈述），该系统允许构建复杂的嵌套式主张。架构主要基于 **Trealla Prolog** 构建，并集成了 **SQLite** 用于持久化存储，以及 **Raylib** 用于交互式图形界面。
主要功能包括：
* **时间旅行：** 使用 `replaces_id` 的版本控制系统，用于追踪陈述的历史记录。
* **性能：** 使用双向递归公用表表达式（CTE），仅将必要的子图加载到内存中。
* **可扩展性：** 基于 C 语言的 FFI 层提供了高性能的实用工具和渲染能力。
该平台包含用于数据摄取、搜索和数据库维护的命令行界面（CLI），以及一个可视化图形浏览器。这是一个开源（GPL-3.0）工具，专为深度、演进式知识管理而设计，并通过 Nix 支持可复现的构建。
最近一篇 Hacker News 文章分享了 **Kb**，这是一个基于 Prolog 的知识库系统 (github.com/mat-mgm)。该项目立即引起了开发社区的关注，并在正在构建类似逻辑编程引擎和声明式 DSL 的用户中引发了讨论。
该讨论帖的要点包括：
* **同行关注：** 目前正在开发自己的逻辑引擎的开发者对该项目的设计选择很感兴趣，并正在探索潜在的合作或架构集成，例如替换 SQLite/Prolog 后端。
* **功能潜力：** 参与者正在询问高级功能，特别是该系统是否能支持真值维护系统，或作为一种封闭的、可重放的环境使用。
* **实际应用：** 用户正在寻求明确该工具的理想应用场景，以及其查询系统的长期可扩展性。
这次对话突显了逻辑编程领域对轻量级、可编程知识管理工具这一小众但活跃领域的兴趣。