miniKanren Advanced Series #12
Channel: William Byrd
Date: 2017-06-18

Evan explains his prototype neural network for guiding miniKanren search.  Orchid asks an interesting Barliman synthesis question, and gets a real-time answer from Greg.  Dmitrii explains a problem with OCanren and Faster-miniKanren not producing exactly the same search trace, which we debug in real-time.

See https://github.com/webyrd/miniKanren-hangout-summaries for more information.