6/1/2026 at 10:07:02 AM
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)by m4lvin
6/1/2026 at 7:11:10 AM
Lean, Not Backpressure
https://entropicthoughts.com/lean-not-backpressureby kqr
6/1/2026 at 7:11:10 AM
by kqr
6/1/2026 at 10:07:02 AM
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)by m4lvin