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

Soufflé, Bottom-up Evaluation, Recursive Queries, Graph Analysis

The Semantic Synergy: How Knowledge Graphs and LLMs are Reshaping the Future of the Web
dev.to·4h·
Discuss: DEV
📊Graph Databases
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·13h·
Discuss: Hacker News
🔢Denotational Semantics
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.com·15h·
Discuss: r/compsci, r/programming
🗄️Database Internals
Tractable Graph Structures in EFX Orientation
arxiv.org·1d
🔄Graph Rewriting
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
10 Must-Know Python Libraries for MLOps in 2025
machinelearningmastery.com·20h
🔄Archive Workflows
Will long context windows solve all your problems?
frontierai.substack.com·12h·
Discuss: Substack
💻Local LLMs
In-Memory C++ Leap in Blockchain Analysis
caudena.com·1d·
Discuss: Hacker News
🌊Stream Processing
Unlocking the AI Black Box: The Power of Time-Series Databases for Observability
dev.to·2h·
Discuss: DEV
👁️System Observability
A Multi-Agent SQL Assistant You Can Trust with Human-in-Loop Checkpoint & LLM Cost Control
towardsdatascience.com·1d
🔗Constraint Handling
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification
An Empirical Study of Bugs in Data Visualization Libraries
arxiv.org·1d
🦴Binary Paleontology
Show HN: Searching 1B embeddings from disk in 15 ms on a single machine
blog.wilsonl.in·2d·
Discuss: Hacker News
🗂️Vector Databases
Go vs. Python for Modern Data Workflows: Need Help Deciding?
kdnuggets.com·16h
🌊Stream Processing
cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
arxiv.org·1d
📝Compiler Design
Show HN: DeepThink Plugin – Bring Gemini 2.5's parallel reasoning to open models
news.ycombinator.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Praxos: Kernel for AI Agents
praxos.ai·1d·
Discuss: Hacker News
⚙️TLA+
CALM: Contextual Analog Logic with Multimodality
arxiv.org·1d
🎙️Whisper
rgSQL: A test suite to help you build your own database engine
technicaldeft.com·3d·
Discuss: Lobsters, Hacker News
📝Database WAL
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·15h·
Discuss: Hacker News
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap