On: Barliman – real-time program synthesis to make the...

[gergoerdi]

This seems like a real-time / on-line version of MagicHaskeller: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht...

[aetherspawn → gergoerdi]

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.