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 Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122745
posts in
727.5
ms
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
18h
🌲
Binary Search Trees
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
2d
🌲
Binary Search Trees
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
3h
🗂️
Hash Tables
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
10h
📄
Document Versioning
Comparing
941cf65707
..
.0224df2b9a
github.com
·
10h
📄
Document Versioning
PANCAKE: A
SNARK
with
Plonkish
Constraints, Almost-Free Additions, No Permutation Check, and a Linear-Time Prover
eprint.iacr.org
·
2d
🧮
Algorithms
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
7h
·
Discuss:
Hacker News
🌲
Binary Search Trees
Funktionale
Programmierung -
Verifikation
von Algorithmen mit Z3
funktionale-programmierung.de
·
2d
🌲
Binary Search Trees
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
💻
Programming Languages
Smarter together in
concrete
:one
unified
data language
concretedatamodel.com
·
8h
🗂️
Columnar Storage
Improving the simulation-based optimization in the
REMod
model to deal with
complexity
in energy system modeling
sciencedirect.com
·
2h
📄
Document Versioning
Blockers
theprogrammersparadox.blogspot.com
·
7h
·
Discuss:
theprogrammersparadox.blogspot.com
💻
Programming Languages
Mathematics
of the
Rubik
's Cube
ruwix.com
·
1d
🧮
Algorithms
Cantor
Normal
Form
infinitelymore.xyz
·
10h
🌲
Binary Search Trees
AI job
creation
davelee.me
·
35m
🧮
Algorithms
Backtracking
Algorithms
algos.khourani.com
·
2d
🧮
Algorithms
Oatmeal
-
Constraint
propagation for fun
eli.li
·
4d
·
Discuss:
Lobsters
,
Hacker News
🌲
Binary Search Trees
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
14h
🗂️
Hash Tables
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
2h
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
TileIR
ianbarber.blog
·
19h
·
Discuss:
Hacker News
🗂️
Hash Tables
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