MariaDB to go public at $672M valuation | Hacker News Reader