最新

我每天都使用 Claude Code 和 Codex，经常在多个 tmux 窗格中同时使用。我不得不频繁切换窗口来查看哪些代理仍在运行，哪些需要回复。我构建了 AgentPulse，以便能够一目了然地看到这些信息。 它是一个 TPM 插件，利用生命周期钩子来显示运行中、等待中、空闲和中断的状态。它会在窗口列表和窗格边框上添加指示器，并提供可选的弹出窗口和侧边栏，用于在代理之间跳转。它与您现有的 tmux 主题兼容。由于它是 tmux 插件，您可以按照自己的意愿进行自定义，优化您的工作流程。 这是早期版本，源于我自己的设置。您是如何在 tmux 中跟踪代理的？我很想听听什么能让它在您的工作流程中更有用。我知道 herdr 的存在，但我无法脱离我现有的 tmux 设置。

几年前，我和我的合著者在思考是否能减少哈希算法中使用的乘法数量。我们有一个构造和一个长达 100 页的证明，但我们不能百分之百确定它是正确的。现在我们有了完整的 Lean 证明，所以我们决定发表它。 我创建这个网站是为了让任何需要评估多项式的人都能轻松地看到如何使用我们的方法进行评估，以及 Knuth 等人提出的其他一些先前的方法。