Hi, I'm Heng.

I'm a software engineer. This is where I write about what I'm building and learning: AI agents, correctness, formal methods, and the experiments I run in my own time.