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:
Markdown 1 hr 2 mins █████████░░░░░░░░░░░░░░░░ 36.58 %
Python 54 mins ████████░░░░░░░░░░░░░░░░░ 31.54 %
Bash 23 mins ███░░░░░░░░░░░░░░░░░░░░░░ 13.54 %
TypeScript 15 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.78 %
Other 12 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 07.00 %
🔥 Editors:
Neovim 2 hrs 51 mins █████████████████████████ 99.72 %
Vim 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.28 %
💻 Operating System:
Mac 2 hrs 51 mins █████████████████████████ 100.00 %
🤖 AI Coding This Week
No AI Coding Activity Tracked This Week
Last Updated on 21/08/2026 18:35:12 UTC
- dsh-auto-continue v0.7.1 · 2026-08-19
- swi-prolog-docs nightly · 2026-08-18
- DropOut dropout v0.2.0-rc.1 · 2026-08-04
- soon v0.5.0 · 2026-07-30
- proof-pr v0.1.1 · 2026-07-18
- iamai v0.3.0 · 2026-07-15
- GlyphWeave v0.1.0 · 2026-07-12
- hacktyper 🚀 v0.2.7 · 2026-01-13
- online-judge algohub-server v0.1.18 · 2025-03-26
- GetPlayerCard v0.4.4 · 2025-02-18
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-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
2023-12-27 Build A Script Language
Poly-paradigm Scripting Interface
PGP 5DE2131F AD104AEB A3D36BDF 519BB819 4D892FD0 · mail i@jyunko.cn