Indie developer. I like building things where correctness is hard to prove — differential testing, calendars and timezones, deterministic engines vs. LLMs. Current project: an open-source I Ching engine, https://github.com/yaomancy/liuyao-engine