joke knuth mcilroy literate programming one liners unix computer science donald knuth douglas mcilroy programming dragon curve terminal shell browserling browser