I only mentioned Coq vs TLA+ because I've read your blog and I know you have strong taste preferences between those two. That's because, unlike you, I actually

I only mentioned Coq vs TLA+ because I've read your blog and I know you have strong taste preferences between those two. That's because, unlike you, I actually try and understand people I don't agree with and see where they come from and under what perspective their views are indeed interesting, and that's how you learn how to understand complex (not difficult) topics. But that, my friend, requires that you don't immediately consider yourself superior to your interlocutor and first consider them like peers who have different perspective on things because they have a different background. That's the inevitable conditions for improvement. Thinking about other as mere peasants is probably more intellectually comfortable, but it's also far less constructive. Needless to say, it's also not a great way to earn respect.