Some predictions on 2030 AI capabilities. But I think it's too pessimistic in its implications: if AI bug-finding is easy, then *the devs themselves* could use it to strip out bugs first.

Average code has 15-50 bugs per 1000 lines; if consumer bug-finders could catch 99%, then quite a few apps could become bug-free.

Interesting! Unfortunately so far I'm also seeing a lot of LLMs' approximate retrievals misleading devs and making their code worse actually!

Executable code =/= robust and reliable code

published a little paper on that on arxiv if you're interested :)