Game developer and FDE, 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:
TypeScript 1 hr 57 mins ███████████░░░░░░░░░░░░░░ 42.02 %
Bash 1 hr 15 mins ███████░░░░░░░░░░░░░░░░░░ 26.95 %
Python 52 mins █████░░░░░░░░░░░░░░░░░░░░ 18.91 %
KDL 12 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.42 %
JSON 9 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.26 %
🔥 Editors:
Neovim 4 hrs 38 mins █████████████████████████ 100.00 %
💻 Operating System:
Mac 2 hrs 56 mins ████████████████░░░░░░░░░ 63.18 %
Linux 1 hr 42 mins █████████░░░░░░░░░░░░░░░░ 36.82 %
🤖 AI Coding This Week
No AI Coding Activity Tracked This Week
Last Updated on 22/09/2026 20:55:22 UTC
- swi-prolog-docs nightly · 2026-09-22
- dsh-auto-continue v0.11.7 · 2026-09-20
- IntelligentMixVideo v0.4.1 · 2026-09-18
- 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
- hacktyper 🚀 v0.2.7 · 2026-01-13
- online-judge algohub-server v0.1.18 · 2025-03-26
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…
2024-08-20 820
水系820溯源原文
2024-05-25 Can Kolmogorov–Arnold Networks (KAN) beat MLPs?
Lately, it seems that the entire AI community has become about one and one thing only, LLMs. They are cool in their own way, but they are not the entire AI fie…
2024-01-19 Empowering Python Developers: A Comprehensive Exploration of Remote Package Imports
In the expansive world of Python programming, the advent of remote package imports has emerged as a transformative and influential feature. This dynamic capabi…
2024-01-05 Build An Audio Programming Language
aria
PGP 5DE2131F AD104AEB A3D36BDF 519BB819 4D892FD0 · mail i@jyunko.cn