Hacker News
- Systematic, Ontological, Undiscovered Fact Finding Logic Engine https://souffle-lang.github.io/ 7 comments
- Soufflé: A Datalog Synthesis Tool for Static Analysis https://souffle-lang.github.io/index.html 21 comments
- A Specialized B-Tree for Concurrent Datalog Evaluation https://souffle-lang.github.io/news/2019/02/20/ppopp19-paper/ 4 comments
Lobsters
- Soufflé: A Datalog Synthesis Tool for Static Analysis https://souffle-lang.github.io/docs.html 7 comments compilers , math
Linking pages
- cclyzer++: Scalable and Precise Pointer Analysis for LLVM - Galois, Inc. https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/ 4 comments
- Toward a Best-of-Both-Worlds Binary Disassembler | Trail of Bits Blog https://blog.trailofbits.com/2022/01/05/toward-a-best-of-both-worlds-binary-disassembler/ 4 comments
- GitHub - GrammaTech/ddisasm: A fast and accurate disassembler https://github.com/GrammaTech/ddisasm 4 comments
- GitHub - nevillegrech/gigahorse-toolchain: A binary lifter and analysis framework for Ethereum smart contracts https://github.com/nevillegrech/gigahorse-toolchain 1 comment
- GitHub - ekzhang/crepe: Datalog compiler embedded in Rust as a procedural macro https://github.com/ekzhang/crepe/ 0 comments
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts | the morning paper https://blog.acolyer.org/2018/12/10/madmax-surviving-out-of-gas-conditions-in-ethereum-smart-contracts/ 0 comments
- Hashlog: A Simple Datalog in OCaml | Hey There Buddo! https://www.philipzucker.com/hashlog-1/ 0 comments
- Securify: practical security analysis of smart contracts | the morning paper https://blog.acolyer.org/2018/12/03/securify-practical-security-analysis-of-smart-contracts/ 0 comments
- Answer set programming (ASP) is the powerhouse technology you’ve never heard of | weaselhat http://www.weaselhat.com/2022/11/07/asp/ 0 comments
- GitHub - luc-tielen/eclair-lang: A minimal, fast Datalog implementation in Haskell that compiles to LLVM https://github.com/luc-tielen/eclair-lang 0 comments
- MiniLitelog: Easy Breezy SQLite Datalog | Hey There Buddo! https://www.philipzucker.com/tiny-sqlite-datalog/ 0 comments
- Analysing Go code with Souffle https://blog.pzakrzewski.com/analysing-go-code-with-souffle 0 comments
- What would you do with that old GPU? | Trail of Bits Blog https://blog.trailofbits.com/2024/09/05/what-would-you-do-with-that-old-gpu/ 0 comments