Articles about programming or other thoughts floating through my mind.
Erasable Dependent Types
Erasing runtime irrelevant information while retaining the verification of dependent types.
Row Polymorphism without the Jargon
This obscure class of polymorphism acts as an interesting replacement for subtyping.
Reverse Engineering Super Smash Flash
A new version of Super Smash Flash 2 has obfuscated some things!
Escape Analysis Optimization
Description of an algorithm to replace Heap Allocations with Stack Allocations.