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

The author laments that generative AI has undermined creative technical pursuits like CTF competitions, where uncritical AI tool usage has eroded both educational value and enjoyment. They also discuss how LLMs have impacted the Lean programming language community, first attracting unqualified users and now threatening to automate the intellectually rewarding work of theorem proving.