Some directions in derived geometry