Hacker News Reader

Why don't we have a CPU architecutre with two stacks - one for stack data and another for return addresses?

That's what SafeStack (and IA-64) do.

Or write code in languages that, you know, don't encourage unwanted arbitrary code execution?