📊 Datalog

Logic Programming, Query Languages, Graph Algorithms, Analysis

Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.net·10h
💬Prompt Engineering
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·1d·
Discuss: Hacker News
🎴TAO
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·2h·
Discuss: DEV
🎨Design Systems
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
λFunctional Programming
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·12h·
Discuss: Hacker News
📱Edge AI
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🧮SMT Solvers
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·20h·
Discuss: Hacker News
🚀Performance
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·22h·
Discuss: Hacker News
🎴TAO
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·22h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·6h·
Discuss: Hacker News
🔍RAG
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·7h·
Discuss: Hacker News
💰TigerBeetle
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·10h
🌳Tree-sitter
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·10h
💫Effect Systems
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·2d·
Discuss: DEV
🔍Query Optimization
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·10h
🌳Tree-sitter
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·19h·
Discuss: DEV
🔥DataFusion
Flag this post