Allen's Interval Algebra
ics.uci.edu
ics.uci.edu
https://www.research.ibm.com/haifa/ponderthis/challenges/Jan...
I can't remember if I stumbled upon that from HN or not, but it's a neat little problem to think about, and seems like it would have been nice to see Allen's algebra at the time.