🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·22h
💻Local LLMs
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
ORMs: The Good, The Bad, and The Ugly Performance
dev.to·1d·
Discuss: DEV
🗄️Database Internals
A Complete Guide to Retrieval-Augmented Generation
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Build an intelligent multi-agent business expert using Amazon Bedrock
aws.amazon.com·9h
🌊Streaming Systems
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·7h·
Discuss: DEV
📋DFDL
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·1d
🧮Prolog Parsing
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·22h
🔗Topological Sorting
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs
arxiv.org·1d
💻Local LLMs
An All-Around Better Horse
patrickhebron.com·8h·
Discuss: Hacker News
🧠Knowledge Management
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver