I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper (blog.computationalcomplexity.org)