> I'm an agentic engineer with an emphasis in software engineering
This is odd. You wouldn't consider yourself a software engineer with an emphasis in...agentic engineering, or something like that? What is your background?
I think this is very interesting, but what are you specifying when you build a website?
I feel like this is the new "test driven development", which is totally a good idea, but also not totally useful for the actual process of building web apps, where most of your failure modes are weird CSS, JS, or server issues.
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!
> I'm an agentic engineer with an emphasis in software engineering
This is odd. You wouldn't consider yourself a software engineer with an emphasis in...agentic engineering, or something like that? What is your background?
I think this is very interesting, but what are you specifying when you build a website?
I feel like this is the new "test driven development", which is totally a good idea, but also not totally useful for the actual process of building web apps, where most of your failure modes are weird CSS, JS, or server issues.
I would be happy to be proven wrong though
Interesting! Would've loved to see more frontend proofs, for example you have proofs about behavior but none on layout or design.
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!
This is wild, I had no idea Lean could be used for things like this.
[dead]