Hi there!
你可以在 GitHub 上 follow 我,或者前往英文版站点 :)
Meta-content about this blog.
Subscribe
Projects I'm working on, random ideas, etc.
RISC-V Virtualized Embedded Platform (OSPP Summer 2021 project)
My notes on learning Homotopy Type Theory (HoTT).