---
title: "What creative technical outlets of yours have been ruined by generative AI?"
url: https://daily.dev/posts/what-creative-technical-outlets-of-yours-have-been-ruined-by-generative-ai--uxcnermqr
source_url: https://lobste.rs/s/vvt1fh/what_creative_technical_outlets_yours
type: article
source: "Lobsters"
published: 2026-03-21T10:06:04.708Z
updated: 2026-03-21T10:06:25.586Z
tags: ["genai", "ethical-ai"]
reading_time: 1
upvotes: 0
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

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

**[Lobsters](https://daily.dev/sources/lobsters)** · 1 min read · 0 upvotes · 0 comments

## Summary

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.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://lobste.rs/s/vvt1fh/what_creative_technical_outlets_yours>

## Similar posts on daily.dev

- [“I started to lose my ability to code”: developers grapple with the real cost of AI programming tools](https://daily.dev/posts/i-started-to-lose-my-ability-to-code-developers-grapple-with-the-real-cost-of-ai-programming-tool-2ysnnh7pi) · The New Stack · 2 upvotes · 1 comments

---

Tags: [#genai](https://daily.dev/tags/genai), [#ethical-ai](https://daily.dev/tags/ethical-ai)

[View this post on daily.dev](https://daily.dev/posts/what-creative-technical-outlets-of-yours-have-been-ruined-by-generative-ai--uxcnermqr)