I was thinking recently about Dijkstra's position on proving the correctness of your programs, and how by his standards, we've all been going by vibes long before AI.