Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Constraint Programming
🎯 Constraint Programming
Satisfiability, Logic Programming, Optimization, Search
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8
posts in
7.1
ms
DiBS: Diffusion-Informed
Branch
Selection
🎲
Probabilistic Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for DiBS: Diffusion-Informed Branch Selection
SAT-Physical
Thermodynamic Framework: treating
constraints
as a thermal system
📈
Complexity Theory
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
Better decisions at scale: How mathematical
optimization
delivers where intuition fails
🎲
Probabilistic Programming
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
#401
🕸️
Graph Theory
weeknotes.barrucadu.co.uk
·
3d
3 days ago
Actions for #401
Sketch-to-Layout: A Human-Centric Computational Agent for
Constraint-Aware
Synthesis of Modular Photobioreactors
⚡
Concurrency
Content type:
Academic
arxiv.org
·
16h
16 hours ago
Actions for Sketch-to-Layout: A Human-Centric Computational Agent for Constraint-Aware Synthesis of Modular Photobioreactors
News for May 2026 | Property Testing Review
🔢
Mathematical Logic
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
jdalang/jda-lang: Jda: A high-performance systems language bootstrapped from assembly. Beats C on sudoku & LZ77. Self-hosted compiler, no GC, built-in concurrency & ML.
📝
Text Editors
Content type:
Code
github.com
·
6d
6 days ago
·
DEV
Actions for jdalang/jda-lang: Jda: A high-performance systems language bootstrapped from assembly. Beats C on sudoku & LZ77. Self-hosted compiler, no GC, built-in concurrency & ML.
Negative and Fractional Types in the Fidelity Framework
🎲
Probabilistic Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Negative and Fractional Types in the Fidelity Framework
Log in to enable infinite scrolling
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
Save / unsave
s
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