[hacker news] A Perfectable Programming Language]

Available in: 中文
2026-04-12T23:04:32.821Z·1 min read
阅读原文:[A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)

摘要

A Perfectable Programming Language]

来源

本文首发于 hacker news

阅读原文:[A Perfectable Programming Language]](https://alok.github.io/lean-pages/perfectable-lean/)

↗ Original source · 2026-04-12T00:00:00.000Z
← Previous: Tech valuations are back to pre-AI boom levels]Next: [36kr] 固体内部量子纠缠获可靠测量 →
Comments0