Oh boy! My favorite thing about vibe coding is when agents write tests that assert whether certain strings exist in the codebase. Now we can formally verify that they do!
Oh boy! My favorite thing about vibe coding is when agents write tests that assert whether certain strings exist in the codebase. Now we can formally verify that they do!
same! i noticed this a while ago and can't stop seeing it everywhere - https://github.com/legluondunet/SpiderMan2k1Fix/blob/7c6e032...