Articles Oracle-free terms are turing-complete. Expressing side effects with Recipes. Explaining λ-encodings with JS. Theorem proving vs testing. Supercompilation for free.