CAIMEO

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

Languages and tools

                                       

Interests

• 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