Next up: AI programs that the analyze kernel code and report on constructs that probably don't work the way we think they do.