MariaDB innovation: vector index performance (smalldatum.blogspot.com)