Huh, searching for "site:news.ycombinator.com terra lua" did not turn up any discussion at all. Thanks.

HNSearch seems to be better at finding previously posted content than Google is:

https://www.hnsearch.com/search#request/submissions&q=terra+...

Still, it's interesting and relevant, and I hadn't seen it before, so thanks for posting.

Don't feel sorry. I hadn't seen Terra before and now I have, so thanks for submitting!

There's a search field at the bottom of the HN page that searches all of HN.

Any reason we should expect the two to return different results, other than one is less comprehensive crawling? (I have wondered how thorough the web crawling engines are.)