Solving the IMO 2025 problems

Proof sketches and commentary for the IMO 2025 problems, written after doing the contest as a mock.

Quantizing LLMs for inference

A practical overview of LLM inference quantization, from why memory bandwidth dominates local inference to GGUF, EXL, AWQ, GPTQ, KV-cache quants, and hardware tradeoffs.

A Math Academy review

A personal review of Math Academy from the perspective of a self-taught math-heavy user, focusing on its pedagogy, strengths, and annoyances.

Calibrating Confidence

A note on confidence calibration, why overconfidence and underconfidence both hurt decisions, and how to test and improve probabilistic judgement.

The intuition and the math behind Simpson's paradox

An intuition-first explanation of Simpson's paradox as a mismatch between local and global comparisons, followed by the algebra behind it.

Implementing FFT

A derivation-oriented guide to FFT implementations, moving from recursive Cooley-Tukey to iterative and in-place variants without explicit bit reversal.

On using RSS feeds

A short practical note on why RSS feeds are useful and how to start using them to follow blogs, research feeds, and other updates.

PSA: target pragmas won't work on the new g++-13 compiler on CF

A PSA about GCC 13 on Codeforces rejecting target pragmas, why the issue appears, and what changed in later GCC versions.

Convenient and near-optimal binary search on floating point numbers

A near-optimal floating-point binary search template that searches representable values via bit-casts instead of hard-coded iteration counts.

Write recursive DP without thinking about memoization

A C++ template for recursive DP with automatic memoization, built from recursive lambdas, generalized hashing, and policy-based hash tables.