vm.fail

Inducing stochastic context free grammars by Bayesian model merging

Inducing stochastic context free grammars from samples, after Stolcke and Omohundro

Dissecting the R4 DEMON timebomb

Tracing the R4 kernel expiry check through ARM9 startup and repairing the integrity metadata required to keep the patched menu running

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

Matching patterns over ranked trees

Recognising tree patterns through shared paths and automaton states, with an interactive demo for trying patterns against nested subjects