We are working on a new version of the website, with HTTPS, and with better examples and a better layout.
I love your blog posts on LLMs, BTW! We've been experimenting with combining LLMs and miniKanren in various ways.