Hackernews posts about Datalog

Datalog is an embedded graph database that allows developers to store and query complex relationships between data entities using a SQL-like syntax.

1. Datalog-Based Binary Equivalence (github.com)
   14 points by xupybd 21 days ago | discuss
2. Liveness Analysis with Datalog (bernsteinbear.com)
   4 points by todsacerdoti 16 days ago | discuss
3. Compositional Datalog on SQL: Relational Algebra of the Environment (www.philipzucker.com)
   3 points by Bogdanp 4 days ago | discuss
4. Compositional Datalog on SQL: Relational Algebra of the Environment (www.philipzucker.com)
   2 points by philzook 3 days ago | discuss
5. Poor Man's Datadog: Discord (f.dvsj.in)
   4 points by ctxc 26 days ago | discuss
6. Datadog – Evolving our real-time timeseries storage (www.datadoghq.com)
   2 points by rmoff 10 days ago | discuss
7. Launching DataLoom – A RevOps layer for early stage startups
   1 points by mechXsteam 3 days ago | discuss
8. Google Drive Int, Python 3.11 in Conda Envs, SEC Improvements in Datalore 2025.4 (blog.jetbrains.com)
   1 points by unripe_syntax 8 days ago | discuss
9. Show HN: MCPcat – A free open-source library for MCP server monitoring (github.com)
   14 points by kashishhora 1 day ago | 3 comments
10. Show HN: Generate Fine-tunning dataset using deep research in terminal (github.com)
    6 points by FineTuner42 23 days ago | discuss
11. BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-Scale Pretraining (blog.datologyai.com)
    3 points by hurrycane 12 days ago | discuss
12. Show HN: Wrote a small tool that turns PDFs and docs into fine-tuning datasets (github.com)
    1 points by FineTuner42 16 days ago | 1 comments
13. Free day of SRE, AI and observability workshops in SF (events.datadoghq.com)
    1 points by psmarp 4 days ago | discuss
14. Enumerating AWS the quiet way: CloudTrail-free discovery with Resource Explorer (securitylabs.datadoghq.com)
    1 points by DigitalDataDude 11 days ago | discuss
15. BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-Scale Pretraining (blog.datologyai.com)
    1 points by hurrycane 11 days ago | discuss
16. Ask HN: How to teach a 4 year old to code?
    5 points by kamphey 1 day ago | 12 comments
17. Datalog in Rust (github.com)
    326 points by brson 3 months ago | 42 comments
18. Learn Datalog Today (www.learndatalogtoday.org)
    191 points by tosh over 1 year ago | 52 comments
19. Datalog in miniKanren (deosjr.github.io)
    134 points by deosjr 3 months ago | 17 comments
20. From Datalog to SVG (inconvergent.net)
    103 points by grzm about 1 year ago | 2 comments
21. An Overview of Datalog (2010) (clojure.github.io)
    93 points by teleforce about 1 year ago | 23 comments
22. Find Legal Moves in Brass Birmingham with Datalog (blog.pzakrzewski.com)
    62 points by gieksosz almost 2 years ago | 25 comments
23. Datalog in 100 lines of JavaScript (2022) (www.instantdb.com)
    59 points by stopachka over 1 year ago | 22 comments
24. Ask HN: Who's writing recursive queries / Datalog?
    8 points by remywang over 1 year ago | 1 comments
25. Fast Analytics and Graph Traversals with Datalog (github.com)
    7 points by athanassios almost 2 years ago | 4 comments
26. From Datalog to SVG (inconvergent.net)
    5 points by grzm almost 2 years ago | 1 comments
27. Datalog in Rust (github.com)
    5 points by Bogdanp 3 months ago | discuss
28. Writing the Worst Datalog Ever in 26loc (buttondown.com)
    4 points by mpweiher 11 months ago | discuss
29. bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf] (people.csail.mit.edu)
    4 points by fanf2 about 1 year ago | discuss
30. Datalog, Chain-Forward Computation, and Relational Algebra (kmicinski.com)
    4 points by PaulHoule over 1 year ago | discuss
31. A Differential Datalog Interpreter (www.mdpi.com)
    3 points by MLIR almost 2 years ago | 3 comments
32. Superposition as a Super Datalog (www.philipzucker.com)
    3 points by iamwil 9 months ago | discuss
33. Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf] (people.csail.mit.edu)
    3 points by fanf2 about 1 year ago | discuss
34. Modern Deduction: Datalog, Chain-Forward Computation, and Relational Algebra (kmicinski.com)
    3 points by azhenley over 1 year ago | discuss
35. Datascript: Immutable database and Datalog query engine (github.com)
    3 points by tosh over 1 year ago | discuss
36. Datalog with First-Class Facts [pdf] (www.vldb.org)
    2 points by mpweiher 5 months ago | discuss
37. Making a Datalog Engine in Clojure (shagunagrawal.me)
    2 points by todsacerdoti 6 months ago | discuss
38. Graph Data Structure with Datalog QL (2022) (inconvergent.net)
    2 points by surprisetalk 8 months ago | discuss
39. Simply Typed Lambda Calculus in Datalog (hg.sr.ht)
    2 points by todsacerdoti about 1 year ago | discuss
40. Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra (kmicinski.com)
    2 points by matt_d over 1 year ago | discuss
41. Transactional, relational-graph-vector database that uses Datalog for query (github.com)
    2 points by alex_hirner over 1 year ago | discuss
42. Datomic Datalog (2012) [video] (www.youtube.com)
    2 points by tosh over 1 year ago | discuss
43. Datalevin: A simple, fast and versatile Datalog database (github.com)
    2 points by tosh over 1 year ago | discuss
44. CozoDB: Hippocampus for AI, with Embedded Datalog (www.cozodb.org)
    2 points by nikolay over 1 year ago | discuss
45. Datafun: A Purely, Total Functional Datalog (github.com)
    2 points by anonzzzies over 1 year ago | discuss
46. Control Flow for Datalog (www.mbid.me)
    2 points by todsacerdoti almost 2 years ago | discuss