Ask HN: Formal language as a front end to Stable Diffusion models? | Hacker News Reader