The tech year that was 2023