It is interesting though that if it's all the same anyway - why not write formal...

		siliconc0w 1 day ago \| parent \| context \| favorite \| on: If you're going to vibe code, why not do it in C? It is interesting though that if it's all the same anyway - why not write formally proved software. Or write the same spec in three different languages to cross check correctness.