back
user profile
sergevar
10karma·4submissions·August 13, 2026
recent activity (4 total)
comment
Yep, thanks!
comment
A good process deletes decisions (the Glasgow northbound rule) by focusing you on exactly the steps you need to take. A bad one might remove a few but spawn fifty more (suddenly you're debating s…
comment
Interestingly, there was a Show HN last year formalizing PM in Lean ( https://news.ycombinator.com/item?id=43797256 ), and the Principia Rewrite project ( https://www.principi…