Ask HN: What's the hardest problem you've ever solved?