Post in Rigor and Reproducibility sessions at ABRF