A Perfectable Programming Language]

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

A Perfectable Programming Language]

Source

Originally published on hacker news.

Read the full article: [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