Y
Hacker News
new
|
ask
|
show
|
jobs
user:
mechtaev
created:
2014-01-03
karma:
54
mechtaev.com - software engineering researcher.
submissions:
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
2 points
|
0 comments
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
6 points
|
0 comments
0 points
|
0 comments
AutoCodeRover: Autonomous Program Improvement
96 points
|
60 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Show HN: Modus, a Datalog dialect for building Docker/OCI container images
9 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments