🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

The Second miniKanren Workshop will be co-located with ICFP this year (however that happens!) And we'll be looking for your submission in under a month!! icfp20.sigplan.org/home/minikanre… minikanren.org/#workshop

The submission deadline for the Second miniKanren Workshop has been extended to May 22 11:59PM (AOE). We hope this gives authors time enough to complete their outstanding submissions. icfp20.sigplan.org/home/minikanre… minikanren-2020.hotcrp.com

The 2020 miniKanren Workshop is updated with the list of accepted papers: icfp20.sigplan.org/home/minikanre… !

miniKanren.org Hangout URL: plus.google.com/hangouts/_/e31…

Hmmm. Technical problems with Google Hangout. Let's try again, with a different hangout & URL: plus.google.com/hangouts/_/73c…

.miniKanren.org Hangout #8 is now on YouTube: youtube.com/watch?v=ux6St9… We live-coded a relational DFA interpreter: github.com/webyrd/relatio…

miniKanren.org Hangout starting now: plus.google.com/hangouts/_/006…

. miniKanren.org hangout starts in 15 minutes.

.miniKanren.org hangout now starting plus.google.com/hangouts/_/4f5…

10th miniKanren hangout now on YouTube. CLP(Set), templateo, LVish, miniC, and more! youtube.com/watch?v=boymkC…

miniKanren hangout starting now! plus.google.com/hangouts/_/60b…

Today's #minikanren hangout is now on YouTube. Unexpected memory usage, meta-interpreters, and more! youtube.com/watch?v=CZVZPu…

Reminder: miniKanren.org Google hangout at 2pm MDT.

miniKanren hangout now live plus.google.com/hangouts/_/90c…

Today's #minikanren hangout now on YouTube. 2D image layout using core.logic, and declarative copy_term. youtube.com/watch?v=yNi3W7…

Weekly #minikanren hangout now live! plus.google.com/hangouts/_/7ad…

#minikanren Hangout 13 now on YouTube. New constraint and pattern-matching macros, solving nonogrid puzzles, and CPS youtube.com/watch?v=LMrwiV…

Today's miniKanren.org hangout starting now! plus.google.com/hangouts/_/0ba…

Scheme and Functional Programming workshop deadline is extended to September 13. The submission site is now live! webyrd.net/scheme-2013/

Scheme, Clojure, Racket, Lispy papers welcome! First-time authors/industry authors encouraged! webyrd.net/scheme-2013/