Developers who use AI tools are more productive, but are they happier?shiftmag.dev1 pointrapawela year ago