Jason comments on Lightcone Infrastructure/​LessWrong is looking for funding