From Intent to Proof: Dafny Verification for Web Apps | Dark Hacker News