indo-dev-0

@aubergine10 Sounds like a pretty easy patch to me ; )

I just used a temp file, you can see the results here: https://github.com/indo-dev-0/lunr.js

Being able to pass this through via a command line argument would make automated setup much easier.

> A more ambitious approach would be to use formal methods. ... (In fact, part of my motivation for working on seer is to understand what such a prover might...

> With a few annotations sprinkled in, an automated prover should have no trouble checking whether those invariants hold. Would mind annotating the existing codebase with these assertions, even if...

> My fannkuch_redux SIMD implementation was thrown out (to avoid a SIMD arms race on that benchmark). Are there any details on this?

Perhaps there should be a comparison for Rust Analyzer vs the existing solution? If so, what would that table look like?

IMHO, it's a mistake that upsert wasn't included in CouchDB from the start! CouchDB and friends are essentially denormalized datastores and are often used to serve data produced from more...