mechtaev
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Re:AutoCodeRover resolves 22% of real-world GitHub issues in SWE-bench...
on Tuesday April 09, 2024 @06:56AM (#39978109)
AutoCodeRover resolves 22% of real-world GitHub issues in SWE-bench lite
Re:Soufflé: A Datalog Synthesis Tool for Static Analysis
on Wednesday November 30, 2022 @05:45PM (#33809057)
Souffle Datalog is used for defining program analyses in such projects like Doop [1] for Java and cclyzer++ [2] for LLVM.
GitHub's CodeQL [3] is another Datalog dialect used for detecting bugs and vulnerabilities.
Datomic [4] is a database that uses Datalog as the query language.
[1] https://bitbucket.org/yanniss/doop/src/master/
[2] https://github.com/GaloisInc/cclyzerpp
Re:Modus: A language for building Docker/OCI container images
on Wednesday August 03, 2022 @08:24PM (#32337978)
Disclaimer: I am a co-author of Modus.
Modus is not really an alternative to Nix as a package manager, but to Nix as a language. It has several advantages, for example, it is non-Turing-complete, so there can not be infinite loops, and its definitions are more concise thanks to its logic programming foundations.
Saying that, I agree that an integration with package managers can be beneficial for reproducibility. This is the area of our current research.
Re:Non-Obvious Docker Uses
on Sunday July 24, 2022 @05:39PM (#32218023)
Apart from caching, BuildKit also provides automatic parallelization. Because of these two features, we use BuildKit to make our research results, experiments with program analysis tools on software benchmarks, easier to share and faster to execute.
As a more expressive frontend of BuildKit, we created a simple, non-Turing-complete logic programming language, which can also be thought of as docker-based Makefile.
Re:Show HN: Modus, a Datalog dialect for building Docker/OCI container...
on Tuesday April 12, 2022 @12:55PM (#31005230)
Hey HN, we are happy to announce Modus, a language for building Docker/OCI container images. Modus uses logic programming to express interactions among build parameters, specify complex build workflows, automatically parallelise and cache builds, help to reduce image size, and simplify maintenance. Modus is distributed under AGPL-3.0. The current version, 0.1, is a preview release; it is not recommended for production use. Feedback is welcome!
Show HN: Modus, a Datalog dialect for building Docker/OCI container images
Re:I want a better shell (2019)
on Friday September 10, 2021 @09:06PM (#28488561)
fzf can partially solve this, as shown in this blog post: https://nickjanetakis.com/blog/fuzzy-search-your-bash-histor...
Re:Introduction To Program Synthesis (2018)
on Saturday August 07, 2021 @06:36PM (#28102504)
SyGuS competition (SyGuS-Comp)[1] is a widely-used collection of such problems, but of course there will always be problem domains that are not well-represented by standard benchmarks.