What Is miniKanren?

Re:What Is miniKanren? by jasonhemann on Thursday January 02, 2025 @11:42AM (#42575993)

For folks that want to engage / learn more, there's been an annual miniKanren workshop and also a monthly miniKanren hangout online. Interested folk should totally come to either both!

[ Parent | on HN ]

Re:What Is miniKanren? by lambertsimnel on Thursday January 02, 2025 @02:28PM (#42577822)

The website describes the online hangouts as weekly and doesn't list any future dates:

http://minikanren.org/#hangouts

Is there more information somewhere?

[ Parent | on HN ]

Re:What Is miniKanren? by will_byrd on Thursday January 02, 2025 @03:07PM (#42578254)

I haven't held any hangouts online for years, although I'd consider restarting them if there is interest.

We do have a monthly call of miniKanren/OCanren researchers from around the world, where someone presents on their research. If you are interested, please send me an email!

[ Parent | on HN ]