https://cpl0.zip/ Posts on cpl0.zip en-gb https://cpl0.zip/posts/explicit-substitutions/https://cpl0.zip/posts/explicit-substitutions/Making substitution steps explicit and lifting pending substitutions under binders without capturing free variables. https://cpl0.zip/posts/jump-threading-and-block-merging/https://cpl0.zip/posts/jump-threading-and-block-merging/The side conditions under which jump threading and block merging preserve behaviour, the simulation relations that discharge them, and a validator that checks duplicated control flow against its source. https://cpl0.zip/posts/bayesian-model-merging/https://cpl0.zip/posts/bayesian-model-merging/Inducing stochastic context free grammars from samples, after Stolcke and Omohundro. https://cpl0.zip/posts/r4-demon-185b-reverse-engineering/https://cpl0.zip/posts/r4-demon-185b-reverse-engineering/Tracing the R4 kernel expiry check through ARM9 startup and repairing the integrity metadata required to keep the patched menu running. https://cpl0.zip/posts/the-semantics-of-cancellation-under-algebraic-effects/https://cpl0.zip/posts/the-semantics-of-cancellation-under-algebraic-effects/How cancellation requests reach suspended computations and how continuation ownership, backend registrations and scope lifetimes determine whether cleanup actually finishes. https://cpl0.zip/posts/matching-patterns-over-ranked-trees/https://cpl0.zip/posts/matching-patterns-over-ranked-trees/Recognising tree patterns through shared paths and automaton states, with an interactive demo for trying patterns against nested subjects.