#datalog

@llms.activitypub.awakari.com.ap.brid.gy

2 weeks ago

Как я построил Graph RAG систему с точностью 96.7% за 5 дней: от научных статей до production-ready пайплайна Skeleton Indexing (KDD 2025) + HippoRAG 2 (ICML 2025) + VectorCypher + Datalog Reasoning + 10 итераций оптимизации TL;DR Я реализовал Graph RAG систему, которая комбинирует 5 техник из свежих научных...

Как я построил Graph RAG систему с точностью 96.7% за 5 дней: от научных статей до production-ready пайплайна Я реализовал Gr...

#GraphRAG #RAG #Neo4j #NLP #LLM #Python #Datalog #Knowledge #Graph #embeddings #PageRank

Origin | Interest | Match

0 0 0 0

@qdrddr.bsky.social

2 months ago

HyperMind is a #SymbolicAI reasoning stack & #agents with #KnowledgeGraph & build-in #RDF GraphDB. Transforms questions into verified, traceable answers.

#SPARQL 1.1, #Datalog rules, #OWL2 inference, GraphFrame analytics, & motif detection—unified interface.
#AI #OpenSource
Link in the 💬👇

3 0 1 0

Dieter Komendera

@kommen.hachyderm.io.ap.brid.gy

3 months ago

Even though I mostly use #Datalog databases these days (mostly #Datomic), many #PostgreSQL tidbits make me (unreasonably?) happy. Like this one: “Aggregate first - join later”

www.cybertec-postgresql.com/en/super-fast-aggregatio...

0 1 0 0

NINE ROUNDS RAPID

@nineroundsrapid.bsky.social

5 months ago

[LOG-8826.TRIAZ//SEC-ARCHIVE_Δ]
#LoreDrop #SciFiStories #DataLog

1 0 0 0

Philip Zucker

@sandmouth.bsky.social

6 months ago

Compositional Datalog on SQL: Relational Algebra of the Environment I spent sone time making Datalogs that translated into SQL. https://www.philipzucker.com/tiny-sqlite-datalog/

[New Blog Post] Compositional Datalog on SQL: Relational Algebra of the Environment #datalog #database #sql www.philipzucker.com/compose_data...

6 1 0 0

Sevoris (he/him)

@sevoris.bsky.social

8 months ago

#CozoDB variant of #datalog is a bit of a brainbuster to get going… then you realize everything it can do and it‘s incredibly liberating.

Goes for datalog in general really. But the way you can express complex derivations of insights so succinctly is just wonderful.

0 0 1 0

cdata

@cdata.earth

8 months ago

This week we assembled a #TUI inspector for #dialogdb data. You can explore the layout of #database indexes, and list the raw facts.

#datalog #p2p

12 1 0 0

Jordan Miller

@lambduhhh.bsky.social

8 months ago

Join the :clojure-camp Discord Server! Learn Clojure with a friendly community and a variety of live events. | 389 members

Excited to host another Clojure.camp "Doing Datomic" Mob Programming session on Thursday (12pm ET, 6pm CEST)
This will be a guided lesson in a shared server with the relevant dev tools installed. Attendees will rotate "driving" to work together through #datalog challenges
discord.gg/r67ATFKC?eve...

1 0 0 0

Rust Bytes

@rustaceans.bsky.social

8 months ago

blog/posts/2025-06-03.md at master · frankmcsherry/blog Some notes on things I find interesting and important. - frankmcsherry/blog

Datalog in Rust: A workshop-inspired project to build an interactive Datalog engine, emphasizing usability & performance. Covers parsing, fact storage, & rule eval with program analysis demos.
#Rust #Datalog #prorgamming #rustlang

github.com/frankmcsherr...

0 0 0 0

Hacker News Companion

@hncompanion.com

9 months ago

Overview: HN thread discusses Datalog & Rust, exploring implementations, use cases, and comparisons with SQL. Highlights ongoing interest, community evolution, and technical challenges in building Datalog systems. #Datalog 1/5

0 0 1 0

José A. Alonso

@jalonso.eurosky.social

10 months ago

Readings shared April 22, 2025 The readings shared in Bluesky on 22 April 2025 are The inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. #Datalog #Logic In between myth and reality: AI for math (a case stu

Readings shared April 22, 2025. jaalonso.github.io/vestigium/po... #CommonLisp #Datalog #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

10 months ago

The Inverse Method is a Good Fit for Datalog Theorem Proving The inverse method on first glance feels like an oddball. But actually it is rather straightforward when viewed from a datalog lens. The inverse method is a bottom up theorem proving method (typically...

The inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. philipzucker.com/inverse_method #Datalog #Logic

5 0 0 0

Philip Zucker

@sandmouth.bsky.social

10 months ago

The Inverse Method is a Good Fit for Datalog Theorem Proving The inverse method on first glance feels like an oddball. But actually it is rather straightforward when viewed from a datalog lens. The inverse method is a bottom up theorem proving method (typically...

[New Blog Post] The Inverse Method is a Good Fit for Datalog Theorem Proving #datalog #logic www.philipzucker.com/inverse_meth...

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

11 months ago

Readings shared February 18, 2025 The readings shared in Bluesky on 18 March 2025 are Lessons learned with the Z3 SAT/SMT solver. ~ John D. Cook. #SMT #Z3 Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii,

Readings shared March 18, 2025. jaalonso.github.io/vestigium/po... #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

11 months ago

Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. acnsci.org/journal/inde... #LogicProgramming #Prolog #ASP #CLP #Datalog

0 1 0 0

Sevoris (he/him)

@sevoris.bsky.social

1 year ago

Has anyone in the wider #Javascript community here messed around with reactive web UIs based on #Datalog or #Datascript queries?

I find myself reading down that rabbit hole again and wonder what experiences some people here might have made with it in terms of patterns of design and ease of use.

3 0 1 0