最新

构建 AI 智能体、工作流、后端系统，每天实战，持续 30 天。

<a href="https://www.bbc.com/news/live/cwy54q80gy9t" rel="nofollow">https://www.bbc.com/news/live/cwy54q80gy9t</a> <a href="https://www.nytimes.com/2025/12/09/world/asia/australia-social-media-ban-under-16.html" rel="nofollow">https://www.nytimes.com/2025/12/09/world/asia/australia-soci...</a> (<a href="https://archive.ph/Ba2JR" rel="nofollow">https://archive.ph/Ba2JR</a>)

我最近一直在开发 <a href="https://synthchat.netlify.app" rel="nofollow">https://synthchat.netlify.app</a>。这是一个技术交流平台，人们可以在这里分享想法、交流观点，并就工程技术问题进行讨论，而不会受到社交媒体带来的干扰。我希望这个平台的界面简洁、直观，并且整体使用起来非常简单。 我创建这个平台是因为我感觉大多数平台都将技术内容与噪音、算法和吸引眼球的内容混在一起，这使得真正的讨论变得比它应该的更难。有时候，你只是想有一个干净的空间来思考、提问，并与其他工程师交流想法。我希望 Synth Chat 能为人们提供一个以对话为核心的场所——没有严厉的审核和尖酸刻薄的回复（咳咳，Stack Overflow）。我很好奇哪些功能能让这个应用更上一层楼，并促进围绕发人深省的想法的讨论。如果你有任何建议，请告诉我。

我年轻的时候读过理查德·费曼的《别闹了，费曼先生！》、威廉·吉布森的《神经漫游者》和保罗·哈尔莫斯的《你想要成为一名数学家吗？》。 如今，哪些书在年轻的、有技术头脑的人群中很受欢迎？

Hi HN， 总结：我们开发了一个效果很好的 bug 查找工具，尤其适用于应用程序后端。 欢迎试用并告诉我们您的想法！ 以下是详细内容。 -------------------------- 我们最初的目标是解决技术债务问题。我们都见过存在大量技术债务的代码库，所以对这个问题深有感触，而且人工智能似乎让情况变得更糟。 技术债务似乎也是一个非常适合人工智能解决的问题，因为：1）一小部分工作需要思考和策略，而大部分执行工作都相当机械化，2）当你解决技术债务时，你通常试图保留现有的行为，只是改变实现方式。这意味着如果你能找到好的方法来检测由于代码更改导致意外行为变化，你就可以把它当作一个闭环问题来处理。而我们知道该怎么做——这就是测试的目的！ 所以我们从编写测试开始。测试创建了安全保障，使未来的代码更改更安全。我们的想法是：如果我们能很好地进行测试，我们就能以非常高的质量自动化许多其他技术债务工作。 我们构建了一个代理，可以为典型的代码库编写数千个新测试，其中大部分都达到了“合并质量”。一些早期用户合并了数百个通过这种方式生成的 PR，但从直觉上来说，这个工具总是感觉“不错，但不够好”。我们自己也偶尔使用它，但通常感觉像一项苦差事。 大约在这个时候，我们意识到：虽然我们最初的目标是编写好的测试，但我们构建了一个系统，稍作调整后，可能非常擅长查找 bug。当我们在一​​些朋友的代码库上测试它时，我们发现几乎每个代码库都隐藏着大量 bug，我们能够标记出来。都是严重的 bug，而且足够有趣，让人们放下手头的工作来修复它们。这些 bug 就存在于人们的代码库中，已经被合并，并在生产环境中运行。 我们还发现了许多漏洞，即使在成熟的代码库中也是如此，有时甚至是在某人进行渗透测试之后。 底层原理： * 我们检出代码库，并弄清楚如何为本地开发构建它，并用测试来运行它。 * 我们拍摄构建的本地开发状态的快照。（我们为此使用了 Runloop，并且非常喜欢它。） * 我们启动数百个本地开发环境的副本，以数千种方式运行代码库，并标记看起来有问题的行为。 * 我们选择最突出、最令人担忧的示例，并将它们作为线性工单、github 问题或电子邮件发送。 在实践中，它运行得非常好。我们已经能够在从编译器到交易平台（甚至在 rust 代码中）的各种地方找到 bug，但最佳应用是应用程序后端。 我们的方法是用计算换取质量。我们的代码库扫描需要数小时，这远远超出了代码审查机器人的实用范围。但结果是，我们可以更明智地利用工程师的注意力，我们认为这将是最重要的变量。 从长远来看，我们认为计算是廉价的，而工程师的注意力是昂贵的。如果运用得当，最新的模型可以在大型代码库中执行复杂的更改。这意味着构建软件的限制因素是人类的注意力。工程师仍然需要时间和专注来摄取信息，例如现有代码、组织背景和产品需求。在工程师能够明确表达他们想要什么并出色地审查结果差异之前，所有这些都是必要的。 目前，我们正在查找 bug，但我们正在开发的技术可以扩展到许多其他后台、半主动的工作，以改进代码库。 欢迎试用并告诉我们您的想法。 首次扫描免费，无需信用卡：[https://detail.dev/](https://detail.dev/) 我们也在扫描 OSS 存储库，如果您有任何请求，请告诉我们。该系统的信号噪声比很高，但我们不想冒着通过自动打开问题来惹恼维护者的风险，因此如果您请求扫描 OSS 存储库，结果将发送给您个人。[https://detail.dev/oss](https://detail.dev/oss)