FRESH
Hacker News
Home
Lean, Not Backpressure
21 points by kqr
by m4lvin
0 subcomment
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)
