- ๐ญ 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(repo) - Solving balanced parentheses problem using Dart's type system (repo)
- Hacking variance (repo)
- SVMs explained (repo)
- University notes (repo)
More on my personal blog!