The Informal Blog - Q1 2020 Technical Progress Update