Rendered at 08:39:44 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
alexhixon 8 minutes ago [-]
Interesting! Would've loved to see more frontend proofs, for example you have proofs about behavior but none on layout or design.
orsorna 3 hours ago [-]
> 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?
sroerick 2 hours ago [-]
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
anonymous908213 3 hours ago [-]
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!
treyd 4 hours ago [-]
This is wild, I had no idea Lean could be used for things like this.
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 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