I don’t trust Lean code from AI
Read the original at karagila.org→Original headline: "I don't trust Lean code from AI"
Coverage timeline
- Oct 28, 12:00 UTC Hacker News (AI) lead source I don't trust Lean code from AI
Original headline: "I don't trust Lean code from AI"