Hacker News new | past | comments | ask | show | jobs | submit | from login

Systematic, Ontological, Undiscovered Fact Finding Logic Engine (souffle-lang.github.io) 57 points by xrayarx on Dec 11, 2022 | past | 7 comments Soufflé: A Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) 84 points by nickmain on Nov 30, 2022 | past | 21 comments Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) 2 points by codewithcheese on Nov 8, 2022 | past Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) 1 point by nickmain on June 30, 2022 | past Soufflé, a logic programming language inspired by Datalog (souffle-lang.github.io) 4 points by tosh on June 5, 2021 | past A Specialized B-Tree for Concurrent Datalog Evaluation (souffle-lang.github.io) 174 points by matt_d on April 15, 2019 | past | 4 comments

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: