Things to Do: Our 12 Top Tech Tips of 2023 - WSJ