A verified algorithm for finding the intersection point of two lists | Dark Hacker News