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
🔗 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
23833
posts in
1.22
s
Eve-positional
languages: putting order into B\"
uchi
automata
arxiv.org
·
21h
🎯
Automata theory
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
20h
⚡
Proof Automation
Wahba
’s Problem and SO(3) Optimization:
Rotation
Learning in Geometric ML
hackernoon.com
·
10h
🌀
Differential Geometry
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
💧
Liquidhaskell
RFC
9920:
RFC
Editor
Model (Version 3)
rfc-editor.org
·
4h
📝
ABNF Parsing
Reward
Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and
Evaluation
arxiv.org
·
21h
💻
Local LLMs
Postgres
Locks
Explained
postgreslocksexplained.com
·
9h
·
Discuss:
Hacker News
🗄️
PostgreSQL WAL
C-- Home
cs.tufts.edu
·
1d
·
Discuss:
Lobsters
🔗
Concatenative Programming
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
11h
⚡
Proof Automation
Databases should
contain
their own
Metadata
floedb.ai
·
10h
·
Discuss:
Hacker News
🗄️
Database Internals
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
10h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
⚡
Circuit Design
What I’m Learning in Data Structures: The Algorithm Behind
Compression
(
bzip
, etc.)
dev.to
·
2h
·
Discuss:
DEV
📝
Text Compression
Programming
Aphorisms
matklad.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔗
Concatenative Programming
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔍
RegEx Engines
Show HN: A
minimal
online decision maker
decisionmaker.online
·
12h
·
Discuss:
Hacker News
🎛️
Feed Filtering
Domain
Specific
Languages
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
1d
·
Discuss:
Substack
🧮
Datalog Systems
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
9h
·
Discuss:
Hacker News
,
r/programming
🦀
Rust Macros
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 1
•
Page 3 »
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