To be fair, I don't think anyone is claiming that the process is anywhere close to formal. The word "vibe" implies anything except formality.

What Perlis probably meant that formal methods are useless unless you already have a formal specification. The formalization process itself is by necessity informal.