Stateful Property Testing in Rust | Hacker News Reader