If we wanted correct compilers, we could have them already. But that’s not all we want: we also want compilers that are really good at code generation, that run quickly, that keep up with complicated language standards, and more. The actual problem is as much about economic choices as it is about software engineering and formal methods. This talk will explore these issues and also look into some ways that we might be able to change the economic fundamentals that underlie compiler development.