sayzard6d ago

Show HN: AnamDB – An AI-native, differentiable Datalog engine written in Rust

AnamDB는 Rust로 작성된 AI 네이티브 미분 가능 Datalog 엔진으로, AI 및 ML 시스템에서 논리 프로그래밍과 미분 가능 연산을 결합해 새로운 데이터 처리 및 추론 방식을 제공한다. Rust 기반으로 높은 성능과 안전성을 목표로 하며, AI 모델과의 통합에 적합한 차별화된 기능을 갖추고 있다. AI 개발자들이 복잡한 논리 쿼리와 미분 가능 연산을 효율적으로 수행할 수 있도록 지원한다.

https://github.com/jam5991/anam

#rust #datalog #differentiable #ainative #database

burakemirMay 4

#Mangle #Datalog news: mangle-rs has python bindings now. Get them on https://pypi.org/project/mangle-py/

Let me know if there are any problems or you have suggestions for the API.

As a reminder: Mangle is a datalog based language, with a go and a Rust implementation. The Rust one can also conveniently used in the browser, via WASM.

The time to use datalog from your code is *now*, no excuses 😉

mangle-py

Python bindings for Mangle, a Datalog-style logic language. Import as `import mangle`.

PyPI
Hacker NewsApr 26

Optimizing Datalog for the GPU

https://dl.acm.org/doi/10.1145/3669940.3707274

#HackerNews #Optimizing #Datalog #for #the #GPU #GPU #Computing #Datalog #Optimization #Tech #News #ACM #Research

Optimizing Datalog for the GPU | Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1

ACM Conferences
Hacker NewsApr 23

Optimizing Datalog for the GPU

https://dl.acm.org/doi/10.1145/3669940.3707274

#HackerNews #Tech #Datalog

Optimizing Datalog for the GPU | Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1

ACM Conferences
GripNewsApr 24
🌘 CSS 作為查詢語言
➤ 從樣式表到邏輯推理：CSS 能否承擔程式語言的角色？
✤ https://evdc.me/blog/css-query
本文探討將 CSS 視為一種「查詢語言」甚至通用程式語言的可能性。作者指出 CSS 的基本運作方式即是對 HTML 元素（即「事物」）進行分組與選取，並透過規則賦予屬性。然而，現行 CSS 在處理複雜的遞迴邏輯（如跨層級的繼承狀態管理）時顯得力不從心。文章引入了名為「CSSLog」的概念，結合了 Datalog 的邏輯規則，允許 CSS 進行狀態傳遞與遞迴計算。透過將 CSS 規則轉化為類似資料庫查詢的邏輯斷言，開發者能更優雅地處理巢狀結構中的樣式判斷，雖看似瘋狂，卻為網頁樣式管理提供了全新的邏輯視角。
+ 這想法很有趣！雖然現階段在生產環境使用會導致維修災難，但如果未來有類似的邏輯引擎，或許能大幅簡化元件系統的複雜度。
+ 哈哈，這簡直是把 CSS 變成了一個自動化邏輯機。不過想到瀏覽器的渲染效能，我還是會冒冷汗。
#程式設計 #CSS #Datalog #網頁開發
CSS As A Query Language · evdc.me

burakemirApr 16
Try #Mangle #Datalog in the browser (client only, Rust, wasm) https://mangle.tauceti.ch
Mangle Playground

Felix 🇺🇦🚴‍♂️🇪🇺Mar 27
Have I ever mentioned that I think #triplestores, especially ones that use a #datalog query language. are absolutely brilliant? It’s strange that they aren’t more widely used. #clojure #RDF #edn #lisp #databases
Artyom BologovFeb 25
This is a good #Datalog tutorial I needed: https://dbai.tuwien.ac.at/proj/dlv/tutorial/
The DLV Tutorial

HabrFeb 24

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

Я реализовал Graph RAG систему, которая комбинирует 5 техник из свежих научных статей (KET-RAG, HippoRAG 2, VectorCypher) в единый пайплайн с декларативным Datalog reasoning-движком, полной провенансной трассировкой и типизированным API. Результат: 174/180 (96.7%) на билингвальном бенчмарке из 30 вопросов, оценённых в 6 режимах retrieval. Три режима достигли 100%. В статье — архитектура, 10 уроков оптимизации и эволюция от 38% до 96.7% за 10 итераций.

https://habr.com/ru/articles/1003064/

#GraphRAG #RAG #Neo4j #NLP #LLM #Python #Datalog #Knowledge_Graph #embeddings #PageRank

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

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

Хабр
Artyom BologovFeb 23
Why does no one use #Datalog as a database language? It’s so much simpler than #SQL and much easier to write. I mean, I already know the answer—AI winter, unconventional computation model, and combinatorial explosions in complex queries—but it still feels unfair for such an elegant technology to just go to waste.