Posts
- 2024-12-09 - Updating Dependencies in a Lean (+ Mathlib) Project
- 2022-01-15 - Alexandru's Birthday Puzzle
- 2021-12-29 - Cyclists in Kaštela — a true story
- 2021-01-09 - Depth-first and breadth-first search in Haskell
- 2020-07-04 - Rendering Elm to static HTML with Selenium
- 2019-04-30 - Five Hints for Modern LaTeX
- 2019-03-10 - If you want me to read your email ...
- 2019-03-01 - Symbolically finding Cheryl's Birthday with SMCDEL
- 2018-11-08 - Self-hosting the WiFi Connectivity Check for Android
- 2016-11-16 - Why IO Input Types are Confusing
- 2016-06-17 - The ILLC Course Title Generator
- 2015-04-20 - Finding Cheryl's Birthday with DEMO