Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Datalog Engines
Bottom-Up Evaluation, Tabling, Magic Sets, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184449
posts in
9.5
ms
LiTS
: A
Modular
Framework for LLM Tree Search
arxiv.org
·
4h
🔍
ML Language
Incremental,
inconsistency-resilient
reasoning over Description Logic
Abox
streams
arxiv.org
·
4h
📈
Monotonic Logic
Designing
Efficient
Queries
with SQL Joins and Window Functions
dev.to
·
22h
·
Discuss:
DEV
📈
Query Optimization
Agentic
Engineering: Building Without
Writing
dehora.net
·
37m
·
Discuss:
Hacker News
💬
Interactive REPLs
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
1d
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
Tabular
representation
learning
breno.bearblog.dev
·
21h
🎰
Parsing Machines
DUMPLING
: Fine-grained Differential JavaScript Engine
Fuzzing
papers.cool
·
1d
🎲
Parser Fuzzing
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
13h
📋
JSON Parsing
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
varmabudharaju/pgsemantic
: Zero-config semantic search for any PostgreSQL database. pip install
pgsemantic
, three commands, done
github.com
·
15h
·
Discuss:
Hacker News
⚡
Incremental Parsing
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Theorem Provers
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
11h
·
Discuss:
Hacker News
🤐
Zipper Structures
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
7h
·
Discuss:
Hacker News
🏰
Capability Machines
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
📈
Monotonic Logic
Static
taint
analysis for LLM agents
deepclause.substack.com
·
1d
·
Discuss:
Substack
🎲
Parser Fuzzing
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
15h
·
Discuss:
DEV
📚
Suffix Arrays
Architecting
and
Evaluating
an AI-First Search API
research.perplexity.ai
·
12h
🔍
Search Algorithms
Show HN:
Dbcli
– Database
CLI
Built for AI Agents
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
📋
Tablegen
RSCL
: Adaptive meta-learning framework inspired by rough set theory and
continual
learning
sciencedirect.com
·
1d
🪜
Recursive Descent
Differential
Logic
• 15
inquiryintoinquiry.com
·
15h
🧩
Constraint Logic
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