Technical notes about tools, correctness, and turning research into software.
Press ? anytime to show this help