OpenAI Wants to Know if an AI Industry Slowdown Would Even Be Legal48m ago Oracle Posts Cloud Sales That Top Estimates on AI Demand1h ago iPhone 18 Pro Max vs Samsung Galaxy S26 Ultra: How these XL phones compete1h ago AWS open-sources Pizza Bot: email-style inbox for background AI agents1h ago ToolGrad: Efficient tool-use dataset generation with textual "gradients"1h ago CA governor signs 'landmark' laws on youth use of social media and AI chatbots2h ago OpenAI pulls out of Caltech math hackathon after mathematicians issue open letter criticizing AI math 'slop'2h ago OpenAI spent millions to solve this famous math problem — mathematicians are furious2h ago OpenAI asks Congress for mandatory national AI safety rules before it adjourns2h ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas2h ago Meet Redis LangCache: A Managed Semantic Cache That Cuts LLM API Costs by Up to 90% and Returns Cache Hits Up to 15x Faster2h ago Reduce LLM latency with prefix-aware routing on Amazon SageMaker Inference2h ago NVIDIA Details BioNeMo Inference Runtime (BioIR): 2.90x Higher Boltz-2 Folding Throughput and 58.5K Residues per GPU-Hour on 8xH1002h ago Jensen Huang explains why Nvidia will grow an astounding 70% next year2h ago

OpenAI Wants to Know if an AI Industry Slowdown Would Even Be Legal48m ago Oracle Posts Cloud Sales That Top Estimates on AI Demand1h ago iPhone 18 Pro Max vs Samsung Galaxy S26 Ultra: How these XL phones compete1h ago AWS open-sources Pizza Bot: email-style inbox for background AI agents1h ago ToolGrad: Efficient tool-use dataset generation with textual "gradients"1h ago CA governor signs 'landmark' laws on youth use of social media and AI chatbots2h ago OpenAI pulls out of Caltech math hackathon after mathematicians issue open letter criticizing AI math 'slop'2h ago OpenAI spent millions to solve this famous math problem — mathematicians are furious2h ago OpenAI asks Congress for mandatory national AI safety rules before it adjourns2h ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas2h ago Meet Redis LangCache: A Managed Semantic Cache That Cuts LLM API Costs by Up to 90% and Returns Cache Hits Up to 15x Faster2h ago Reduce LLM latency with prefix-aware routing on Amazon SageMaker Inference2h ago NVIDIA Details BioNeMo Inference Runtime (BioIR): 2.90x Higher Boltz-2 Folding Throughput and 58.5K Residues per GPU-Hour on 8xH1002h ago Jensen Huang explains why Nvidia will grow an astounding 70% next year2h ago

Dev AI Research2 min reading time

AI migrated legacy COBOL programs to Java, bugs included

Hacker NewsPublished Aug 3, 2026

Researchers developed the Locksmith Loop, an agentic test-synthesis method to validate COBOL-to-Java migrations by iteratively exploring program branches and mutations, achieving high coverage and parity in tests across multiple case studies. This approach helps detect bugs in AI-migrated legacy code by ensuring functional equivalence between source and target programs.

#cobol #code-migration #java #locksmith-loop #test-synthesis

More in Dev

Introducing the Agents API

Covered by 3 sources1d ago

Dev1 min read

Native is now the future of mobile at Shopify

Simon Willison's Weblog3h ago

Dev5 min read

AWS open-sources Pizza Bot: email-style inbox for background AI agents

The New Stack (AI)1h ago