Tag: #tigyog

Proofs about programs: an interactive tutorial

Rice’s theorem: an interactive tutorial

Gödel’s first incompleteness theorem: an interactive tutorial

Differential equations: an interactive tutorial

Time series: an interactive tutorial

A/B Testing: an interactive look at Thompson sampling

The quadratic formula: an interactive tutorial

The halting problem: an interactive tutorial

Imputation: an interactive tutorial