I don't trust Lean code from AI

2026-10-11来源 Hacker News NewEnglish

Article URL: https://karagila.org/2026/lean/

Comments URL: https://news.ycombinator.com/item?id=50036397

Points: 3

# Comments: 1

原文:https://www.a8q9.cn/en/article/i-don-t-trust-lean-code-from-ai-a2e009.html

相关文章