Great impractical ideas in computer science