[hacker news] "Why not just use Lean?"]
Available in: 中文
阅读原文：["Why not just use Lean?"]](https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html)
摘要
"Why not just use Lean?"]
来源
本文首发于 hacker news。
阅读原文：["Why not just use Lean?"]](https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html)
← Previous: Dutch central bank ditches AWS and chooses Lidl for European Cloud]Next: Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop] →
0