Yet another medium-sized creature prone to great ambition.

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

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