Which other post? There is so much churn on HN that it’s hard to know which post you are referring to