Y
Hacker News
new
|
ask
|
show
|
jobs
Lean, Not Backpressure
(
entropicthoughts.com
)
21 points
by
kqr
10 days ago
1 comments
m4lvin
10 days ago
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)
link