mechtaev
Joined 13 years ago
Karma
55
Submissions
12
Member since
Jan 3
mechtaev.com - software engineering researcher.
View on Hacker NewsRecent submissions
Comment · 2 years ago
Comment · 3 years ago
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
Comment · 4 years ago
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.
Comment · 4 years ago
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.
Comment · 4 years ago
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!
Comment · 5 years ago
fzf can partially solve this, as shown in this blog post: https://nickjanetakis.com/blog/fuzzy-search-your-bash-histor...
Comment · 5 years ago
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.