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