From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging — HN submission

Wed, 20 Nov 2024 14:59:57 GMT

Ask HN: LLM Performance on ADA and Haskell

I've been wondering for a while if LLMs perform better on languages that are more restrictive than Python out-of-the-box. Is anyone using Claude, GPT, Cursor, Aider etc for ADA or functional languages and do they create less errors than code generated in Python, even if it's subjective? The question is a little inspired by this paper: https://arxiv.org/pdf/2410.01215 FROM CODE TO CORRECTNESS: CLOSING THE LAST MILE OF CODE GENERATION WITH HIERARCHICAL DEBUGGING. Sometimes LLMs are fantastic and sometimes it feels like a battle to get simple things done or pick up where I left off. I think I'm…

1 point; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging · HackerPapers discussions

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging — HN submission