## Zirgen：为 RISC Zero 构建算术电路 Zirgen 是一种编译器，用于一种专门的语言——也称为“zirgen”，旨在为 RISC Zero 证明系统创建算术电路。虽然大多数 RISC Zero 开发使用 Rust 和 RISC-V zkVM，但 Zirgen 允许直接与证明系统集成，以优化性能和构建自定义加速器。 目前仍在开发中，Zirgen 使开发者能够构建高度高效的组件，甚至整个虚拟机，这些组件可以通过证明组合集成到 RISC Zero 生态系统中。 未来的开发包括与 Circom 集成，允许验证 Circom 电路见证，并在 zkApp 中实现递归。Zirgen 编译为 Rust、C++ 和递归 VM 谓词，为应用程序开发提供灵活性。
## 基于文本的浏览器与现代HTML：日益扩大的差距 本文探讨了基于文本的浏览器（如Lynx和w3m）如何处理最新的HTML特性，发现支持严重不足。虽然这些浏览器在处理基本HTML方面表现出色，但较新的交互功能常常无法正确渲染，甚至根本无法渲染。 例如，`<details>` 披露小部件总是以展开状态显示，而`<datalist>` 建议和`<dialog>` 元素则仅仅显示为普通内容，忽略了它们原本的功能。Popover API和`inert` 属性也未得到支持，导致可访问性和交互方面的问题。 作者的主要 frustration 是对`hidden` 属性的持续忽略。与基于CSS的隐藏不同，在HTML中使用`hidden` *应该*可靠地隐藏内容，但基于文本的浏览器会忽略它，破坏了渐进增强技术。 最终，现代Web标准与基于文本的浏览器能力之间的差距正在扩大。虽然这些浏览器仍然可以用于测试基础HTML，但它们无法适应的事实表明，随着Web的发展，它们可能会逐渐失去 relevance。
布拉格充满了“卡夫卡”，这种现象这位作者本人很可能深恶痛绝。作者住在卡夫卡墓地附近，身处这座城市利用他名字获利的氛围之中——从卡夫卡博物馆和无数咖啡馆，到售价2500美元的“卡夫卡手表”，他观察到了一种普遍的“卡夫卡产业”。这个产业已经爆炸式增长，对他作品的解读现在远远超过了他的原创作品。 这座城市自卡夫卡时代以来已经发生了巨大变化，他所熟知的犹太区大部分已被拆除。他的生活高度局限于当地，受到父亲的影响，并伴随着在不断变化的布拉格中产生的疏离感。尽管有无数的传记、电影（包括最近关于他生活的作品）和分析，但捕捉卡夫卡的本质仍然难以捉摸。 作者指出一个悖论：试图理解卡夫卡生活，例如阿格涅什卡·霍兰的新传记片，不可避免地助长了他很可能鄙视的产业。最终，大量的评论让人感觉像是对一个“由文学构成”的作家的一种象征性惩罚，让人不禁想知道还能说什么，以及任何尝试是否能真正逃脱“卡夫卡学”的阴影。
面向未来的工艺和模块化设计，采用高达75%的再生塑料制成。再生塑料占塑料总重量的百分比。消费后回收基于EPEAT计算机标准、IEEE 1680.1-2018标准中的定义。* 以及易于维护的组件，所有产品均采用100%可持续来源的包装。回收能力可能因您所在地区而异。请参阅您当地的回收计划以获取详细信息。*
## 美联储面临前所未有的司法部调查 司法部已向美联储主席鲍威尔发出传票，并据报道威胁对其提起刑事指控，起因是其关于美联储大楼25亿美元翻新的证词。这标志着特朗普总统与独立中央银行之间持续冲突的重大升级，特朗普曾多次批评美联储的利率政策。 鲍威尔公开回应称，这种威胁是破坏美联储独立性并试图基于政治压力影响货币政策的借口。这一情况引发了人们对美联储能否摆脱政治干预而运作的担忧，可能动摇金融市场并影响借贷成本。 特朗普声称自己事先不知情。然而，此举加上试图罢免美联储理事的尝试，引发了人们对司法部诚信和美联储未来独立性的担忧。分析师预测，由于这一消息，股市周一可能出现下跌。该事件甚至受到了部分共和党人的批评，他们正在质疑调查背后的动机。
## 基于意图的版本控制转变 随着人工智能驱动的代码生成技术的进步，软件变更的基本单位正在从代码行转变为代码背后的*原因*。如果代码可以从规范可靠地重现，那么代码本身就成为一种副产品，而不是系统开发的核心记录。这需要版本控制“向上游”移动——专注于保存意图，而不仅仅是代码差异。 传统版本控制跟踪*发生了什么变化*；基于意图的系统必须跟踪*为什么*。这意味着规范成为可执行的输入，而系统的“计划”——包括所选策略和被拒绝的替代方案——成为关键的实现数据。 与文件不同，这种意图最好表示为连接需求、约束、决策和生成代码的内容寻址图。 这并非全新事物——哈希输入等概念存在于构建系统中——但它需要意图和实现之间直接的、机器强制的链接。 虽然形式化规范和捕获所有代理假设仍然存在挑战，但这种方法提供了更强大和可追溯的历史记录，尤其是在代码重新生成的成本下降而重新发现丢失的意图的成本上升的情况下。最终目标是版本化真正重要的事情：系统设计背后的推理。
版权所有 © 1999-2020 BitBoost Systems。 所有权利保留。 PawSense、CatsOff、BitBoost 和 BitBoost Systems 是 BitBoost 的商标和/或服务标记。 我如何训练我的猫不要踩在电脑键盘上？ 我如何让猫远离电脑键盘？ 我如何防止猫踩在电脑键盘上？ 猫咪打字。 电脑猫灾难。 保护你的电脑免受猫咪破坏，以及保护你的猫咪免受电脑影响。 阻止你的猫咪使电脑崩溃。由猫咪引起的电脑崩溃是可以预防的。 Paw sense 是 PawSense 的拼写错误。但 PawSense 确实能够让你的电脑感知猫爪。 。
启用 JavaScript 和 Cookie 以继续。
## 代码代理与安全执行：Codex权限摘要 现代代码代理功能强大，这得益于它们动态生成工具的能力，特别是通过访问完整的bash shell——一种表达力强但潜在危险的功能。在没有安全措施的情况下运行代理会带来重大的安全漏洞，例如未经授权的访问凭证或数据删除。 Codex CLI提供了一种强大的解决方案，通过操作系统级别的沙箱来优先考虑安全执行。它默认采用沙箱环境，具有三种权限模式：只读、自动（有限访问，需要批准外部操作）和完全访问。这利用了macOS Seatbelt和Linux Landlock/seccomp来限制文件系统访问和网络活动。 Codex采用“选择退出沙箱”的方法，将所有命令路由到集中的执行系统。它具有命令白名单功能，在允许潜在的危险命令运行之前要求用户批准，并构建基于会话的信任列表。 该系统设计了调试工具，用于测试沙箱行为。通过利用操作系统原生功能，Codex避免了容器化的开销，同时提供了强大的隔离性，为平衡代理能力与安全性提供了一种实用的方法。随着代码代理变得越来越普遍，这种级别的控制至关重要。
## Turbopuffer 的 BM25 搜索延迟分析 本文详细分析了 BM25 全文搜索的延迟，并将其扩展特性与向量搜索进行了对比。与向量搜索不同，BM25 延迟受查询组成影响很大——令人惊讶的是，*增加*词项有时反而能加快搜索速度。 这项研究在 2 亿文档数据集上，使用 turbopuffer 的 MAXSCORE 算法进行，结果表明延迟并不简单地与查询词项总数相关。相反，*关键*词项的数量（那些显著缩小搜索范围的词项）起着至关重要的作用。包含较少关键词项和更多常见、非关键词项的查询可能会更慢。 扩展测试表明，延迟会随着文档数量的增加而增加，但并非对所有查询都是线性增长。有些查询比其他查询扩展得更有效率。 同样，虽然延迟通常会随着 `top_k`（返回结果的数量）的增加而增加，但查询的*相对*性能可能会发生变化——在低 `top_k` 时快速的查询，在较高值时可能会变慢。 最终，理解这些细微之处是优化 BM25 性能的关键，而 turbopuffer 旨在高效处理大型数据集和高查询负载。