Hacker News new | ask | show | jobs
by simonw 529 days ago
I have a feature request for the https://minikanren.org/ website: just one prominent block of example code on that homepage (as early as possible) would be REALLY useful for helping understand at a glance what kind of language this is.

I even clicked through quite a few of those prominent early links and didn't find a code example!

2 comments

On top of that: some examples of the kinds of problems miniKanren can solve, based on real world examples rather than purely abstract concepts (e.g. "given a set of available air flights with origins, destinations, and prices, find me the cheapest way to get from Seattle to London")
Is that even possible for something like this? You've got a pretty long list of implementations, each having its own language specific syntax, e.g. https://github.com/pythological/kanren for one python version - and there are several Python versions linked on the homepage.
In that case an example box with tabs at the top - "miniKanren in Python / Go / Ruby" or whatever - would really help illustrate that point.
Thank you for the feedback!

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.