Yes hello ❤️

• 🎅 Having fun with Advent of Code by coding proofs
• 🔭 Interested in programming language theory
• ✍️ Hacking in main.{ts,tsx,rs,jl,go,py,dart,kk}
• 🌱 Currently learning Lean, Coq, Scala, and Swift
• 💬 Ask me about Pokémon
• 🔜 Effect systems is the future
• 🤖 Soon to be a cyborg

Writing

• Solving balanced parentheses problem using Dart's type system (repo)
• SVMs explained (repo)
• University notes (repo)

Nerdy projects

• Solution of Sensors coverage problem using homology
• Generating 1 billion digits of π
• Analysis of natural language complexity used by open-source developers
• Convolutional autoencoder in Julia
• Raycaster in Rust
• Random-access machine runner