26 个项目
项目
创业项目、旗舰作品和实验室里的实验。真实的用户，面向生产的意图，还有几个只是单纯有趣的支线任务。
创业项目
正在走向真正公司的早期创业项目。真实的用户，真实的投入，欢迎早期用户和投资人来聊。
- 公开测试
Archipelag.io 去中心化的 AI 算力：AI 任务运行在由社区运营的 GPU 主机网络上。任务优先选择就近的主机和首选地区，每个任务都会记录它在哪里运行；严格的地区约束正在开发中。目前为免费公开测试：主机在计量功能验证期间获得虚拟积分，真实货币结算尚未开放。
- 公开 Alpha
Cyanea 真正能重新运行的生物信息学笔记本。编写、运行并分享在浏览器中用 WebAssembly 执行的分析，无需安装任何东西。每个笔记本、数据集和输出都是一个可以再次运行的版本化快照。底层是 Rust 分析栈，内置 21 种文件格式。开源，自托管和联邦功能即将推出。
- 开发中
Humankind 一个跨越世代保存一个人存在感的人类延续平台。Humankind 帮助人们建立一份由声音、故事、记忆、价值观和人与人之间的温情组成的活档案，让一个人的质感在距离、衰老或死亡本会将其抹去之后，依然可以被触及。同意优先，默认保护隐私，并明确区分记录下来的事实、重建和推断。
- 交付中
Arcanist 面向 AI 编写代码时代的 Haskell 工具。hx 是用 Rust 写的快速包与项目管理器，bhc 是一个尽可能检查一切的编译器。再加上一个记录哪些内容已被验证的注册中心，它们通向一个公共资源：无论是人还是模型，都不必把同一件事验证两次。
旗舰与认真之作
我以生产为目标维护的基础设施、工具和系统。它们解决的是我反复遇到的真实问题。
- 稳定
Zentinel 为守护自由 Web 而构建的安全优先反向代理。基于 Cloudflare Pingora 的 Rust 实现，明确的配置优先于隐藏的默认值，WAF、认证和其他策略运行在隔离的智能体中，因此某个智能体崩溃时代理仍会继续运行。提供 WAF、机器人管理、身份、API 检查和脚本等智能体，从 Rust 到 Haskell 的 SDK，一个纯 Rust 的 ModSecurity 引擎和一个集群控制平面。
- 已上线
hx 装进一个快速二进制文件里的 Haskell 工具链。hx 负责安装 GHC 和 Cabal，构建、测试、格式化和检查你的代码，按哈希锁定每个依赖，并发布你的包。它用 Rust 编写，几毫秒内启动，兼容你已经在用的 .cabal 文件和 Hackage，还通过 MCP 为 AI 智能体提供同样的命令。
- 测试版
bhc Basel Haskell Compiler，一个为你已经在写的 Haskell 从零打造的编译器。它用 Rust 编写，经由 LLVM 编译为原生代码，也可编译为 WebAssembly，每次构建选择一种运行时配置。它能编译 Pandoc 的全部 221 个模块，Pandoc 的 Markdown 读取器和 HTML 写入器可以端到端运行。
- 已上线
broodwar.live 《星际争霸：母巢之战》竞技圈的社区平台，相当于母巢之战版的 basketball-reference.com。150 位职业选手的英文和韩文资料，每种对局的建造顺序、赛事、维基，以及在浏览器中用 WebAssembly 运行的录像分析，什么都不用上传。
- 开发中
Refrakt 一个约定优先的 Gleam Web 框架。像 Phoenix 一样高效，像 Gleam 一样明确，可与 Wisp 和 Lustre 组合。全栈代码生成、CRUD 脚手架，以及运行在 BEAM 上、开箱即用的开发体验。
- 开发中
Vela 在裸机上零停机部署应用。一个二进制文件，没有容器。一个可自托管的 PaaS，可替代 Heroku、Fly.io、Coolify 和 Kamal。用 Rust 构建，支持零停机部署，并内置反向代理。
公共与研究
把开放标准、证据和系统思维用于公共生活、历史，以及对人类集体的研究。
- 已上线
- 非常早期
- 早期原型
实验室与兴趣项目
我尝试很多想法，把它们做得小而真实，看看哪些能留下来。有些会升级为旗舰项目，有些会永远只是好玩。两种都没有压力。
- 开发中
- 开发中
coconutOS
AI 推理的一层硬壳。一个把 GPU 隔离做成内核原语的 Rust 微内核：每个模型运行在自己的分片中，拥有自己的页表、显存分区和能力；GPU 驱动运行在 ring 0 之外；pledge_gpu 和 unveil_vram 只会收回权限，从不增加。如今已能在 QEMU 中端到端运行一次 Transformer 前向计算；下一步是真实的 GPU 硬件。
- 开发中
- 已上线
Hotaru
60 电极阵列上的模拟神经元培养物在你的浏览器里打乒乓，就像 DishBrain 实验那样。只对击中和漏接给出反馈，并没有让它们变得更好；而当球拍朝球移动时就安静下来的输入做到了，页面会把它和对照组并排展示。
- 可游玩
- 开发中
Sango
面向现代 Web 的边缘诊断工具。一个运维级的命令行工具，一条命令完成全面的端点分析：TLS 检查、HTTP 协议检测（HTTP/1.1、HTTP/2、HTTP/3）、安全响应头、延迟测量和技术栈识别。
- 开发中
- 开发中
- 开发中
- 开发中
- 非常早期
- 开发中
- 进行中
