On Friday, 16 June 2017 at 13:51:18 UTC, Mike Parker wrote:
I've been meaning to get this done for weeks but have had a
severe case of writer's block. The fact that I had no other
posts ready to go this week and no time to write anything at
all motivated me to make time for it and get it done anyway. My
wife didn't complain when I told her I had to abandon our
regular bedtime Netflix time block (though she did extract a
concession that I have no vote in the next series we watch).
Thanks to Vladimir, Guillaume, and Steve, for their great
feedback on such short notice. Their assistance kept the blog
from going quiet this week.
Nicely written. I never bothered to look into this GC
fine-tuning, as I don't need that level of optimization, but I
finally have some idea of how this works.