Racks blog
About
Can a formally verified C compiler still miscompile your program?
17 August 2026
Recovering stripped overlays and game state in Club Penguin: Elite Penguin Force
11 July 2026
The semantics of cancellation under algebraic effects
27 March 2026
Lowering caml_modify to native ARM64 in the non-Flambda codegen path
19 July 2025
Matching patterns over ranked trees
5 November 2025
Lowering algebraic effects to handlers
14 March 2025
How YSMenu Rewrites Nintendo DS Games at Launch
23 November 2024
R4 DEMON: Dissecting the timebomb
9 March 2024
