-
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.