Day 7: Weekend 1.2
Today’s Progress
Our Surfing adventure this morning knocked me out for the rest of the day, and I only managed to accomplish a tiny optimization on my blogging flow. We had a blast tho, and I’m going to bed absurdly early, so I should be starting the week out relaxed andfully recharged.
Tooling
org-publish was taking an absurd amount of time to publish updates. Bastion
Bechtold’s note describing how they diagnosed and fixed a similar slowdown
helped guide me. The main trick was running the profiler to reveal what was
causing the slowdown:
(progn (profiler-start 'cpu) (function-to-profile) (profiler-report))
After fixing the cause of the slowdown, the time needed to publish these org files to HTML is down by at least 75%.
Tomorrow’s Program
- Finish CH. 2 of (Nederpelt and Geuvers 2014)
- Add type checking to themis’ simply typed lambda calculus
- Start CH. 3 (Nederpelt and Geuvers 2014)