7 comments

  • alexhixon 56 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 4 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?

    • trallnag 34 minutes ago
      Looks more streamlined on the CV when agentic engineers pivot to an emphasis im plumbing, roofing, etc. once software is solved
  • sroerick 3 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 4 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.
  • gebortme 2 hours ago
    [flagged]
  • poly2it 16 minutes ago
    [dead]