最新

我最近几周一直在研究区间算术，这是一个非常有趣的领域。尽管过去几十年中有大量非常有趣的研究成果，但在我看来，它从未真正获得应有的认可。 其中一个原因是，标准的区间算术在处理包含零的区间除法时表现得非常糟糕。如果你在常规区间算术中计算 1 / [-1, 2]，你要么得到 [-∞, +∞]，要么必须说这个操作是未定义的。这两种解决方案几乎没有任何用处。实际上，正确的答案是 [-∞, -1] ∪ [0.5, +∞]，即两个不相交区间的并集。 这很有用，因为你可以自信地排除实数集中的一个非空集合（[-1, 0.5]），从而确定在将 1 除以一个介于 -1 和 2 之间的数时可能得到的值的集合。 但是，这种区间除法的定义会产生一个不是区间的值。如果你想定义一个封闭的算术系统，以便在区间值上构建和评估任意表达式，这就成了一个问题。 （这种行为扩展到任何不连续的函数，例如 tan()，这在我的项目中实现了——虽然并不容易！） 显然的解决方案是定义你的算术在不相交的区间的并集上。这是2017年由 Schichl, H.、Domes, F.、Montanher, T. 和 Kofler, K. 合作撰写的论文《区间并集》的主题。 我制作的这个开源项目在 TypeScript 中实现了区间并集算术，形式是一个简单的交互式计算器，你可以亲自试用！底层的 TypeScript 库是无依赖的，并在 IEEE 754 双精度浮点数（JS 原生数字类型）上实现了区间并集算术，并采用外部舍入。这保证了在浮点数固有的舍入问题存在时，区间结果的准确性。

我构建了这个工具来安全地运行 OpenClaw。问题是：我尝试的每个沙箱仍然将真实的 API 令牌作为环境变量传递给代理。<p>而 nilbox 从不将真实令牌提供给代理。它只会给代理一个假的占位符（ANTHROPIC_API_KEY=ANTHROPIC_API_KEY）。nilbox 拦截出站的 API 调用，并在网络层中替换为真实的令牌。<p>因此，如果代理泄露了“令牌”，攻击者得到的只是一个无用的字符串。就这样。<p>此外，它还提供了一个托管的 Linux 运行时（在 macOS、Windows 和 Linux 上一致）以及一个一键安装代理应用的商店。还提供完整的 shell 访问权限。<p>支持 macOS、Windows 和 Linux。<a href="https://nilbox.run" rel="nofollow">https://nilbox.run</a><p>我很好奇其他人在本地运行代理时是如何考虑令牌安全的。

完整的 llama.cpp 教程（2026年版）。安装、使用 CUDA/Metal 编译，运行 GGUF 模型，调整所有推理标志，使用 API 服务器，进行推测解码，并对您的硬件进行基准测试。 <p><a href="https://vucense.com/dev-corner/llama-cpp-tutorial-run-gguf-models-2026/" rel="nofollow">https://vucense.com/dev-corner/llama-cpp-tutorial-run-gguf-models-2026/</a>