Pour le bénéfice des autres - pour obtenir pg_vector sur AWS RDS 13.x, j’ai exécuté ce qui suit en tant qu’administrateur dans pgadmin :
CREATE EXTENSION vector;
Pour le bénéfice des autres - pour obtenir pg_vector sur AWS RDS 13.x, j’ai exécuté ce qui suit en tant qu’administrateur dans pgadmin :
CREATE EXTENSION vector;