"A couple of points buried in the talk: defects increase as the code size increases. The increase is greater than linear." I went looking for these points in t

"A couple of points buried in the talk: defects increase as the code size increases. The increase is greater than linear." I went looking for these points in the slides, only because the slides got me in the mood to question my assumptions and try to follow citations back to source material - and it wasn't obvious that the presence of something on a slide meant that it was a known truth. (Example: the slides about Martin Fowler's claims about DSLs and productivity are in the slides as a skull on a pikestaff, not as a verified truth.) After looking, I think you got the first point from slide 15, but I wasn't able to find a slide that mentioned non-linearity. I like the question that you're asking, with regard to Python versus Java. I wonder, though, if that conclusion really rises to the standards of rigor that this presentation appears to advocate. Even if you manage to dig up the right Lutz Prechelt citation, has the effect really been shown to be something that is completely unmitigated by static-provability?