最新

我曾经在使用 Emacs 时非常喜欢 Magit，但最近我审查的代码多了很多，因此我想要一个轻量级且快速的工具，可以实时查看代码生成过程中发生的变化。<p>于是我使用 Iced 构建了 Anduin，并添加了一些受 Magit 启发的键盘快捷键，我每天都在使用这些快捷键。<p>如果有人想尝试，可以克隆并使用 cargo build。

Laravel中的AI代理与模型和嵌入。

你好，我正在构建一个自主的证明引擎，目前正在追求它的第二个结果。你可以通过 GitHub gist 实时关注它的进展。