Greedy is optimal for single-pass semi-streaming matching

· Hacker News