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 Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184660
posts in
13.5
ms
Pencil
Puzzle Bench: A Benchmark for Multi-Step
Verifiable
Reasoning
arxiv.org
·
7h
🧩
SAT Solvers
Fixpoints
to think
clearly
blog.yellowflash.in
·
2h
·
Discuss:
Hacker News
🎯
Constraint Solving
LiTS
: A
Modular
Framework for LLM Tree Search
arxiv.org
·
7h
🔍
ML Language
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
⚙️
Zig Comptime
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
KlongPy
: Automatic
Differentiation
klongpy.org
·
4h
·
Discuss:
Hacker News
⚡
Partial Evaluation
How I
Overcame
the Optimization Wall by Implementing the Augmented Lagrangian Method (
ALM
) with AI
dev.to
·
6h
·
Discuss:
DEV
🎯
Constraint Solving
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
17h
🔄
Coroutines
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Theorem Provers
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
TANGO
: direct optimization of constrained
synthesizability
for generative molecular design
nature.com
·
2h
⚡
Partial Evaluation
RL
Training For
Math
Reasoning
research.perplexity.ai
·
15h
🪜
Recursive Descent
Detecting
and Editing Visual
Objects
with Gemini
medium.com
·
20h
🔍
Lens Libraries
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
12h
·
Discuss:
Hacker News
⚡
Partial Evaluation
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
15h
🔀
SSA Construction
A Specialized
Rollup
with a
Non-EVM
Execution Layer for Financial Coordination
ethresear.ch
·
30m
🔄
Copy Propagation
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
19h
📈
Monotonic Logic
The
Structural
Navigation Agent: Enforcement Architecture and
Structural
Analysis for Multi-Agent
Coordination
petronus.eu
·
12h
·
Discuss:
DEV
🕸️
Graph Algorithms
A two-stage
evolutionary
algorithm for uncertain constrained multi-objective problems with
interval-valued
objective
sciencedirect.com
·
1d
🔍
Fuzzy Matching
AI and Humans
Verify
Fields
Medal
Proof for the First Time
spectrum.ieee.org
·
18h
·
Discuss:
Hacker News
,
r/technews
🔢
Algebraic Datatypes
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