[sagefy]

Thanks for picking up on it :) I wrote the long version first actually. I had a few people review before publishing. There were some concerns about the length (25 minutes). So I made the linked summary version as well. I posted both to Hacker News today. But the summary seems to be getting much more interest :)