最新

据我所知，这是第一个经过形式化验证的 3D 构造实体几何 (CSG) 操作实现：网格相交。该操作使用 Lean 4 实现，并根据一个简洁的规范进行了验证。该规范精确地界定了结果网格的表面，并保证了三角剖分在实际应用中的良好构成条件。 该

各位 HN 的朋友，我们开发了 `dn`，因为虽然编码速度越来越快，但软件构建的速度并没有。使用命令行工具，通过可复用的代理工作流和其他支持命令，更快地清理积压的工作。您可以或您的代理使用 `kickstart`、`meld`、`loop`、`land`、`fixup` 等命令，将 Markdown 规范转化为实现。在 GitHub Actions 中使用命令行工具，可以整夜地持久化地交接您的团队在早晨接手的 Pull Request 和 GitHub Issue。 例如： ```sh dn --agent codex kickstart --awp \ https://github.com/owner/repo/issues/123 ``` `dn` 读取 Issue 和仓库的说明，在 `plans/` 目录下写入一个命名的 Markdown 计划，让选定的编码代理来实现它，并跟踪验收标准。在 AWP 模式下，它会创建分支、提交、推送并打开 Pull Request。 您可以为您的代理安装一个 `dn` 技能。我们目前支持 OpenCode、Claude Code、Cursor、Copilot 和 Codex。您与代理的对话仅限于您的本地机器。`dn` 技能有助于将这些上下文记录在 GitHub Issue 中，以及作为文件系统上下文保存在您的 Git 仓库中。当您的团队和团队使用的代理共享上下文时，生产力会成倍增长。 最新版本增加了 Docker 和 exe.dev 沙箱用于代理运行，远程进度报告，以及更清晰的 `meld` → `loop` → `land` 工作流，用于在多个会话和开发者之间分配工作。我们非常希望得到您的反馈，以使 `dn` 成为一个更好的产品，现在还处于早期阶段！ 我们还开发了 [https://denoise.cloud](https://denoise.cloud)，以便产品经理可以与 `dn` 用户一起构建。使用 Denoise 可以缩短软件开发生命周期，并为您的团队带来巨大的生产力提升！我们的设想是，小型团队不需要更多的仪表盘或另一个专有代理。他们需要的是在人类判断和机器执行之间建立更清晰的界限。 请在 [https://x.com/DenoiseCloud/status/2078607769259721016](https://x.com/DenoiseCloud/status/2078607769259721016) 观看 Denoise 的实际演示。

这里的情况比 Reddit 还糟糕，对话被完全删减了。<p>新版主是不是有点太卖力了？

多年来，VSCode 一直是我的主力开发工具，但当我开始同时在多个项目上运行多个编码代理时，它就成了阻碍。一个工作区，终端挤在底部托盘，我根本不知道哪个代理在做什么，而且我发现自己越来越少地需要所有代码编辑工具。 因此，我围绕这个工作流程构建了自己的 IDE。终端是第一公民，每个项目都在后台保持活动状态，并带有可视状态。关闭工作区，几周后再回来，一切都还在原位。我使用它已经几周了，它极大地提高了我的生产力。 这个想法是拥有一个非常精简的核心和一个健壮的扩展 SDK。功能作为扩展构建，并且是可选的。可以使用编码代理轻松构建扩展，并在注册表中共享。所有这些都是开源的。 有很多很棒的 TUI 应用具有类似的功能，但这个是为喜欢 VSCode 的人量身打造的。请尝试一下并发送反馈。