> which parts of K's implementation makes it so fast?

the missing bullshit parts :)

also simplicity and good memory access patterns

> vector instructions

if you write simple loops in c, compilers are good at generating those

> Does the K interpreter pattern-recognize

afaik some, like *| but fewer than dyalog