Lean, Not Backpressure
kqr
21 points
1 comment
June 01, 2026
Related Discussions
Found 5 related stories in 86.3ms across 9,294 title embeddings via pgvector HNSW
- “Why not just use Lean?” ibobev · 271 pts · April 27, 2026 · 63% similar
- Backpressure is all you need lucasfcosta · 175 pts · May 31, 2026 · 59% similar
- Lf-lean: The frontier of verified software engineering alpaylan · 18 pts · March 12, 2026 · 57% similar
- All Lean Books and Where to Find Them atomicnature · 30 pts · May 24, 2026 · 49% similar
- A Perfectable Programming Language yuppiemephisto · 94 pts · April 12, 2026 · 49% similar
Discussion Highlights (1 comments)
m4lvin
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)