:: blog :: 2026
long-form posts, dated.- π λ » 06.08.2026 Fast and succinct random access into the Fibonacci Sequence.
- λ μ » 05.27.2026 Webmaster! It's time to serve slop to AI crawlers.
- π λ » 05.26.2026 Leap year theorem: The proof via Lean4.
- π » 04.17.2026 Numerically approximating Exp-Minus-Log is surprisingly easy.
- δ λ » 04.15.2026 Fixing a 20-year-old bug in Enlightenment E16.
- π » 01.11.2026 A no-bullshit introduction to groups: Part 1.
- δ λ » 01.11.2026 This game is a single 13 KiB file that runs on Windows, Linux and in the Browser.