Lean, Not Backpressure

10 points • by kqr • today at 7:11 AM • 1 comment • view on HN

m4lvin • today at 10:07 AM

Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)

alt Hacker News