M mariadb.com MariaDB to go public at $672M valuation 362 points ashvardanian 4 years ago 220 comments