Hi there!

I build open source software and hardware. Follow me on GitHub!

I'm interested in both the mathematical and mechanical foundations of computing. I designed CPUs like Violet, built a serverless application engine, and worked on JIT runtimes like Wasmer. I plan to write about my future projects:

This blog is yet another custom-built one. Read about why:

Meta-content about this blog.

Subscribe

Projects I'm working on, random ideas, etc.

Subscribe

RISC-V Virtualized Embedded Platform (OSPP Summer 2021 project)

Subscribe

My notes on learning Homotopy Type Theory (HoTT).

Subscribe