Lean, Not Backpressure entropicthoughts.com 21 points by kqr 5 days ago · 1 comment Reader PiP Save m4lvin 5 days ago Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)