Writing papers as they are now is already a labor-intensive and arduous process. That link is great [1], but producing such a thing would add quite a bit of tim

Writing papers as they are now is already a labor-intensive and arduous process. That link is great [1], but producing such a thing would add quite a bit of time to the paper cycle. Besides, many people still like to print papers out... [1] because it's Bret Victor, of course