Full thread12329876·Banning AI, sure. But demanding multiple contributors? All of D.J. Bernstein's software would be banned. This is typical Reddit nonsense.View on HN