[math-fun] NAS 2018: QC: Progress and Prospects