News for hackers. Stuff that matters.
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?

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!