- speclint-mcp: 透過對於規格書的相同詞意變換來反覆測試ai是否產生不同內容來檢測規格書是否有歧義。
- AI PDF-to-EPUB: 嘗試建構一個能完美轉換學術論文格式的 AI 工具。
- GitOps: 探索宣告式系統組態與套件管理,挑戰將開發環境完全 Nix 化,並透過 fluxcd 自動拉取 k3s 配置。
- Logic Programming: 鑽研 Prolog 與 Datalog 在 ai 上的應用。
- 語言: Python, JavaScript, Prolog, C++
- 框架: Astro
- 基礎設施: NixOS, Docker, Cloudflare, k3s
- 管理容器: Komodo, Coolify ,dockge ,fluxcd
- 自架服務 (Self-hosting): 關於 RSS、媒體庫、及各式 Docker 服務部署。


