I'm currently on leave from university and work at MIRI. Open to arguments on whether I should graduate; if someone has a good argument and wants more size I can add more liquidity.