DON'T VIBE — PROVE

Summary from the TLDR newsletter

This post describes a vibe coding system that uses types as specifications, which forces compilers to reject code until they can produce a valid proof that the output satisfies the specification.