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