{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiaj5i2h6ojpostts2sisudzq7tyaeny4qxfjp6cpzvpx4oz2ky3aq",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mgnxzeacihn2"
  },
  "path": "/t/haskell-vibes-jappie/13772#post_19",
  "publishedAt": "2026-03-09T17:33:24.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Ambrose:\n\n> The article does address this - the Haskell that the AI slops together is way easier to verify than the JS it can make. Due to Haskell. Specifically due to Haskell’s rigorous underpinnings.\n\nI think it’s not a particularly strong argument. Curry Howard only works if you at least understand the proposition you’re trying to prove. Not withstanding that the propositions you’re talking about when your project is entirely vibecoded are neither reviewed nor particularly meaningful.",
  "title": "Haskell 💜 Vibes / Jappie"
}