- Lean 与 AI 辅助软件开发：从代码生成到形式化验证
讨论 Lean 如何为 AI 生成代码提供可检查的规格与证明，并厘清它与 Rust、测试及真实实现之间的能力边界。
12 min 中文 - 在 RISC-V 开发板上部署 Vaultwarden：从零到 HTTPS 的完整踩坑实录
在 LicheePi 4A (RISC-V64) 上交叉编译 Vaultwarden 静态二进制，通过 Docker 部署并用 Tailscale Serve 暴露 HTTPS，含 7 个实际踩坑修复。
17 min 中文 - Rust 方法解析的暗流：从 Clone 歧义到自动解引用链条
从 &T.clone() 的深浅拷贝歧义出发，层层拆解 Rust 方法解析候选列表、Autoref、Deref 与 Unsized Coercion 的协同机制。
13 min 中文
Back