Links: http://minikanren.org/ - https://twitter.com/webyrd - https://en.wikipedi... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ahazred8ta on July 31, 2016 | parent | context | favorite | on: Barliman: Prototype of a smart text editor

Links: http://minikanren.org/ - https://twitter.com/webyrd - https://en.wikipedia.org/wiki/MiniKanren - http://stackoverflow.com/questions/tagged/minikanren -

will_byrd on July 31, 2016 [–]

Thank you for posting the links!

For anyone interested in how the relational interpreter powering Barliman works, here is a short talk I gave at PolyConf last year:

https://www.youtube.com/watch?v=eQL48qYDwp4

And here is a much more in-depth two-part talk I gave at Lambda Lounge Utah:

https://www.youtube.com/watch?v=zHov3fKYqBA https://www.youtube.com/watch?v=nFE2E91VDAk

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact