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
🔗 Constraint Handling
CHR, Logic Programming, Rule Systems, Constraint Propagation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28199
posts in
14.2
ms
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
11h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🌳
Context free grammars
Differential
Logic
• 15
inquiryintoinquiry.com
·
41m
⚔️
Lean Theorem
The Semantic Infrastructure Opportunity: Building
Meaningful
Operational
Frameworks
moderndata101.substack.com
·
6h
·
Discuss:
Substack
📇
Dublin Core
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
3d
🧮
Constraint SMT
Zevi
's AI Development
Workflow
shorthaired-billboard-f9a.notion.site
·
20h
⚡
Proof Automation
Decision trees – the
unreasonable
power of
nested
decision rules
mlu-explain.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🧠
Machine Learning
LLM-Assisted
Deanonymization
schneier.com
·
6h
💻
Local LLMs
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
18h
⚔️
Lean Tactics
Domain-Partitioned
Hybrid RAG for Legal Reasoning: Toward Modular and
Explainable
Legal AI for India
arxiv.org
·
13h
🧠
Learned Indexing
Build
Semantic
Search with LLM
Embeddings
machinelearningmastery.com
·
5h
🗂️
Vector Search
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
18/3/2026
informatics.ed.ac.uk
·
6h
📐
Linear Algebra
Merkle
Trees 101 (Part 1): Structure,
Proofs
, and Real-World Uses
hackernoon.com
·
1h
🌳
Archive Merkle Trees
Understanding the
A2A
Protocol
for Agentic AI in Network Operations
networkphil.com
·
1h
🌐
NetworkProtocols
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
2d
🌳
Huffman Trees
varmabudharaju/pgsemantic
: Zero-config semantic search for any PostgreSQL database. pip install
pgsemantic
, three commands, done
github.com
·
27m
·
Discuss:
Hacker News
🧬
PostgreSQL Forensics
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
3d
·
Discuss:
DEV
🔢
Denotational Semantics
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
1h
🔧
Hardware Verification
Static
taint
analysis for LLM agents
deepclause.substack.com
·
14h
·
Discuss:
Substack
🐛
Fuzzing
Collaborating
Through Data: Inside the
PSI
Users Group
science.nasa.gov
·
1h
🌡️
Preservation Physics
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