Lean, Not Backpressure (opens in new tab)

(entropicthoughts.com)

21 pointskqr25d ago1 comments

1 comments

1 comments · 1 top-level

m4lvin25d ago

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

j / k navigate · click thread line to collapse