🗓️ 项目演进历程
2026
VeriDB — 形式化验证的分布式数据库
完成 TLA+ 协议建模与 Coq 正确性证明，Rust 实现通过 Jepsen 测试。
HydraVM — 多语言 JIT 虚拟机
实现元循环 JIT 编译器，支持 JavaScript/Python/Ruby 混合执行。
ProtoStack — 自研 QUIC 协议栈
完成 QUIC RFC 9000 完整实现，通过 IETF 互操作性测试。
Chimera — 异构多核微内核 OS
实现 x86-64 + RISC-V 双架构支持，通过形式化验证内核接口。
QSim — 量子计算全栈模拟器
支持 32 量子比特模拟，实现 Shor 算法与 VQE 变分求解器。
Vulkanite — 自研 GPU 驱动框架
实现 Vulkan 1.3 兼容驱动，完成 SPIR-V 编译管线。
2025
分布式 KV 存储引擎原型
基于 Raft 实现多副本强一致性 KV 存储，支持快照与动态成员变更。
自举编程语言 TinyLang
实现词法分析、语法解析到 LLVM IR 代码生成的完整编译器。
eBPF 可观测性平台
基于 eBPF 实现内核级系统调用追踪与性能火焰图生成。