Applied type theorist gone haywire for GenAI-ish things. Previously a game-dev. https://runeblaze.github.io/

Reach me at `me ~at~ baqiaoliu.com`.