CC by 4.0 is not the same as CC0 (public domain): https://creativecommons.org/public-domain/
Reply on news.ycombinator.com