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'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?
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 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
> 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?
This is wild, I had no idea Lean could be used for things like this.
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!