What creative technical outlets of yours have been ruined by generative AI?

A community discussion about how generative AI has diminished creative and educational technical pursuits. The original poster laments how CTF competitions have lost their educational value as participants rely on AI tools uncritically. A prominent comment dives deep into how the Lean theorem prover community has been overtaken by LLM-generated code and proofs, with Claude Code becoming a top contributor to the main Lean repo. Commenters also share how teaching programming has become demoralizing due to student AI dependence, and how 'fun programming' as a hobby has lost its appeal.