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