🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Datalog Systems

Soufflé, Bottom-up Evaluation, Graph Queries, Logic Programming

ComoRAG: A Cognitive-Inspired Memory-Organized RAG for Stateful Long Narrative Reasoning
arxiv.org·12h
🧮Prolog Parsing
Liveness analysis with Datalog
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Understanding Databases: A Comprehensive Guide to Types and Use Cases
dev.to·5h·
Discuss: DEV
🗄️Database Internals
Writing an LLM from scratch - Tutorial series
gilesthomas.com·1d
💻Local LLMs
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·17h
🕸️Neo4j
Typechecker Zoo
stephendiehl.com·15h
🔍Type Inference
Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·16h·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
Automated Knowledge Graph Validation via Multi-Modal Deep Reasoning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·49m
🔗Concatenative Programming
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.com·9h
📏Code Metrics
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·12h
🕸️Algebraic Topology
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·3d
📏Linear Logic
Introducing Gemma 3 270M: The compact model for hyper-efficient AI
simonwillison.net·23h
🌀Brotli Internals
Multiple Reachability in Linear Dynamical Systems
arxiv.org·12h
🔄Finite State Machines
The Surprisal Calculator WM±7
surprisal.onrender.com·20h·
Discuss: Hacker News
📟Terminal Typography
Say No to Venn Diagrams When Explaining JOINs (2016)
blog.jooq.org·2d·
Discuss: Hacker News
🧮Datalog
DuckDB in 100 Seconds
youtube.com·22h
🧮Datalog
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·12h
📋Document Grammar
Graphs Are Programs
gdotv.com·23h·
Discuss: Hacker News
🕸️Neo4j
Creating AI agent solutions for warehouse data access and security
engineering.fb.com·1d
🔐Capability Systems
Loading...Loading more...
AboutBlogChangelogRoadmap