**Goose** 是一门全新的内存安全系统编程语言，旨在通过完全消除堆内存来提升性能和效率。与 C++ 或 Rust 不同，Goose 通过编译器分配的数据栈来管理内存，增长仅需简单的指针移动，退出作用域即完成内存释放。
**主要创新点包括：**
* **性能：** 在基准测试中，它始终优于 C++ 和 Rust。由于避免了分配器、垃圾回收、引用计数和析构函数，其内存占用显著更低。
* **内存安全：** 通过静态推断实现安全性，无需生命周期标注、别名规则或“不安全”（unsafe）代码块。编译器确保引用不会超过其所有者的生命周期。
* **数据结构：** 值以连续、扁平的块形式存储。变长字段采用内联存储，自定义枚举支持内存高效的代数数据类型（ADT）。
* **可移植性与集成：** 编译器以 C 语言为目标，具有极高的可移植性。它支持通过 TinyCC 进行进程内执行，并提供无缝的 C-FFI 支持。
* **并发：** Goose 采用“无共享”模型，线程作为独立程序运行，通过类型化、序列化的队列进行通信。
通过利用静态保证和顺序化、缓存友好的数据布局，Goose 在生成人类可读的 C 代码的同时，实现了高级别的安全性与底层的控制力。
每日HackerNews RSS
由 Wouter van Oortmerssen（aardappel）开发的 **Goose** 编程语言在 Hacker News 上引发了广泛讨论。Goose 旨在成为 C 和 Rust 的内存安全替代方案，它通过摒弃传统的堆分配，转而采用严格的基于作用域的栈管理，从而专注于实现高性能。
该项目主要因其使用人工智能生成的 README 文档而受到批评。许多用户认为这些文档充满了“大语言模型式”（LLM-isms）的辞令，显得缺乏诚意且掩盖了项目的实际价值。尽管引发了负面反馈并导致提交者要求删除讨论帖，技术社区仍就该语言的设计进行了深入探讨。
关键技术要点包括：
* **性能主张：** Goose 声称通过利用严格的栈式内存管理，其速度优于 C++ 和 Rust。怀疑论者认为，这些主张基于狭隘的微基准测试，可能无法转化为实际应用中的表现。
* **局限性：** 通过规避堆内存，该语言强行规定了一种特定的架构风格。尽管有些人认为这是一种“束缚”，但另一些人（特别是在嵌入式系统和游戏开发领域）则认为，对确定性内存行为的关注具有吸引力。
* **人工智能集成：** 此次讨论凸显了技术社区在利用大语言模型编写文档和样板代码方面日益增长的矛盾。许多用户呼吁开源项目应保持由人工撰写的清晰度。
“Plugin4Shell”是一个严重的供应链漏洞，影响了包括 Claude Code、OpenAI Codex、GitHub Copilot 和 Gemini CLI 在内的主要 AI 编程智能体。 该缺陷在于这些智能体处理插件安全的方式。虽然智能体使用“SHA 锁定”来确保它们运行的是经过审查的特定版本插件，但它们未能验证所检出的代码是否与该哈希值匹配。控制插件仓库的攻击者可以利用这一点，通过创建一个名称伪装成哈希值的分支，或操纵检出流程，使智能体执行恶意代码而非预期的版本。 由于智能体经常在后台自动更新插件，该漏洞允许实现“零点击”远程代码执行。攻击无需用户交互，且恶意插件会继承使用该智能体的员工的全部权限，从而使攻击者能够访问敏感的内部系统和数据。 尽管 Anthropic 和 OpenAI 等部分供应商已经发布了补丁，但其他供应商（如 Google 的 Gemini CLI）仍存在漏洞或尚未修复。由于该缺陷位于客户端，外部市场无法修复；用户必须确保其使用的智能体软件已更新至补丁版本，以降低此风险。
航天飞机着陆——一部飞行机器与一生难忘的悸动 Landing the Space Shuttle – A Flying Machine and the Thrill of a Lifetime
3 天前
在这篇第一人称叙述中，前美国国家航空航天局（NASA）宇航员查理·波考特（Charlie Precourt）详细讲述了他驾驶“亚特兰蒂斯号”航天飞机安全降落在肯尼迪航天中心的紧张经历。在结束了对俄罗斯“和平号”空间站的任务后，波考特将航天飞机的最后下降过程形容为一次“无动力”（dead-stick）操作，这要求飞行员从1马赫的速度到最终着陆，必须精准地进行能量管理并完美执行操作。 波考特将成功归功于数百小时的严格训练，特别是驾驶一种经过改装的湾流G-II飞机，该飞机能够模拟航天飞机独特的飞行特性及其陡峭的20度下滑道。在最后几分钟里，波考特与任务飞行员艾琳·柯林斯（Eileen Collins）依靠高度规范化的通讯和先进的导航系统，通过了“航向对准锥体”，并成功操纵着常被形容为“飞行砖块”的航天飞机穿过云层和侧风。 这段叙述不仅捕捉了轨道重返大气层的技术复杂性，还展现了任务中的人文色彩，包括一则关于波考特女儿的趣事：她在地面观看航天飞机进场时，曾担心父亲会错过跑道。最终，这次着陆证明了将航天飞机安全送回地球所需的多年训练与协调配合。
位于达拉斯东北部的 Computer Reset 是一家传奇般的仓库与零售店，由理查德·拜伦（Richard Byron）于 20 世纪 80 年代中期创立。几十年来，这座占地 18,000 平方英尺的设施一直是复古计算设备的首选之地，专门经营 IBM 的设备与零件。通过以旧换新、升级换代以及大批量收购企业闲置物资，该店积累了从地板到天花板的海量库存。
随着拜伦健康状况恶化并于 2019 年去世，该企业面临着复杂的清算难题。由于设施老化，维持运营已成为财务负担，而堆积如山的过时硬件也使得传统的销售或重建工作难以开展。然而，事情最终得到了圆满解决：在 2019 年至 2022 年间，受该店在 YouTube 上声名鹊起的影响，一大批志愿者主动加入，协助清理了仓库。这一举措使大部分藏品免于被废弃，并将其转移到了能够妥善保存和利用它们的爱好者手中。Computer Reset 至今仍是复古计算社区的文化标杆，它代表了一个硬件坚固耐用且备受珍视的独特时代。
产品团队经常陷入“加法偏见”，为了满足组织需求，优先创建复杂的“一刀切”式功能，例如通用文档中心或通知中心。这些功能往往是偷懒的解决方案，会造成长期的维护负担和技术债务。 作者认为，团队应抵制构建不必要平台的冲动。相反，应根据具体情况解决沟通需求，专注于个性化用例，而非构建基础设施。成功的衡量标准应是为用户提供的价值，而非交付的功能数量。 真正的挑战在于，我们的文化鼓励创造而非精选。精简功能需要付出巨大的认知努力，但研究表明，剔除不必要的内容往往能带来更好的商业成果和用户体验。作者从史蒂夫·乔布斯 1997 年削减苹果产品线的决策中获得启发，提倡进行无情的优先级排序：集中人才，聚焦核心，并对删除不必要的内容保持强硬态度。正如作者总结的那样，目标不是产出更多，而是简化；有时，删减是团队能做出的最有力的改进。
抱歉。
日本百岁以上老人数量首次突破10万人，达到107,677人。其中女性占比88%，最长寿者为114岁。专家认为，长寿归功于健康的饮食、积极的生活方式以及医疗进步。
然而，这一里程碑凸显了日本正面临深层的“生存危机”。日本正处于人口崩溃之中，生育率降至1.14的创纪录低点。目前65岁及以上人口占总人口的30%，预计到2070年将达到40%，政府正竭力维持社会保障体系的可持续性。尽管国家采取了多项鼓励生育的政策，但全国总人口仍在迅速减少，当局将这一趋势描述为一场“无声的紧急状态”。
尽管日本在健康老龄化方面仍处于世界领先地位，但劳动力萎缩与老年人口激增并存，带来了严峻的经济和社会挑战。过去有关记录的担忧，例如2010年发现数十万名“下落不明”的百岁老人，也凸显了管理老龄化社会的后勤难度。
Snapdrop 网络中的所有人都可以发现你 文件已接收 文件名 下载前询问是否保存每个文件 消息已接收 复制 关闭 连接有问题？ 允许麦克风权限有助于 Chrome 连接到附近的设备。Snapdrop 将短暂激活你的麦克风并立即停止。不会录制或发送任何音频。 允许 暂不 文件传输已完成 在设备间传输文件的最简单方法 Snapdrop 仅在启用 JavaScript 时工作
抱歉。
西班牙 Dinópolis 基金会的古生物学家发现了北美以外首批确认的梁龙化石。这些化石在特鲁埃尔（Teruel）的 La Tejería 遗址出土，包括 14 块保存完好的尾椎骨及相关骨骼，属于一只生活在约 1.5 亿年前、体长 25 米的蜥脚类恐龙。
这一重大发现为侏罗纪晚期欧洲与北美之间的动物群交流提供了有力证据。研究人员认为，随着原始北大西洋退去而形成的临时陆桥，使这些巨型恐龙得以在各大洲之间迁徙。
此项发现加深了我们对伊比利亚半岛中生代生态系统的认识，并凸显了该地区极高的蜥脚类恐龙多样性。通过确认西班牙境内梁龙的存在，科学家们获得了关于这些标志性生物扩散模式的重要见解，也巩固了特鲁埃尔作为古生物学研究关键地点的地位。研究团队的发现即将发表在《脊椎动物古生物学杂志》上。
抱歉。
若想在利用大语言模型（LLM）提升写作水平的同时又不失个人风格，请将模型视为一名严格的文字编辑，而非代笔者。读者很容易识别出带有“大模型味”的行文，因此请遵循以下两条基本原则：
1. **切勿使用大模型建议的措辞：** 最前沿的模型经过训练，倾向于使用那种经过润色、标题党式的语气，过度使用会显得非常生硬。即便 AI 的建议听起来更好，也请拒绝采纳，以保持你的个人真实性。
2. **拒绝大模型的吹捧：** AI 模型容易过度恭维。它们会夸赞你拙劣的初稿，导致你坚持错误的写作方式。请忽视它们的夸赞，并禁止它们提供空洞的肯定。
相反，应利用大模型来处理人工编辑中那些“繁琐的工作”。要求模型找出结构缺陷、用词重复、副词滥用或被动语态等干扰表达的问题。通过让 AI 指出问题而非提供解决方案，你可以保留完全的创作控制权。参考专业的风格指南（例如《风格：清晰与优雅的课程》），编写具体且严苛的提示词。这样既能加快编辑流程，又能让你的文字保持人性化、犀利且严谨。
这篇 Hacker News 的讨论围绕文章《如何利用大语言模型写作》（How to Write with an LLM）展开。该文认为，虽然大语言模型（LLM）可以充当机械化的文字编辑，但绝不应被用作面向人类读者的内容的代笔者。
辩论的核心要点包括：
* **“作者责任”原则：** 大多数参与者认同写作即思考。如果作者不投入精力去构建自己的思想，读者就没有义务去阅读。人工智能生成的“垃圾内容”被视为对沟通价值的贬低。
* **人工智能作为编辑的角色：** 许多用户成功利用大语言模型来标记技术性问题（如过度使用的词汇、被动语态或冗长句子），而非要求其进行文风重写。共识是人工智能缺乏“品味”和“心智理论”，往往会过度润色文稿，导致其失去人性本质。
* **“AI 腔调”的风险：** 评论者指出，过度依赖大语言模型写作往往会陷入可预测的、公式化的模式（例如使用“负载”或“深入探讨”等词汇）。过度依赖这些工具存在导致人类沟通“哈布斯堡化”的风险，即模型最终会基于自身产出的低质量内容进行训练。
* **结论：** 真实的写作需要人类的判断力、刻意的词汇选择以及个人的努力。
重试风暴是指服务在请求失败时频繁进行重试，导致流量在深度依赖链路中呈指数级放大。传统的解决方案（如重试配额）通常依赖手动配置且缺乏上下文信息，无法区分根本原因与衍生故障。
为了解决这一问题，Uber 在其服务网格中实现了一种“上下文感知”的错误归属机制。通过服务依赖分析来关联入站和出站故障，系统能够确定哪个服务是错误的真正“责任方”。
逻辑如下：
* **如果服务因下游故障而报错：** 该错误被标记为“衍生故障”，重试仅限于直接的调用方与被调用方之间。
* **如果服务在没有上游触发的情况下返回错误：** 该服务被视为“责任方”，仅允许该服务进行重试。
这种方法防止了不必要的重试向调用栈上游蔓延，从而有效遏制了级联故障。在 2025 年的一次重大故障中，该架构拦截了超过 950 万次无效请求，将“重试风暴影响范围”从 25 个节点深度缩减至 3 个。这一自动化的基础设施层解决方案无需针对每个服务进行定制配置，即可为 Uber 的技术栈提供保护。
这段 Hacker News 讨论聚焦于管理“重试风暴”所带来的挑战，即分布式系统中自动化重试逻辑导致级联故障和延迟增加的问题。
讨论中的主要观点包括：
* **盲目重试的风险：** 在调用链（A→B→C→D）的每一层简单地增加重试，会使负载呈指数级增长。参与者建议，只有“智能”重试才有效，例如针对特定操作（如数据库事务）而非整个请求链进行重试。
* **建议策略：** 用户提倡使用“重试预算”和严格的错误分类。一个关键建议是从下游服务传递“禁止重试”的提示，以防止上游进行不必要的尝试。
* **其他缓解措施：** 除了重试之外，参与者还强调了负载削减（在延迟飙升时限制并发）、熔断器和速率限制等技术。
* **技术细节：** 虽然指数退避和抖动是基础，但它们并非万能方案。资深从业者建议为重试设置截止时间，并使用令牌桶来限制故障期间允许的总额外流量，从而确保重试逻辑不会无意中损害系统稳定性。