June 19, 2019
8:15 a.m.
On 18 Jun 2019, at 19:34, Sean P. DeNigris <sean@clipperadams.com> wrote:
I use it sometimes. IIRC there was a paper that it was objectively better at finding the "right" thing. Are you thinking of removing it?
I would like to re-implement sorting of results in a more pluggable way⦠so that e.g. people can add more sorting ideas. But doing that in one step seems hard⦠it would be much easier if we could simplify the system first. Removing the Ocompletion (for a while) would make it much easier⦠Marcus