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