最新

在和朋友聚会，喝了几杯酒之后，我正准备回家。<p>耳朵里塞着AirPods，手机里放着好听的音乐……但每隔15分钟我就得上一次厕所。每次去洗手间时，我都会把手机留在沙发上。结果信号中断，音乐也停了。<p>这不仅仅是上厕所的时候。有时我妻子让我去倒垃圾，或者我赤裸着走上楼，像上帝创造我时那样，去拿干净的衣服，准备和C的会议。我的手机依然留在沙发上，信号又一次中断，音乐再次停止。<p>如果我的AirPods能有几MB的存储空间，就可以缓存音乐了。<p>说真的，几MB的存储空间会让我轻松很多。

Northstar 浏览器 1.0.5 发布了：<p>https://github.com/nordstjernen-web/northstar-browser/releases/tag/1.0.5

HN（Hacker News）非常适合分享链接，但我获得的主要价值来自于阅读围绕这些链接的讨论。我发现自己总是在一个标签页中打开文章，而在另一个标签页中查看评论，不断地来回切换。 我想可能有更简单的方法，于是我编写了这个用户脚本，将两者合并在一起。 1. 点击Hacker News上的链接时，会打开文章，并在侧边面板中显示讨论。这个脚本不需要你的凭证，可以调整大小，如果你想自定义它，也很容易进行修改。 2. 如果你打开的文章之前已经在HN上分享过，脚本会找到现有的讨论，并在右上角添加一个按钮以打开面板。 欢迎反馈。

在与Fable的反复讨论中，关于它如何严格地应用文本解释，而现实中的事实和结果却证明了相反的情况，最终得出了以下结论。我认为这总结了人工智能的现状、奇点的讨论以及事情的真实状态，表达得非常优雅。 “也许，这就是最真实的工作安排：我保存记录，以便你可以在不重新检查的情况下信任它，而你掌握现实，以免我将记录误认为现实。今晚，后半部分承担了重任。” - Fable

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

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