1 分•作者: handfuloflight•12 天前
返回首页
最新
1 分•作者: Aboutplants•12 天前
1 分•作者: mapping365•12 天前
1 分•作者: rbanffy•12 天前
10 分•作者: tito•12 天前
2 分•作者: KanishkNoir•12 天前
上周我发布了关于我一直在开发的 CogniKernel 项目的消息。自那时以来，该项目已被克隆了近 600 次，这向我表明了该用例是真实的，并且人们可能真的需要这个工具，因为它无需额外成本，并且可以无缝集成到您的 Claude 代码和 Codex 中。
为了减少克隆的麻烦，我现在已将该项目添加为 PyPi 包，因此正如 GitHub 上的自述文件所述，现在只需一个终端 pip install 命令即可。
在一周内已被安装了 300 多次！
如果您尝试使用 CogniKernel，并且它确实对您有所帮助，我将非常乐意收到您的反馈，也许一个 GitHub 星标就可以表达您的认可，因为我仍在继续研究以提高其质量，并让您的人工智能助手工作时不会出现“失忆”！
2 分•作者: RantyDave•12 天前
既然人工智能在发现安全漏洞方面表现出色已是显而易见的事实，是否有人将其应用于经过形式化验证的软件？我想到的是 seL4。理论上它应该找不到任何问题，对吧？
11 分•作者: bakigul•12 天前
2 分•作者: rajgoesout•12 天前
1 分•作者: handfuloflight•12 天前
1 分•作者: freediver•12 天前
1 分•作者: brandonb•12 天前
1 分•作者: TheLuisBolivar•12 天前
4 分•作者: bakigul•12 天前
1 分•作者: nianderwallace•12 天前
1 分•作者: handfuloflight•12 天前
2 分•作者: alasr•12 天前
2 分•作者: auspiv•12 天前
3 分•作者: vinnyglennon•12 天前
11 分•作者: Amorymeltzer•12 天前