6 ms·QED – an interactive textbook26 points by ocfnash 8y agodang 8y agoComments moved to https://news.ycombinator.com/item?id=17640566 https://news.ycombinator.com/item?id=17640566.