FYI: nullc is a long-time username of Gregory Maxwell (here on HN, on Reddit and elsewhere too).