## 阿尔忒弥斯2号任务发射更新（美国东部时间下午6:59） 美国宇航局的阿尔忒弥斯2号任务已于美国东部时间下午6:35从肯尼迪航天中心成功发射。SLS火箭的固体火箭助推器在两分钟后分离，核心级成功脱离，操作已过渡到上级。 关键里程碑包括猎户座飞船的四个太阳能阵列翼已完全展开，现在为飞船供电。保护服务模块的飞船适配整流罩也已抛弃。 目前，飞行控制员正在准备进行近地点抬升机动（PRM）和远地点抬升燃烧（ARB），以调整猎户座飞船的轨道，使其适应深空旅行。发射后新闻发布会定于美国东部时间晚上9:00举行，随后机组人员将准备进行近距离操作演示——测试猎户座飞船在临时低温推进级附近的机动能力。 NASA的YouTube频道将继续进行直播，阿尔忒弥斯博客将提供持续更新。这次为期10天的任务将测试未来月球和火星探测的关键系统。
每日HackerNews RSS
此消息详细说明了阻止在拉取请求中应用建议代码更改的问题。主要问题是文件中存在隐藏或双向 Unicode 文本，这可能导致意外的解释或编译。 除此之外，许多技术限制正在阻止建议应用过程。这些包括：未进行实际代码更改、拉取请求已关闭或处于排队状态、仅查看部分更改、尝试将建议应用于已删除的行或多行注释，以及各种临时系统限制阻止该操作。 基本上，系统正在标记文件中的潜在问题*并且*在处理提出的更新时遇到了多个障碍。
## OCaml 编译器 C++ 后端 – 摘要
Stephen Dolan（jq 的创建者）发布了一个新的 OCaml 编译器 C++ 后端。 这不是一个传统的 C++ 编译器；它利用 C++ 模板元编程将 OCaml 代码*编译*成 C++ 代码，当尝试编译时，在类型检查期间计算结果——在这种情况下，是质数。
该项目戏称 C++ 是一种“纯函数式语言”，并且需要解释器才能运行，突出了这种不寻常的方法。 用户指出生成的 C++ 代码出人意料地地道且易于阅读，尽管其复杂，并且一些人受到启发，探索将 C++ 作为其他编译器的降级目标。
性能的衡量标准是 g++ 在尝试编译生成的代码时，由于内存耗尽而崩溃所需的时间。 该项目引发了关于 C++ 最佳实践的讨论，特别是避免使用 `reverse` 和 `map` 等函数式方法导致堆栈溢出。 许多评论员指出 Dolan 与 Jane Street 的关联。
## AI 编程与安全防护的需求
Claude Code 等 AI 编程助手承诺实现自动化开发——在你休息时工作的代理。然而，将这些工具直接应用于实际代码库存在风险。复杂项目通常存在隐藏的依赖关系、不断演进的设计系统和未记录的规则，AI 很容易违反这些规则，导致微妙的性能下降，而不是明显的错误。
关键不在于更好的提示词或技能库，而在于**收紧反馈循环**：更快的故障检测至关重要。不要依赖 AI “理所当然”，而要专注于通过诸如代码检查工具、静态分析（SonarJS）、严格的 TypeScript 以及全面的测试（Playwright、基于属性的测试）等工具进行**确定性强制执行**。
具体而言，**严格的复杂度限制**（最大行数、循环复杂度）至关重要。这些不是风格偏好，而是防止过度复杂代码的结构性约束。即使伴随着相关成本，投资于这种“反馈基础设施”也是必不可少的。它将 AI 从一种潜在风险转化为强大的杠杆，确保质量并防止架构漂移。
最终目标是构建一个自我改进的系统，AI 生成的代码能够持续验证和完善，从而创建一个健壮且易于维护的代码库。
对不起。
## 阿尔忒弥斯2号发射进行历史性的登月测试飞行 美国宇航局成功发射了阿尔忒弥斯2号，这是一次为期10天的载人登月任务，标志着超过50年来人类首次进入地月空间。此次任务包括首位女性和有色人种进入该太空区域，但不会在月球着陆，而是对猎户座飞船进行严格测试——旨在将宇航员带离地球比以往任何载人任务都更远。 署长贾雷德·艾萨克曼强调，这是一次至关重要的“测试任务”，为未来的月球探索和“科学与发现的黄金时代”铺平道路。四名宇航员——里德·维斯曼、维克多·格洛弗、克里斯蒂娜·科赫和杰里米·汉森——目前正在评估飞船在17,500英里/小时上升后的性能。 由于电池系统出现技术问题，发射曾面临轻微延误，但最终已得到解决。阿尔忒弥斯2号的成功是美国宇航局长期目标的重要一步，包括在月球上建立可持续的存在，并最终抵达火星。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 [重复] 阿耳忒弥斯2号发射：四名宇航员开始为期10天的月球任务 (theguardian.com) 279 分，Philpax 1天前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
tomhow 1天前 | 下一个 [–]
评论已移至 https://news.ycombinator.com/item?id=47603657。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
不是健康应用。不是家长控制。不试图修复你，指导你，或帮助你“培养更健康习惯”之类的。它是一个有自己观点的浏览器，关于你不需要什么。没有连续登录，没有干预弹窗，没有让你因使用自己手机而感到内疚的机制。无需创建账户。任何内容都不会离开你的设备。只是让你重新掌控你所见内容的工具。没有连续登录，没有内疚感，不是拦截器，不是家长控制，不是治疗，没有账户，仅在设备上。
对不起。
这篇帖子详细介绍了一种用于生成逼真虚拟景观的侵蚀技术，该技术建立在Clay John和Felix Westin (Fewes) 的先前工作之上。其核心思想是*视觉上*模拟侵蚀，而不是通过复杂的物理机制，使其快速且适用于大型地形。它通过分层噪声模式（本质上是风格化的条纹）来实现，这些条纹与地形的坡度对齐，从而创建分支沟壑和山脊。
作者改进了该技术，解决了混沌扭曲和峰/谷形状方面的问题。一项关键创新是“堆叠衰减”，其中每一层侵蚀都会细化确定后续层应用其效果的遮罩，从而创建更清晰的细节。进一步的改进包括“标准化沟壑”以实现一致的山脊定义，以及“直线沟壑”以避免弯曲的图案。
该技术输出地形高度*和*分析导数，这对于其他效果（如排水流痕）很有用。作者将其实现作为Shadertoys分享，鼓励进一步开发并提供对所面临挑战的见解，包括视频渲染困难。该代码是开源的，旨在促进社区贡献和探索这种多功能的地面生成方法。
对不起。
这位用户在Swappa.com购买二手Google Pixel手机，意图安装GrapheneOS时遇到了严重问题。尽管从信誉良好的卖家（Buyback Surgeon、Sellworld和Supplytronics）处购买了三部标示为“解锁”的手机，总价超过1200美元，但它们都无法解锁引导程序——安装GrapheneOS的必要条件。 每次购买都需要进行昂贵的退货流程，用户仍在等待全额退款，并因手续费损失了资金。Swappa工作人员澄清，“解锁”列表*应该*是出厂解锁的Google版本，但他们似乎无法强制执行此规则。一位卖家甚至承认他们无法保证解锁的可能性。 用户得出结论，由于列表审核不足，Swappa平台不适合购买兼容GrapheneOS的Pixel手机，并敦促其他人寻找替代来源。这凸显了一个系统性问题，即“解锁”并不保证引导程序访问权限，导致时间和金钱的浪费。
树莓派宣布进一步涨价，特别是配备LPDDR4 RAM的型号，16GB Pi 5现在售价299.99美元。这属于影响整个单板计算机（SBC）市场的更广泛趋势，由飙升的DRAM价格驱动，DRAM价格现在构成了板卡成本的大部分。
作者认为，这次价格上涨实际上正在扼杀业余爱好者SBC市场，使得高RAM板卡对许多人来说变得难以负担。即使是迷你电脑和二手电脑也变得越来越贵。这限制了项目的可访问性，并促使人们转向更旧、更便宜的硬件，如微控制器。
虽然树莓派凭借其更广泛的业务得以缓冲，但较小的SBC供应商面临着不确定的未来。人们仍然希望内存价格会下降，但作者质疑业余爱好者SBC市场是否能在那时生存下来。
## 硅谷的反智主义 最近人们对理查德·霍夫斯塔德的《美国生活中的反智主义》重新产生了兴趣，这凸显了一个令人不安的趋势：一种对知识分子深深的鄙视，现在正从美国的知识精英——特别是硅谷亿万富翁那里散发出来。这不同于历史上“来自下层”的反智主义，而是一种科技领导者认为他们已经掌握了一切，无须再学习的信念。 这种现象表现为贬低深入的智力工作——例如作曲，以及攻击高等教育和人文学科等机构，仅仅将它们视为数字化和盈利的材料。彼得·蒂尔和马克·安德森等人物积极劝阻传统学习，优先考虑技术捷径和算法思维，尽管这些方法存在明显的缺陷。 这种心态源于“自力更生的人”的神话，以及对受教育和批判性思维赋权的人民的恐惧。作者认为，这助长了对控制的渴望，并体现在提倡专制统治和贬低民主价值观的意识形态中。最终，这种反智主义构成了重大威胁，因为这些有权势的个人 wield 巨大的影响力，却几乎没有受到问责，优先考虑自我富裕和控制，而不是社会进步。
## 研发实验室搭建：实用指南 (概要) 本指南基于在CERN、LBNL等处搭建实验室的经验，详细介绍了传感器开发与测试实验室的建立方法，适用于实验物理、电子学和仪器仪表领域。它侧重于设备、基础设施和服务，*不包括*安全、采购和库存管理（这些需要单独关注）。品牌推荐基于经验，而非赞助；存在替代方案。 一个专用、定制的空间至关重要——标准办公室是不够的。实验室应分为三个区域：主实验室（至少30平方米，配备专用电源、网络和防静电地板）、物理隔离的机械加工车间（至少20平方米）以及PCB/PCBA区域（至少10平方米，配备排烟系统）。 **优先阶段：** 1) 基础设施（电源、通风、基本设备、防静电保护），2) 信号调理、数据采集和原型制作工具，3) 项目特定设备（射频、光学、化学）。 **关键基础设施包括：** 洁净空气/氮气/真空管线、不间断电源、管理的局域网以及组织良好的工作站。基本设备包括电源、数字万用表、示波器和强大的库存系统。可追溯的结果需要校准标准，但并非立即必要。 本指南提供了PCB组装、射频测试、光学和化学等领域工具的详细建议，强调高质量工具和一致的标签对于最大化生产力的重要性。
对不起。