标签
Two programmers, assisted by hundreds of AI agents, rewrote Perplexity AI's storage layer in two months, achieving 100x capability amplification and significant cost and latency improvements.
MartyPC 是一款针对早期 IBM PC 的周期精确模拟器,专为复古 PC 开发而设计,配备丰富的调试工具,并通过与真实硬件的验证,实现高精度。
本文讨论了开源体素RPG游戏Veloren中的非传统开发选择,重点介绍了使用实体组件系统(ECS)来实现可扩展性以及玩家与NPC的统一二元性,为游戏开发者提供了见解。
Polymarket已构建内部索引系统,由Rust编写的rindexer提供支持,实现了交易、头寸和余额的近实时更新,链上数据事件处理速度提升多达28秒。
本文介绍了对 `gearhash` Rust crate 的优化,新增了 NEON 后端,使 ARM64 架构上的性能提升一倍,改进了内容定义分块(如 Hugging Face 的 Xet 客户端等应用场景)。
Verus 是一个开源的自动化程序验证器,专为 Rust 设计,通过数学证明帮助确保代码正确性,并被亚马逊用于像 Nitro Isolation Engine 这样的项目。
Ubuntu 26.10 已完成迁移至基于 Rust 的核心工具,解决了之前的安全问题并增强了内存安全性,且用户功能无变化。
sdr--是一个开源软件定义无线电应用,具有可视化可修补信号图,使用Rust构建用于数字信号处理,并配备web UI以供控制和可视化。
本文解释如何使用PyO3将Rust代码集成到Python中,通过构建一个用Rust编写的JSON解析器并将其作为Python包暴露来演示,涵盖设置步骤、类型转换和性能比较。
Farcaster是一个开源、原生的AI编程代理工作区,集成了多个AI代理、终端和Neovim到一个统一的UI中,为开发者设计。
作者从零开始实现了运行大型语言模型的完整硬件栈,包括模型、GPU指令集、编译器和模拟器,使每一层都易于理解。该项目已在GitHub上开源。
Worktrunk 是一个用 Rust 构建的 Git worktree 管理 CLI 工具,旨在简化并行运行多个 coding agent 的调度问题,提供 hooks 和缓存共享等功能。
TailTalk 是一个使用 Rust 和 Tokio 实现的现代异步用户空间 AppleTalk 协议栈,旨在构建能够通过 EtherTalk 或 LocalTalk 网络与经典 Mac 通信的实现。
文章解释了Rust中的`clippy::nonstandard_macro_braces` lint如何被3133X优化,重点在于通过解决编译过程中宏展开的低效问题来提高性能。
OpenAI的Habitat存储平台为ChatGPT和Codex等服务提供动力,年同比增长超过10倍,并用Rust重写以在峰值时处理超过2000万请求每秒。
通过实现一个基于Rust的守护进程来动态休眠不活跃的AI模型,本地代理的GPU内存使用可以从122 GB减少到43 GB,唤醒延迟低于200毫秒,使得在单个工作站上运行多个模型变得可行。
该文章描述了一个名为Human Engineered Intelligence的个人项目,这是一个使用Rust构建的非AI系统,在本地处理语言而无需训练,其特点是采用了自定义架构,包括authorities和cubes用于知识表示。
本文介绍了程序综合技术,特别是针对无循环程序的反例引导迭代综合,并提供了使用 Z3 求解器在 Rust 中的实现。