"JetBrains’ 2023 Developer Ecosystem survey reported that 73 percent of respondents played video games."
This independently supports the roughly three-out-of-four framing for 2023, but it does not establish the same figure for every year through 2025.
View Source