The best of Hacker News - July 12, 2024