- What is computing?
- Latex Pro Tips
- Advent of Code 2022 - Lean4
- A quantum-inspired solution to a CP problem
- Function optimization - a problem from AdventOfCode 2021
- ICPC WF 2020, Problem F. Ley Lines
- ICPC WF 2020, Problem C. Domes
- [CP] Approaching Geometry Problems
- Haskell in C++: The IO Monad
- Regular tilings of the 2D plane
- [Haskell for CP] Solving an interactive problem using laziness
- What is a variety?
- Haskell in C++: Implementing pure functional constructs in c++ using templates
- Advent Of Code 2020 - in Haskell
- [Haskell for CP] Exploiting laziness for memoized DPs
- A calculator in C++ - at compile time!
- Sprague-Grundy: Why is it XOR?
- Solving a functional equation using Lean
- Awesome Software/Tools for Programming
- [Haskell for CP] Some Basic Problems
- [Haskell for CP] Knapsack DP reinvented
- [Haskell for CP] Introduction and our first problem
