{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreied7uomencykm4jat3avzhhflajeu5lc5qoxx5bvo265fpkkinbiy",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mgmwgp7xrct2"
  },
  "path": "/t/haskell-vibes-jappie/13772#post_11",
  "publishedAt": "2026-03-09T12:52:58.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "> make production code bases their byte code\n\nI wish to point out that compiling to byte code is usually a deterministic process and not a long time ago, people employed a lot of effort to figure out how to formally verify that the bytecode matches the semantics of the code written.\n\nComparing LLMs which are machines whose performance is measured on how plausible their generated text is to humans to this is, frankly, ludicrous.\n\nLetting a plausibility based text generator – because essentially, this is what it is – the industry gave up on the AGI promise and is now just putting in more tokens – brute force their way towards passing tests is only sustainable for as long as you have a rigid test framework – is this what our job is going to look like? Writing test cases? I thought it was universally agreed that this was neither the fun nor the fast bit of the software development process? Also, after everybody has been deskilled to not understand the code they’re vouching for with their name, who provides new training data? Who is going to be able to review whether code is actually correct? It’s remarkable how fast well-established “principles” are going out of the window as soon as someone waves with enough VC-money – and also, coming back to Haskell, how in a community that talks so much about “beautiful code” or the craft of writing a nice program, so many people immediately stopped talking about these aspects. I ask you, can you justify writing Haskell at all? Why would you not write Javascript? LLMs write it faster and better, it doesn’t matter how many abstractions we are missing, it’s all `foldr` anyway!\n\nI would also like to point out that it is a bit sad to me that the culture around these things is so hopelessly utilitarian – people start their posts about how they replaced their development process with a slot machine modeled after literal slavery with “ethical concerns aside” – or even worse, don’t even consider these anymore (as in the above post – it’s “just vibes”, yes, _your_ vibes) – is this really the aspiration we have towards our morality as a community of (human(e?)) developers?",
  "title": "Haskell 💜 Vibes / Jappie"
}