Lean, Not Backpressure
kqr
21 points
1 comment
June 01, 2026
Related Discussions
Found 5 related stories in 759.2ms across 14,015 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
- Lean Software Scaling Laws gmays · 18 pts · July 05, 2026 · 58% similar
- Lf-lean: The frontier of verified software engineering alpaylan · 18 pts · March 12, 2026 · 57% similar
- Slightly reducing the sloppiness of AI generated front end FergusArgyll · 181 pts · June 12, 2026 · 50% similar
Discussion Highlights (1 comments)
m4lvin
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)