How to use Gradio's API via curl | Hacker News Reader