Reminds me of my favorite math essay: "When is one thing equal to some other thing?"
It's a great question, much deeper and more interesting than it seems. The essay suggests thinking in terms of isomorphisms (relative to the structure you care about) rather than equality in some absolute sense, and I've found a fuzzy version of that to be a really useful perspective even in areas that can't be fully formalized.
Use multiple trees.
I think all three problems are really one problem under the hood:
Are these two things actually the same thing, or they separate?
Or non binary. How much are these the same and how.
Reminds me of my favorite math essay: "When is one thing equal to some other thing?"
It's a great question, much deeper and more interesting than it seems. The essay suggests thinking in terms of isomorphisms (relative to the structure you care about) rather than equality in some absolute sense, and I've found a fuzzy version of that to be a really useful perspective even in areas that can't be fully formalized.
https://people.math.osu.edu/cogdell.1/6112-Mazur-www.pdf
I thought it was timezones.
I thought the two hard problems were naming things, cache invalidation, and off-by-one errors?
Don't race forget conditions!
This is more true as stated than people want to give credit for, usually.