Studying dark matter with pulsar timing, stellar streams and strong lensing