Developers who use AI tools are more productive, but are they happier? shiftmag.dev 1 points by rapawel 7 days ago