Hi there!

你可以在 GitHub 上 follow 我,或者前往英文版站点 :)

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