Reducing COâ‚‚ emissions with faster software