News for hackers. Stuff that matters.

A comment on Barliman: Prototype of a smart text editor.

Re:Barliman: Prototype of a smart text editor by cheez on Saturday July 30, 2016 @02:58PM (#12194195)
It wasn't clear to me how the "best guess" works. Did I miss it?

Indeed, if program synthesis can be done for even slightly non-trivial tasks (find in list, etc) that would be a huge boon for StackOverflow answer bots.

[ Parent | on HN ]
Re:Barliman: Prototype of a smart text editor by will_byrd on Monday August 01, 2016 @02:41AM (#12200579)
I gave a short, semi-technical explanation of how Barliman performs synthesis in my answer to `YeGoblynQueenne`. I'm not sure if that description answers your question, though.

I agree that relatively modest synthesis could be useful; exploring modest synthesis is why I made Barliman, although I hope Barliman's synthesis can be made less modest! :)

[ Parent | on HN ]