Data generation and property testing for Elixir | Hacker News Reader