Anyone following IR related news, do you know what happened to BitFunnel (opensourced rewrite of Bing search engine).

https://bitfunnel.org/categories/blog/

https://github.com/bitfunnel/nativejit/

https://github.com/BitFunnel/BitFunnel