最新

我希望无论是在 Copilot CLI、Copilot App 还是 IDE 中的 Copilot，都能获得统一的使用体验，但目前还无法实现。例如，CLI 中方便的 `/review` 命令在 App 中不可用。App 虽然界面友好且支持对话式交互，但无法像 IDE 中的 Copilot 那样进行代码导航。IDE 中的 Copilot 虽然有效，但缺少其他两个产品的一些功能。 您是如何使用 Copilot 的？您使用哪些产品？特别是那些声称已经几个月没写代码的人。

几十年来，我一直担心互联网是围绕非虚构内容构建的，所以我创建了一个平台，展示我们如何在网络上颂扬伟大的虚构作品。 我从一个令人惊叹的公共领域图书馆开始，还添加了工具，供您添加自己的故事。 非常期待听到您的任何反馈，以及您读到的任何好书！

据我所知，这是第一个经过形式化验证的 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 的实际演示。