Taking stock of the ten major events of industry and informationization in Nanjing in 2023, and new breakthroughs in the construction of a strong industrial city