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