个人主页

项目

更多内容见项目文档站点和计算机科学学习记录。

  1. micro-agent

    面向本地开发任务的轻量软件工程智能体，以 Bash 工具循环为核心，支持 ask、auto、yolo 三种自主模式、交互式终端与 JSONL 编排接口；提供可动态追加和重读的 system prompt、AGENTS.md 自动发现、Skills 管理及会话恢复，便于定制项目规则并扩展 subagent 工作流。

  2. DiAgent

    基于 jujutsu 探索以文本变更为中心的智能体工作方式：将任务整理为可组合的原子对话历史，以稳定文本和 diff 组织模型上下文，并研究如何借助版本分支、历史重组与分布式 subagent 支持并行探索和协作。

  3. ARnDlm

    以统一的模型配置、中文语料、tokenizer 与评估流程，系统比较自回归语言模型和扩散语言模型；涵盖模型实现、训练起点、阶段顺序、基础模型规模与 A2D 实现五组对照，并提供可复查的训练与数值校验流程。

  4. lean-toric

    使用 Lean 4 与 mathlib 逐步形式化环面几何，将格、锥与扇等组合基础连接到分裂环面射影丛、轨道分层、扇细分、爆破和初等变换；以经典例子校验数学约定，并建立可编译、可复用的机器检查证明。

  5. MiniMind

    基于开源 MiniMind 开展小型语言模型的代码研究与训练复现，实践从中文数据准备、模型结构与预训练，到监督微调、LoRA、偏好优化、强化学习、工具调用和蒸馏等流程；相关语料与 tokenizer 也为 ARnDlm 的自回归和扩散模型对照实验提供基础。

  6. AiKit

    AI 智能体工具集合（skills、智能体、插件、人设等），主要面向 pi。

  7. Calman

    终端下的任务与事件管理工具。Rust 编写，采用 iCalendar 格式存储。

  8. Cutui

    一款基于终端界面的视频编辑工具

  9. Lichtung

    一款 Hugo 静态网站主题

  10. Markerss

    基于终端界面的 RSS 阅读器，以 Rust 编写。

  11. Mumble

    极简云端留言板——Cloudflare Workers + D1，可嵌入其它页面。

  12. Rethlas

    自然语言数学推理系统——fork 自 frenzymath/Rethlas 并做了扩展。

  13. Suckless

    桌面环境组件的个性化分支合集，主要以 C 语言编写。

  14. pi-board

    Pi 的插件，方便引用文件和对话历史，组装prompt，用浏览器前端