Skip to main content
Scour
Browse
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
80298
posts in
428.5
ms
**Abstract:** Addressing complex inequalities—systems of constraints often
encountered
in optimization, control theory, and resource allocation—is
computatio
...
freederia.com
·
2h
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
TongGeometry
:
Proposing
and solving olympiad geometry with guided tree search
nature.com
·
2d
·
Discuss:
Hacker News
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Solving
Systems of
Equations
Faster
entropicthoughts.com
·
17h
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Implementing
Metric
Temporal Answer Set Programming
arxiv.org
·
11h
🌳
Tree-sitter
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learning to
Execute
paperium.net
·
2h
·
Discuss:
DEV
🌳
Tree-sitter
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Geometric Constraint Satisfaction in the Zodiac
Z32
Cipher: Discovery of a Triangular
Anthropogenic
Feature via Archaeological Remote Sensing
zenodo.org
·
1d
·
Discuss:
Hacker News
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel approach to augmenting automated theorem
provers
(
ATPs
) using hyperdimensional semantic encoding to improve logic...
freederia.com
·
3h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Trading My
Vibe
Coded
App for an AI Analyst: A Claude Code Case Study
theautomatedoperator.substack.com
·
2h
·
Discuss:
Substack
🦙
Ollama
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Program
Logic
for Abstract (
Hyper
)Properties
arxiv.org
·
11h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
📊
Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Linear
Programming:
Solving
Real-World Optimization Problems
datacamp.com
·
3d
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Golang
vs Rust vs Python
dev.to
·
47m
·
Discuss:
DEV
🔬
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Solve
It With Code
solve.it.com
·
1d
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Predicate
Decision
Tree
docs.google.com
·
1d
🌳
Tree-sitter
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🗃️
SQLx
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
UPP: Universal
Predicate
Pushdown
to Smart Storage
danglingpointers.substack.com
·
2d
·
Discuss:
Substack
🗄️
Database Internals
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
KNN
Algorithm
(№ 01)
wellactuarially.com
·
18h
📊
Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Foundation-sec-8B-Reasoning
: The First Open-weight Security Reasoning Model
blogs.cisco.com
·
3h
🐛
Fuzzing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reasoning
About Things Without
Choosing
Them
cognitivelayer.substack.com
·
22h
·
Discuss:
Substack
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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