## OxCaml 用于高性能行星计算与 Web 服务
由于对 Python 的不满以及对性能的追求，作者一直在探索 OxCaml——一个 OCaml 扩展，它在保持函数式风格和垃圾回收器的同时，提供了显著的速度提升。这促使他们构建了 `httpz`，一个新型高性能 HTTP/1.1 解析器和 Web 服务器，为作者的实时网站提供支持。
`httpz` 利用了 OxCaml 的关键特性，如 **解箱类型**（例如 `int16#`）和 **局部分配**，以最大限度地减少堆内存的使用。通过直接在栈上表示数据，服务器避免了频繁的垃圾回收，从而实现了可预测的性能和低延迟。可变栈变量和嵌套解箱记录等特性进一步提高了效率。
基准测试表明，与传统解析器相比，`httpz` 实现了显著更高的吞吐量（650 万 req/sec 对 300 万 req/sec）和 *零* 堆分配。
目前的工作包括将 `httpz` 与 Eio 集成，以通过 io_uring 实现零拷贝内核访问，并为 OxCaml 工具改进做出贡献。作者还创建了 Claude skills 来辅助 OxCaml 开发，并计划开源他们的 OxCaml 项目以促进更广泛的协作。
每日HackerNews RSS
## OxCaml 中的零分配 Web 服务器：摘要
一位开发者分享了使用 OxCaml（一种扩展 OCaml 的语言）构建快速、零分配 Web 服务器的经验。讨论强调了 OCaml (4.08, 5.0-5.4) 的最新进展，增加了诸如 let 绑定运算符、多核运行时和动态数组等功能。
一个关键目标是实现类似于 C# 的内存控制——垃圾回收，同时为性能关键代码提供栈分配（“结构体”）的选项。讨论的挑战包括处理无分配的流水线 HTTP 请求，通过避免 HTTP/1.1 流水线并利用 OxCaml 的效应系统和延续来实现异步操作来解决。
对话还涉及类型系统更广泛的需求，即能够推断和约束内存分配，提到了子结构类型（Rust、仿射类型）和正在进行的研究，例如 Granule。最终，作者旨在平衡函数式编程原则与性能优化，利用 OxCaml 的特性实现 C/Rust 级别的速度，同时保持 OCaml 的模块化和类型安全。
微软正在重新评估其将人工智能深度整合到Windows 11中的激进策略，原因是用户强烈反对。最初的计划，如“Windows Recall”，因安全问题而推迟，并且将Copilot按钮广泛添加到Notepad和文件资源管理器等应用程序中，结果并不受欢迎。关于完全“代理操作系统”的提议遭到了压倒性的负面评价。
作为回应，微软现在正优先考虑一种更周全的方法。添加更多Copilot按钮的工作已经暂停，现有的整合——尤其是在Notepad和Paint等应用程序中——正在审查中，可能被移除或简化。虽然Recall并未完全取消，但正在重新评估，并且可能被重新命名。
然而，微软仍然致力于为开发者提供基础人工智能工具，并且不会完全放弃人工智能。这种转变标志着从“人工智能无处不在”向真正有用的功能转变，旨在解决用户的担忧并“修复”Windows 11的声誉。
## 实现代理的“对等性”以构建强大的应用 构建真正强大的AI驱动应用的关键在于确保代理与用户界面具有**对等性**——这意味着它能够实现用户通过UI可以实现的*任何*结果。这并非关于用工具镜像UI按钮，而是关于功能上的等效性。 一份**能力地图**，概述代理如何使用原子工具来实现用户操作（例如创建、标记、搜索或删除笔记），至关重要。细粒度是关键；代理需要灵活、可组合的工具，而不是预定义的逻辑。这允许产生**涌现能力**——用户可以请求你未明确构建的操作，例如交叉引用笔记和任务。 这种方法将产品开发从预测转变为观察。你不再需要预测功能，而是从用户与代理的交互方式中学习，然后根据涌现的模式进行优化。持续的**提示优化**（在开发者、用户，以及潜在的代理层面）和积累的上下文将进一步提高性能。虽然自我修改的代理正在出现，但安全措施至关重要。
## 黑客新闻讨论：原生代理应用与AI作者
一篇关于“原生代理”应用的最新文章（every.to/guides）在黑客新闻上引发了争论，主要集中在AI辅助内容创作的伦理和质量问题上。许多评论员质疑一篇看似由Claude“撰写”的文章的价值，一些人称其为“尴尬”或“AI垃圾”。人们担心作者利用AI专业知识的感知来获利，以及一个旨在通过利用用户记忆来引导流量至Claude.ai的操纵性预填充提示。
讨论延伸到设计代理安全代表用户运行的系统的实用性，探讨了诸如细粒度访问控制和快照/备份系统之类的想法。 许多评论员对当前“代理”用例表示怀疑，认为它们大多是理论性的或旨在进行欺诈。
然而，一些人认为新兴标准如WebMCP是通往由AI代理驱动的更动态和更易访问的Web UI的途径。 总体情绪倾向于希望AI *辅助* 人类写作，而不是取代它，理由是AI生成文本通常费力且不自然。
## Termux 总结
Termux 是一个为 Android 提供的 Linux 环境终端应用程序。核心应用及其可选插件（可通过 F-Droid、GitHub 或 – 实验性地 – Google Play 获取）需要一致的签名密钥才能兼容；混合来源会导致安装问题。
**重要提示：** Android 12+ 可能会强制终止 Termux 进程，可能导致错误（有关解决方法，请参阅 issue #2366）。**请尽快更新到 v0.118.0 或更高版本**，因为存在一个关键的安全漏洞。
用户可以通过 F-Droid（推荐）、GitHub Releases/Build Actions 或 Google Play 商店（实验性）获取 Termux。GitHub 构建需要谨慎，因为可能存在恶意修改。
**故障排除：** 在包管理期间可能会发生仓库错误。提供详细的文档和调试工具（logcat）。对于开发者，`termux-shared` 库可以促进代码重用并避免硬编码路径。贡献应遵循 Conventional Commits 标准。
RooDB是一个分布式SQL数据库，旨在提供高可用性、高性能和易用性。它力求在开箱即用状态下，为大多数工作负载提供快速性能，支持单节点和多节点（领导者/副本）配置，并通过OpenRaft使用Raft共识算法进行复制。 RooDB采用LSM存储引擎和完整的SQL堆栈（解析器、计划器、执行器），提供MySQL兼容性，允许通过标准MySQL客户端连接（需要TLS）。它在Linux上使用`io_uring`，在其他平台上使用异步POSIX进行跨平台I/O。 该系统具有自调整功能，并且配置接近于零。数据和模式会被复制，Raft日志用作预写日志。RooDB通过各种配置（单/多节点、不同的I/O后端）使用MySQL CLI进行全面测试，确保了稳定可靠的SQL体验。关键依赖项包括`openraft`、`sqlparser`和可选的`io-uring`。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
高性能、开源RAFT集群数据库：RooDB (github.com/jgarzik)
9点 由 jgarzik 16小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 杂耍图书馆：摘要 杂耍图书馆是一个网站，致力于全面编录杂耍技巧，从像Cascade（层叠）这样广为人知的模式，到像Romeo's Revenge（罗密欧的复仇）这样较为冷门的技巧。 网站认识到在线资源存在空白，旨在为所有水平的杂耍者存档和动画演示这些技巧。 每个技巧条目都包含动画视觉效果（使用JugglingLab制作），细节如siteswap符号和难度，以及先决技能。 在可能的情况下，该网站会提供基于文本的教程，以及指向外部资源（如YouTube视频）的链接。 即使没有专门的教程，每个技巧也会收到描述和演示链接。 目前，图书馆的新增内容已暂停，该网站自2015年6月13日起进入无限期休假状态。 然而，现有内容仍然可供杂耍者探索浩瀚的模式世界。 初学者建议从三球层叠开始。
## 杂耍图书馆：怀旧且实用的资源
Hacker News 讨论了网站 libraryofjuggling.com，这是一个学习杂耍模式的资源，包含动画和分步说明。用户欣赏其复古美学和有效性，尤其对于初学者学习单球杂耍（≤4 个球）。除了基本模式外，该网站还有助于可视化难以用文字解释的复杂手臂动作。
评论者指出该网站侧重于杂耍难度的“下半部分”，因为更高的球数更多地依赖于由“siteswap”符号描述的投掷序列。杂耍因其高“表现力与努力比”和冥想般的品质而受到赞扬。讨论范围从即使是基本技能的令人惊讶的难度，到杂耍更多球的扩展挑战（需要增加投掷高度和准确性），甚至将技能扩展到手杖、刀具或火把。
许多人怀念起从类似资源中学习杂耍，并很高兴偶然发现这个维护良好、老派的网站。一些用户指出了相关的网站，用于siteswap输入和从该网站视觉效果创建的动画。
## Sklad：您的本地安全代码片段管理器
Sklad 是一款跨平台代码片段管理器，旨在快速存储和访问常用文本，例如密码、API 密钥和代码。它驻留在您的系统托盘中，以便一键访问您的加密数据。
主要功能包括 Argon2 的 AES-256 加密、快速搜索（Cmd/Ctrl+K）和文件夹组织。Sklad 优先考虑隐私，采用本地存储 – 您的数据*绝不会*离开您的设备。方便的单击左键可以复制上次使用的代码片段。
目前处于抢先体验阶段，Sklad 使用 Rust、React 和 Tauri 构建，确保内存安全和跨平台兼容性（Windows、macOS、Linux）。请注意，Windows 用户可能会遇到 SmartScreen 警告，macOS 用户可能需要调整安全设置才能运行该应用程序。
安装说明和贡献详情可在 GitHub 仓库中找到：[https://github.com/Rench321/sklad](https://github.com/Rench321/sklad)。它是开源的（MIT 许可证）！
## Sklad: 安全、离线代码片段管理器
Sklad 是一款新的、基于 Rust 的、离线优先的代码片段管理器，使用 Tauri v2 构建，专为 DevOps 专业人士设计。它的创建者 Pavel 发现现有的解决方案，如密码管理器速度太慢，剪贴板管理器对于经常使用的操作数据（如 SSH 密码、IP 和 CLI 命令）不够安全。
Sklad 提供了一种独特的“托盘优先”界面，直接在操作系统托盘菜单中呈现嵌套文件夹层次结构，以便通过“肌肉记忆”导航快速访问。它优先考虑安全性，采用 AES-256-GCM 加密和 Argon2 密钥推导，并在锁定时从内存中擦除敏感数据。
讨论强调了一个潜在的未来方向：与现有的密码管理器（如 1Password 或 KeePassXC）集成，作为快速访问前端，减少“加密表面积”并利用已建立的安全功能。虽然 KeePassXC 等替代方案存在，但 Sklad 专注于速度和针对操作数据的特定工作流程，将其与高安全性凭据分开。开发者承认了对 Tauri 依赖项足迹的担忧，并强调了 Rust 后端用于关键安全功能。
[GitHub 仓库](https://github.com/Rench321/sklad)
## Apate: API 原型设计与模拟服务器
Apate 是一个稳定、独立的 Rust 应用程序和 Web 服务器，专为 API 原型设计、集成和端到端测试而设计。它以希腊女神阿帕忒（欺骗之神）命名，允许开发者模拟 API 行为，而无需依赖实时服务。
**主要特性：**
* **灵活的模拟：** 支持字符串和二进制响应，可通过 Jinja 模板和 Rhai 脚本进行自定义，以实现高级逻辑。
* **持久性：** 提供内存持久性，以模拟数据库行为。
* **测试优先：** 包含用于单元测试的 Rust 库，并促进集成/负载测试。
* **配置：** 可通过环境变量、CLI 参数和 REST API（用于规范管理的 GET/POST 端点）进行配置。
* **Docker 准备就绪：** 可通过 Docker 轻松部署，并提供示例命令。
* **可定制：** 允许使用 Rust 扩展构建自定义服务器，并利用 Rhai 脚本处理复杂场景。
Apate 通过消除运行依赖服务的需要，简化了本地开发，并能够针对可预测的 API 端点进行强大的测试。 提供了详细的示例和文档，包括规范格式和脚本提示。 采用 MIT 许可，具体条款见 `LICENSE-TERMS`。
## Apate：Rust API 模拟与原型设计
一个名为 Apate 的新项目在 Hacker News 上分享——一个用于 API 模拟和原型设计的 Rust 库和服务器。它允许开发者轻松模拟后端服务，用于测试和开发。
讨论很快集中到 Apate 的**非标准许可证**上，该许可证是 MIT 许可证的一种变体，引发了对兼容自动化许可证检查以及潜在采用障碍的担忧。 几位评论者建议更简单的版权声明会更清晰。
其他讨论点包括与现有工具（如 `httpmock`）的比较、对 Rust 适合 Web 开发（使用 Axum 和 SQLx 等框架）的赞扬，以及关于过去一起涉及骚扰一位 Rust 批评者的事件的简短争论。
值得注意的是，一位评论者赞赏了 README 真实、非 LLM 生成的写作风格。 总体而言，该项目看起来很有希望，但许可证选择是关键的争论点。
欧盟的GOVSATCOM项目，为成员国提供安全的卫星通信，上周正式启动运营。该计划整合了法国、西班牙、意大利、希腊和卢森堡拥有的八颗现有地球同步卫星的容量，为政府创建一个便捷的、请求安全连接的“市场”。 目前，GOVSATCOM覆盖从格陵兰到印度的广阔区域，提供35个加密服务项目。该项目作为一个“系统之系统”运行，整合了现有的国家和商业资产。计划于2027年进行扩展，旨在扩大全球覆盖范围和带宽。 重要的是，GOVSATCOM将于2029年开始与未来的IRIS²卫星星座整合，进一步加强欧洲在太空基通信领域的控制和韧性。欧盟正在推动加速部署IRIS²，预计将于2029年提供初步服务，从而保证所有成员国的连接性和安全性。
## 欧盟启动政府卫星通信计划
欧盟正在启动一项计划，为政府机构创建一个购买卫星通信服务的市场，利用现有“欧盟自主”的在轨卫星。该举措被视为实现IRIS²的全面运行迈出的重要一步，IRIS²是未来欧盟卫星星座，计划在四年内发射。
讨论强调了欧盟在太空技术上争取更大独立性的意愿，以减少对美国的依赖。一些人认为这增强了欧盟的权威，而另一些人则认为这削弱了成员国的自主权，认为真正的自主权在于独立国家。
评论员还指出，对于缺乏自身太空能力的较小欧盟国家来说，这项计划具有实际利益，并且需要合作才能与美国和中国等全球参与者竞争。人们对可能依赖中国等国家表示担忧，并强调了多元化伙伴关系的重要性。最终，该计划旨在加强欧盟作为全球大国的地位，并确保其成员安全可靠的通信访问。
在小说中使用棋盘游戏作为叙事手法，实际上是一种历史悠久的传统。从现代侦探故事到古代传说，作者们都曾围绕着像国际象棋、塞内特甚至弹珠游戏等游戏的规则和阶段来构建情节。 这种做法可以追溯到公元前1千年，出现在古埃及、希腊和波斯的文献中。例如，一个埃及故事讲述主角与木乃伊对弈，以赢得魔法咒语；而一部希腊小说则将争夺珀涅洛佩的婚姻重新构想为一场弹珠游戏。一部萨珊王朝的小说用国际象棋和西洋跳棋挑战取代了猜谜比赛。 在这些不同的例子中，棋盘游戏不仅仅是背景，它*成为*了叙事能力能够转化和创新现有叙事和传说的象征。
## 古代游戏与历史命名习惯
一篇reference-global.com关于古埃及、伊朗（波斯）和希腊棋盘游戏的文章引发了Hacker News的讨论。用户们争论了《奥德赛》中提到的*pessoi*游戏的性质，一位评论员认为它很可能是一款两人游戏，而不是为书中描述的108位求婚者准备的。
对话扩展到关于历史命名的讨论。几位用户指出，像“波斯”指“伊朗”，“希腊”和“埃及”，甚至“俄罗斯”指苏联，这种由外部人士赋予的名称（外名）很常见。虽然这些术语被广泛理解，但它们并不总是这些地区人民自己使用的名称。讨论强调了准确引用古代文化以及依赖历史悠久但可能不准确的名称时可能存在的局限性。
最后，有评论指出古代文本并非仅仅是指导性的；它们通常具有趣味性，并且意识到自身的叙事结构。