@misc{hastings2020personal, title={A Personal History of the Hastings-Michalakis Proof of Hall Conductance Quantization}, author={M. B. Hastings}, year={2020}, eprint={2009.01645}, archivePrefix={arXiv}, primaryClass={physics.hist-ph}, url={https://arxiv.org/abs/2009.01645} }