cvizdude·vor 2 Jahren·discussThat seems to be this: https://groqerc.com/#, which in turn links to groq.com