Here you can find random blog posts with no quality guarantee. I talk about programming languages, mathematics, and more rarely hobbies and tutorials.
Hacking co-/contra- variant generics
• Nov 17, 2023Small overview of subtyping and variance in Dart motivated by a real example. Then, we hack variance into the language despite not supporting it directly.
Solving balanced parentheses problem using Dart's type system
• Apr 30, 2023Using new features introduced in Dart 3, we solve and prove the solution to balanced parentheses problem.
Support Vector Machines explained
• Nov 26, 2022Explaining the underlying math of SVMs.