Lean, Not Backpressure

(entropicthoughts.com)

8 points by kqr3 hours ago

1 comments

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