Finding Bugs in DuckDB with Property-based Testing | Hacker News Reader