Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Datalog Systems
Soufflé, Bottom-up Evaluation, Graph Queries, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19456
posts in
195.2
ms
OrLog
:
Resolving
Complex Queries with LLMs and Probabilistic Reasoning
arxiv.org
·
2d
🧮
Datalog
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
1h
⚙️
Proof Engineering
Optimizing Slow Database
Queries
with Python on a Zero-Budget: A Security
Researcher
’s Approach
dev.to
·
3h
·
Discuss:
DEV
🚀
Query Optimization
A vector logic for
intensional
formal
semantics
arxiv.org
·
10h
🔢
Denotational Semantics
Differential
Logic •
Overview
inquiryintoinquiry.com
·
1d
📏
Linear Logic
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
👑
Isabelle
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
5h
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
How AWS Vector
Databases
Empower
Semantic Search and AI Applications
dev.to
·
9h
·
Discuss:
DEV
🗂️
Vector Search
Introducing the
SpiceDB
Query
Planner
authzed.com
·
2d
·
Discuss:
Hacker News
🧠
Query Planners
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
3h
🔗
Constraint Handling
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
1d
·
Discuss:
Hacker News
🧮
Datalog
Iceberg
Views in
AIStor
Tables
blog.min.io
·
1d
🏺
Database Archaeology
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
Managing Agent Context Using
Summarization
Middleware
Agent
hackernoon.com
·
2d
📄
Text Chunking
Data Agent Ready Database:
Designing
the Next-Gen Enterprise Data
Warehouse
databend.com
·
12h
·
Discuss:
Hacker News
🗄️
Database Internals
7 Advanced Feature Engineering
Tricks
Using LLM
Embeddings
machinelearningmastery.com
·
1d
🧮
Vector Embeddings
Show HN: Research tool that turns one question into a
branching
discovery
tree
mindbloom.so
·
19h
·
Discuss:
Hacker News
📊
Citation Graphs
Beyond Giant Models: Why AI
Orchestration
Is the New
Architecture
kdnuggets.com
·
22h
⚙️
TLA+
liliang-cn/sqvect
: SQLite for Vectors - Simple, fast, embeddable vector storage for Go LLM applications.
github.com
·
9h
·
Discuss:
Hacker News
🗂️
Vector Databases
The Architecture of Open Source Applications (Volume 1)
Berkeley
DB
aosabook.org
·
1d
·
Discuss:
Hacker News
📦
CBOR Extensions
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help