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