Faster KNN search in Manticore: 2-pass HNSW, batched distances, and AVX-512 (opens in new tab)

Three optimizations that speed up HNSW vector search by up to 29%: restructured graph traversal for better cache utilization, batched distance computations, and AVX-512 support.