Developers can write a smart contract without running it on their hardware, the people running it are miners.