HN Explorer

mechtaev

↗ HN profile [ 31.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation (github.com)
    2 points 0
  2. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points 0
  3. AutoCodeRover: Autonomous Program Improvement (github.com)
    96 points 62
  4. Show HN: Modus, a Datalog dialect for building Docker/OCI container images (modus-continens.com)
    9 points 1