Abstract
We know little about DNS as a subset of the neutron star population in general. The formation channel hypothesized to produce the systems that were known (Fig. 2, left [3]) has a massive giant and another Main Sequence companion in a stable mass transfer process that brings the system into a common envelope after the more massive one explodes as a supernova and forms the first neutron sta…