Zig quits GitHub, says Microsoft’s AI obsession has ruined the service December 3, 2025 by kamal Comments