I’m a fan of Terry Tao’s blog, which while not strictly software, is both good for advice and discusses one of my passions — formal verification. https://terry

I’m a fan of Terry Tao’s blog, which while not strictly software, is both good for advice and discusses one of my passions — formal verification. https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/ https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-... https://terrytao.wordpress.com/career-advice/ask-yourself-dumb-questions-and-answer-them/ https://terrytao.wordpress.com/career-advice/ask-yourself-du... Both previously appeared on HN.