> The fact everyone that say they've become more productive with LLMs won't say how exactly. But no one really show how they're actually solving problems with L

> The fact everyone that say they've become more productive with LLMs won't say how exactly. But no one really show how they're actually solving problems with LLMs and how the alternatives were worse for them. A pretty literal response: https://www.youtube.com/@TheRevAlokSingh/streams https://www.youtube.com/@TheRevAlokSingh/streams Plenty of Lean 4 and Cursor.