🛡️ 快速验证 我们正在检查您的连接以防止自动化滥用 为什么我看到这个？ 有问题吗？联系客服
每日HackerNews RSS
## 龙宫小行星样本揭示生命基石
龙宫小行星的样本中包含所有五种核碱基——DNA和RNA的基本构成单元。phys.org报道称，这一发现加强了小行星可能将这些关键成分输送到地球，从而为地球播下生命种子的理论。
这一发现支持了生命起源并非完全是地球内部过程的观点。虽然生命的形成本身仍然是个谜，但这些构成单元的广泛存在表明它们在整个太阳系中都很常见。
讨论的重点在于这些成分是否能够经受住前往地球的旅程，一些人认为大气层进入会摧毁它们。另一些人则指出输送的时间——在地球最初形成后补充地球耗尽的供应——以及生命可能起源于火星，然后通过陨石撞击转移的可能性。这场争论凸显了从无机物产生生命的挑战以及持续探索生命起源的努力。
将受保护的品牌字体复制粘贴到Google文档中，无需授权。Google Workspace允许付费的品牌将自定义公司字体嵌入到文档和幻灯片中。通常，这些字体仅限于购买自定义字体的品牌使用，但有一个漏洞：复制/粘贴。以下是一些你可以这样做的品牌字体。享受吧。（但这在Google移动应用上不起作用） 找到你想要“走私”到Google文档中的字体 点击字体将其复制到剪贴板 打开Google文档或幻灯片文档并粘贴。
最近的调查显示，Meta正在大力资助一项超过20亿美元的游说活动，通过众多非营利组织（如数字儿童联盟）伪装，以推动美国通过年龄验证法案。这些法案将要求苹果和谷歌在其操作系统中构建监控基础设施，允许应用程序持续验证用户年龄——本质上是创建永久数字身份。 值得注意的是，Meta自己的平台将免于这些要求，从而获得竞争优势。这种策略通过分散资金绕过了典型的选举支出透明度规定。 拟议的系统与欧盟的做法形成鲜明对比，欧盟优先使用零知识证明来进行年龄验证，以保护隐私。专家警告说，这些美国法律可能会损害设备安全，并迫使甚至注重隐私的操作系统实施侵入式身份检查，最终将Meta的利益置于用户隐私之上。
软糖几何
Gummy Geometry
10 天前
← 返回首页 示例 点击或拖动画布与模拟互动。 标签 ▾ 实时演示 多人物理 实时服务器权威模拟 — 移动角色，推动物体，实时查看其他玩家。 开始游戏 → 原始 Haxe 引擎由 Luca Deltodesco 制作 • JS 编译器由 Andrew Bradley 制作 • TypeScript 封装由 Istvan Krisztian Somoracz 制作 MIT 许可
## 软糖几何：一个混乱的物理游乐场
一款名为“软糖几何”（newkrok.github.io）的新型网页玩具，因其令人愉悦的不稳定物理效果而备受关注。用户可以创建和互动各种形状，并很快发现缺乏明确的指导会导致不可预测且常常令人捧腹的结果。
用户报告说，他们创造出奇特、相互连接的形态，这些形态会颤抖并“争夺”稳定性，看起来像挣扎的人物或几何细菌。巧妙的互动包括建造蹦床、锚定形状，甚至将它们丢出画面。
开发者NewKrok使用了nape-js物理引擎，承认存在一些不稳定因素，但也指出它比许多类似的2D求解器更稳定。尽管在一些浏览器（特别是Firefox）上存在兼容性问题，但该演示仍然极具吸引力，评论者认为它具有成为类似《愤怒的小鸟》的休闲游戏的潜力，并包含解谜和竞争元素。它被形容为“疯狂的乐趣”和“明显具有生物性”。
## 构建一个玩具 Shell：深入剖析 这个项目详细介绍了创建一个简化的 shell（“andsh”）的过程，旨在理解 shell 内部机制，而不仅仅是*使用*它们。作者从头开始构建这个 shell，专注于核心功能，例如读取-求值-打印循环（REPL）、命令执行和管道。 最初的 shell 提供了一个基本的提示符，读取用户输入，并可以执行外部命令。开发进一步进行，通过标记化输入并使用 `fork()` 和 `execvp()` 来启动进程，从而处理命令行参数。添加了处理 `$？` 退出状态和将 `cd` 实现为内置命令等基本功能。 进一步的增强包括环境变量扩展（例如 `echo $HOME`）和管道（`cmd1 | cmd2`），使用 `pipe()` 和 `dup2()` 连接进程流。最后，shell 通过集成 readline 库来实现历史记录和选项卡补全，从而显著改善了用户体验。 虽然“andsh”功能可用，但仍不完整，缺乏诸如引用和重定向之类的功能。然而，该项目提供了对底层系统调用和 shell 实现中涉及的复杂性的宝贵见解，突出了功能与复杂性之间的权衡。完整的代码可在 [healeycodes/andsh](https://github.com/healeycodes/andsh) 获取。
## 构建 Shell：一则 Hacker News 讨论总结
最近 Hacker News 上进行了一场关于构建 Shell 的讨论。原始帖子详细描述了一位开发者的经验，强调了构建核心功能带来的乐趣，但也承认了复杂字符串解析带来的挫败感。
许多评论者表达了相同的感受，指出 Shell 解析与典型的编程语言解析不同，并且可能很快变得难以应对。讨论的解决方案包括利用词法分析器模式和代数数据类型来简化流程，以及使用现有的 `readline` 库来实现编辑和 Tab 补全等功能。
几位用户分享了他们自己的 Shell 构建项目，强调了从中获得的宝贵学习经验——特别是对进程管理（如 `execve` 和 `clone3`）和作业控制的复杂性的理解。 还有人指出了 Codecrafters 和 OpenBSD ksh 等资源作为极佳的学习工具。一个反复出现的主题是，虽然 Shell 的概念很简单，但它隐藏着巨大的复杂性，构建一个 Shell 可以深入了解操作系统的工作原理。
(Empty input provided. There is nothing to translate.)
## OpenViktor：逆向工程与法律问题
一名开发者逆向工程了getviktor.com（而非viktor.ai），并创建了“OpenViktor”，公开发布了代码。最初的帖子引发了关于该项目合法性和伦理的争论，核心在于版权侵权和违反服务条款。
主要的争议点包括LLM生成的代码是否可以被版权保护，以及基于文档重现功能是否构成侵权。一些人认为作者只是“干净房间”方式逆向工程了该服务，而另一些人则认为这明显侵犯了版权，因为未经授权访问和复制了内部代码。
这场讨论凸显了围绕AI生成代码出现的法律挑战，以及在LLM时代日益模糊的知识产权界限。人们对该项目名称（“OpenViktor”）可能侵犯商标权表示担忧。最终，这一事件引发了关于软件知识产权未来以及随着AI工具在开发中变得越来越普遍，潜在法律纠纷的问题。
## Mendral：用于大规模CI的AI
PostHog的CI系统规模庞大——每周近576,000个任务，11.8亿行日志和3300万次测试，这表明其工程团队生产力高且发展迅速。然而，即使99.98%的通过率也会产生大量噪音并浪费工程时间，原因在于不稳定的测试和调查。
为了解决这个问题，PostHog与Mendral的创建者合作，Mendral是一种旨在诊断CI失败、隔离不稳定测试并通过拉取请求自动提出修复方案的AI代理。Mendral基于十年前扩展Docker CI的经验教训构建，旨在解决现代CI/CD管道日益复杂的挑战，尤其是在AI辅助编码兴起的情况下。
Mendral通过摄取和分析大量的日志数据来工作，追踪不稳定的根源，并主动通过Slack通知相关工程师。关键的学习成果包括快速日志摄取的重要性、大多数不稳定测试的确定性以及智能故障路由的价值。
团队强调，挑战并未减少；AI编码工具正在*增加*代码速度和CI负载。Mendral旨在帮助团队在数量增长时保持速度和生产力，目前提供早期访问权限。
## PostHog 的 CI 挑战（Hacker News 讨论）
一篇关于 PostHog 在 100 人规模下的 CI/CD 流程的文章引发了 Hacker News 的讨论。核心问题并非仅仅是速度，而是管理 22,477 个测试、每天 65 次提交到主分支以及支持 98 名工程师时的*可靠性*。
许多评论者质疑在没有明确结论的情况下呈现大量统计数据是否有价值，认为这仅仅是为了推广作者开发的工具 Mendral。人们对单仓库可能成为瓶颈的潜力表示担忧，以及分割仓库是否只是转移问题而不是解决问题。
讨论的中心是测试的不稳定性：一些人认为必须达到 100% 通过率，而另一些人则承认在复杂系统中这是不切实际的。一个关键点是解决不稳定的测试，而不是隔离它们。 几位用户批评文章的写作风格是“AI 垃圾”，并质疑日益依赖 AI 生成的代码和测试，对人类监督和潜在的细微错误表示担忧。最终，这场对话凸显了 CI/CD 随着快速发展的代码库一起扩展所面临的挑战。
卡吉小网络
Kagi Small Web
10 天前
你好，欢迎来到Kagi小网络！想象一下互联网像一个巨大的社区。这里有很多用户，但我们很少相遇，对吧？Kagi致力于使网络更具人情味，我们希望帮助展示帖子和故事背后的作者。网络这个鲜为人知的角落也被称为“小网络”。更多信息请阅读我们的博客文章。我们希望放大网络上真实用户的声音——查看我们的来源，或检查你的博客是否在列表中。当你搜索相关内容时，你现在也会在Kagi搜索结果中遇到这些页面。点击“下一篇帖子”阅读新内容。我们只显示过去七天左右的帖子，以保持新鲜感。而且，整个项目都是开源的。怎么样？准备好认识一些邻居了吗？
## 代码的未来：简洁与验证 Kernighan 定律——调试时间是编码的两倍——强调了简单代码的重要性。然而，随着 LLM 的兴起，这超越了复杂性，延伸到*语言设计*。LLM 在 Python 和 Javascript 等流行语言上表现挣扎，但在 Elixir、Kotlin 和 C# 等语言上表现出色。这并非关于训练数据量，而是关于*结构*。 具有清晰、明确规则的语言——函数式范式、不可变性、模式匹配——使 LLM 能够轻松理解和生成代码。这些语言优先使程序逻辑可见，有助于人工验证。瓶颈不是代码*创建*（机器现在更擅长），而是*验证*——确保代码实现其预期功能。 这类似于特斯拉押注为人类设计世界而构建的视觉系统所取得的成功。同样，软件应该针对人类理解进行优化——清晰的规范、审计日志和可测试的属性。 未来，LLM 将处理代码生成和调试，而人类将专注于定义需求和验证结果。这种转变需要针对机器*生成*和人类*验证*进行优化的语言，推动我们走向更简单、更结构化的设计——这正是 Grace Hopper 数十年前预见的愿景。
## 黑客新闻讨论摘要：格蕾丝·霍珀的复仇
黑客新闻上的一场讨论围绕着一篇近期文章展开，该文章认为函数式编程语言在 LLM 代码生成方面表现良好，并非因为其内在优越性，而是因为其约束性简化了人工智能的解决方案空间。文章认为 LLM 擅长验证，从而将重点从人类代码创建转移到确保代码正确性。
评论者们争论文章的观点，质疑数据和方法论。许多人指出，像 Elixir、C# 和 Kotlin 这样的语言中强大的约定和生态系统约束，似乎比纯粹的函数式范式更具影响力。有人建议数据质量——像 Python 和 JavaScript 这样的语言中大量劣质代码——可能会扭曲结果。
一个关键点是，不变性和强约定比仅仅是函数式或面向对象更重要。其他人强调了人工智能可能加剧现有问题的潜力，从而创建人类不完全理解且难以维护的代码。 还有关于 LLM 是否真的提高了代码*可理解性*，或者只是将推理转移到人工智能的讨论。
最终，这场讨论凸显了人工智能时代软件开发思维方式的转变，从纯粹的代码创建转向验证，以及促进可靠、可审计代码的语言的重要性。
## 致命核心转储：调试中的谋杀之谜
这个项目详细介绍了创建一个独特的谋杀解谜游戏的过程，该游戏围绕着调试核心转储展开——程序崩溃时刻状态的快照。作者旨在创造一个具有挑战性的谜题，利用一种深奥的计算机技能，灵感来自《Return of the Obra Dinn》和《The Case of the Golden Idol》等游戏。
游戏背景设定在太空中的科幻“公司城镇”，围绕着气闸门控制器程序展开。谋杀是通过精心设计的缓冲区溢出漏洞实施的，旨在使其既合理又可以通过核心转储分析来解决。作者精心构建了软件，包括一个虚假的“空间站设备网络”通信协议，以创建一个逼真的环境并控制程序的状态，从而生成核心转储。
作者投入了大量精力来设计漏洞，在软件设计上的疏忽与攻击者的巧妙构思之间取得平衡。最终产品包括游戏本身([https://www.robopenguins.com/fatal_core_dump/](https://www.robopenguins.com/fatal_core_dump/))、源代码([https://github.com/axlan/fatal_core_dump](https://github.com/axlan/fatal_core_dump))，甚至一个像素艺术视觉组件。作者还尝试在网络浏览器中运行GDB，以提供一个完全集成的体验。游戏以验证问题结尾，以确认玩家对谋杀技术细节的理解。
一款名为“Fatal Core Dump”（robopenguins.com）的新游戏在Hacker News上引起了关注。这款游戏挑战玩家进行调试和系统管理任务，本质上是在模拟环境中通过实践学习。
评论者们对此充满热情，将其与80年代的“选择你自己的冒险”书籍相提并论，那些书籍包含BASIC编程练习。一些人认为它具有教育潜力，建议可以将其改编成一门课程，其中解决游戏中的谜题*就是*期末考试，而较小的挑战则作为家庭作业。
一个关键点是，游戏擅长利用现实世界的资源，如man页面和Stack Overflow，作为学习过程不可或缺的一部分——教程*就是*真实环境。总的来说，该游戏因其创新的、引人入胜的技术技能学习方式而受到赞扬。