News for hackers. Stuff that matters.
Re:Barliman – real-time program synthesis to make the progra... by gergoerdi on Monday December 04, 2017 @11:03PM (#15849624)
This seems like a real-time / on-line version of MagicHaskeller: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht...
Re:Barliman – real-time program synthesis to make the progra... by aetherspawn on Monday December 04, 2017 @11:33PM (#15849745)
This thing is so smart.

Add a 'z' to the end of the first example and it figures out it needs to 'reverse . drop 1 . reverse' to take a character off the end.

Imagine if it could learn on every open source Haskell codebase on GitHub and then learn in real time while people type.