> 102. One can't proceed from the informal to the formal by formal means.

Seems to be a strike against LLM-based programming systems like Claude.

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.