最新

上周我发布了我一直在开发的项目 CogniKernel。自那时以来，该项目已经被克隆了近 600 次，这让我意识到这个用例是真实的，人们确实可能需要这个工具，因为它没有额外费用，并且可以顺利集成到你的 Claude 代码和 Codex 中。 为了减少克隆的麻烦，我现在将该项目添加为 PyPi 包，因此现在只需在终端中输入 pip install 命令即可安装，具体信息可以在 GitHub 的 README 中找到。它在一周内已经被安装了 300 多次！ 如果你尝试了 CogniKernel，并且它确实对你有帮助，我非常希望能收到一些反馈，也许一个 GitHub 星标可以传达这一点，因为我仍在继续研究，以提高质量，让你的 AI 助手没有记忆障碍！

既然显而易见人工智能在发现安全漏洞方面表现出色，有人将其应用于一些经过形式验证的软件吗？我在想 seL4。从理论上讲，它应该不会发现任何问题，对吧？