Game developer, working at the seam between artificial intelligence and music theory.
On the score, we learn the theory; but only through interacting with others do we understand the music.
I've always had one absurd idea — compose music in a programming language, and program in a music language. It turns out we can really try it: aria. Beyond that I'm active in HydroRoll-Team, and I keep up terminal agents, chatbot runtimes, game tooling, and Chinese documentation for languages I care about.
- aria — a music DSL in Rust: compose in code, program in music (AICMUniversity)
- Interval algebra — formalizing interval relations with category theory (notes)
- Compiler front-end — from MIDI to music-theory logic
- Audio synthesis — a real-time backend, targetable to WebAssembly
- Game engines — formal verification through the Rust type system
- soon — local-first terminal agent that learns your routines and predicts the next full command
- iamai — cross-platform AI agent & chatbot runtime with a Rust core and Python plugins
- DropOut — modern, fast Rust Minecraft launcher; a reproducible Minecraft workspace manager
- GlyphWeave — infinite-canvas ASCII roguelike tilemap editor
- dsh-auto-continue — DSH Web UI plugin that auto-resumes requests interrupted by non-human causes
- swi-prolog-docs — unofficial SWI-Prolog documentation in Chinese
…and more in released projects.
📊 This Week I Spent My Time On
💬 Programming Languages:
JSON 12 mins ██████████░░░░░░░░░░░░░░░ 39.40 %
Text 12 mins ██████████░░░░░░░░░░░░░░░ 38.09 %
Python 3 mins ███░░░░░░░░░░░░░░░░░░░░░░ 11.58 %
Rust 3 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 09.66 %
HTML 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.21 %
🔥 Editors:
Neovim 29 mins ██████████████████████░░░ 88.47 %
Vim 3 mins ███░░░░░░░░░░░░░░░░░░░░░░ 11.53 %
💻 Operating System:
Mac 28 mins ██████████████████████░░░ 87.20 %
Linux 4 mins ███░░░░░░░░░░░░░░░░░░░░░░ 12.80 %
🤖 AI Coding This Week
No AI Coding Activity Tracked This Week
Last Updated on 16/10/2026 20:32:32 UTC
- IntelligentMixVideo v0.9.6 · 2026-10-16
- swi-prolog-docs nightly · 2026-10-16
- Yapshire v0.9.1 · 2026-10-12
- dsh-auto-continue v0.14.2 · 2026-10-07
- jev-turtle-soup v0.43.0 — Visual cloze authoring and safer delete confirmation · 2026-10-07
- DropOut dropout v0.2.0-rc.2 · 2026-09-07
- iamai v1.0.0 · 2026-08-29
- GlyphWeave v0.2.0 · 2026-08-27
- soon v0.5.0 · 2026-07-30
- proof-pr v0.1.1 · 2026-07-18
2026-09-28 I meant to fix a QQ bot. A wall of migration threads led me to two cryptominers.
Investigating a cryptomining incident with Codex: a QQ bot feature request, disguised miners, separate SSH and RAGFlow intrusion trails, and the limits of cont…
2026-09-28 给 QQ bot 加个功能，顺着一排 migration 抓出两个矿工：我这需求又做偏了
一次与 Codex 共同完成的服务器挖矿事件排查记录：从 QQ bot 功能开发，到识别伪装矿工、关联 SSH 与 RAGFlow 模板注入证据，再到隔离、取证和清理。
2026-09-27 I only meant to fix a deployment: the Cortex Cloudflare incident
Working through the Cortex Cloudflare incident with Codex: a failed pnpm install, a Worker rewriting HTML, a hard-to-find account token and the checks after cl…
2026-09-27 本来只是想修一次部署：Cortex 的 Cloudflare 事件记录
一次和 Codex 共同排查的记录：从 pnpm 安装失败，到发现前置 Worker 改写 HTML，再到寻找、撤销令牌与恢复 Cortex。
2026-02-21 New Album: Malkuth
Info
2025-10-08 Maillard Reaction
The Maillard reaction, a complex series of chemical reactions between amino acids and reducing sugars, is responsible for the browning and flavor development i…
2025-02-01 Interval Algebra: When Category Theory Reshapes Musical DNA
While debugging an AI composition system at dawn, I encountered the 42nd "parallel fifth paradox": when optimizing harmonic consonance, the model persistently…
PGP 5DE2131F AD104AEB A3D36BDF 519BB819 4D892FD0 · mail i@jyunko.cn