- 🔭 Interested in programming language theory & theorem provers
- ✍️ Hacking in
main.{v,typ,tsx,rs,jl} - 🌱 Currently learning juggling and German
- 💬 Ask me about Regexes
- 🔜 Effect systems are the future
- Linear-time lookarounds in
rust/regex - Solving balanced parentheses problem using Dart's type system (repo)
- Hacking variance (repo)
- SVMs explained (repo)
- University notes (repo)
More on my personal blog!