A very meagre attempt to look like they provide open source tools help the world safely make AGI