A student interested in math and computer science.
$$
\text{Life} = \int_\text{birth}^{\text{death}} \text{study} \ dt
$$
- 🌱 Learning Programming Language Theory and Type Theory
- 🤔 Reading Type Theory and Formal Proof and Homotopy Type Theory
- 📝 Regularly write notes and blogs (The Rabbit Hole)
- 🔭 Working on Json Schema Lean Implementation, Moonbit Core Library and Command Lisp
![logo](https://camo.githubusercontent.com/cfca676730d067abcaf9a4be5c7e8cbd4c86e6783ac85d3879e8c964e7641ce0/68747470733a2f2f6769746875622d726561646d652d73746174732e76657263656c2e6170702f6170693f757365726e616d653d4341494d454f582673686f775f69636f6e733d74727565267468656d653d67727576626f7826636f756e745f707269766174653d74727565)
![](https://camo.githubusercontent.com/65e8e5c5700bd297f407421f525a0732e7cbbc990828dfb30144c2b190475bdd/68747470733a2f2f6769746875622d726561646d652d73746174732e76657263656c2e6170702f6170692f746f702d6c616e67732f3f757365726e616d653d6361696d656f78267468656d653d746f6b796f6e69676874266c61796f75743d636f6d70616374)
- Abstract Algebra
- Arch Linux and NixOS
- Category theory
- Classic Music
- Computer Science
- Minecraft
- Programming Language Theory
- Quantum physics and Quantum computing
- String Theory
- Type Theory