MariaDB Raises $9M More, Michael Howard Named New CEO, Monty Widenius CTO | Hacker News Reader