13:38:24 <jojobi> Hey! I'm building a new programming platform and want to add a Monero miner to it