🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·11h
📋Document Grammar
Show HN: Semlib – Semantic Data Processing
github.com·2h·
Discuss: Hacker News
🌳Incremental Parsing
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·3h
🤖Grammar Induction
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·7h
🔗Topological Sorting
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·3h
🧠Machine Learning
SQL Database Concepts:
dev.to·6h·
Discuss: DEV
💾Database Formats
Planarizing matchings
11011110.github.io·21h
🎨Graph Coloring
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·18h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
In response to a developer asking about systems
notes.eatonphil.com·15h·
Discuss: Hacker News
🔩Systems Programming
Enhancing Semantic Data Retrieval via Multi-Modal Graph Parsing and Recursive HyperScore Optimization
dev.to·1d·
Discuss: DEV
🔍Semantic Search
Semantic Dictionary Encoding
falvotech.com·1h·
Discuss: Hacker News
🌀Brotli Dictionary
The Rise of Semantic Entity Resolution
towardsdatascience.com·23h
📄Semantic Chunking
The Data Backbone of LLM Systems
infoq.com·3d·
Discuss: Lobsters
🔗Constraint Handling
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📋Document Grammar
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·11h
🔢Denotational Semantics
From SQL to Python: Uniting Stored Power with Functional Flexibility
dev.to·3d·
Discuss: DEV
🗄️Database Internals
Lessons from using AI in Discovery
thoughtbot.com·15h
🕵️Metadata Mining
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·11h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Designing Scalable Data Architectures for AI
dev.to·7h·
Discuss: DEV
🌊Stream Processing
SciML Agents: Write the Solver, Not the Solution
arxiv.org·11h
🧮SMT Solvers