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 Solvers
🧩 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
60
posts in
24.4
ms
SAT-Physical
Thermodynamic Framework: treating
constraints
as a thermal system
⚡
Automated Reasoning
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
⚡
Automated Reasoning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
The $2 trillion AI infrastructure
problem
no one is talking about, and the engineer solving it
🏰
Capability Machines
Content type:
News
thenextweb.com
·
14h
14 hours ago
Actions for The $2 trillion AI infrastructure problem no one is talking about, and the engineer solving it
Better decisions at scale: How mathematical
optimization
delivers where intuition fails
⚡
Automated Reasoning
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
Sketch-to-Layout: A Human-Centric Computational Agent for
Constraint-Aware
Synthesis of Modular Photobioreactors
📡
Channels
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Sketch-to-Layout: A Human-Centric Computational Agent for Constraint-Aware Synthesis of Modular Photobioreactors
They had 64KB. They built the world
📚
Self-Documenting Code
programmersatwork.net
·
6d
6 days ago
·
Hacker News
Actions for They had 64KB. They built the world
AI Innovations: The New Frontier of Decision-Making and Security
⚡
Automated Reasoning
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for AI Innovations: The New Frontier of Decision-Making and Security
California professor argues need for 'objective measures' after state drops
ACT/SAT
requirement
🎯
99-Line Tools
Content type:
News
yahoo.com
·
1d
1 day ago
Actions for California professor argues need for 'objective measures' after state drops ACT/SAT requirement
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
⌨️
Mechanical Keyboards
techpowerup.com
·
13h
13 hours ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
News for May 2026 | Property Testing Review
✅
Property Testing
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
DiBS: Diffusion-Informed Branch Selection
⚡
Partial Evaluation
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for DiBS: Diffusion-Informed Branch Selection
Three Waterloo graduate students earn prestigious Governor General’s Gold Medals for 2026
🏗️
Systems Design
uwaterloo.ca
·
2d
2 days ago
Actions for Three Waterloo graduate students earn prestigious Governor General’s Gold Medals for 2026
Scalable Near-Linear Method for Fast Million-Atom Electronic Structure Computations
🧱
First Principles
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Scalable Near-Linear Method for Fast Million-Atom Electronic Structure Computations
Zoom and Google Already Had This Product. But He Built It Anyway and Hit $1.5 Billion: ‘Care More About Your Particular
Problem
’
💬
Prompt Engineering
entrepreneur.com
·
5d
5 days ago
Actions for Zoom and Google Already Had This Product. But He Built It Anyway and Hit $1.5 Billion: ‘Care More About Your Particular Problem’
Proof System Timelines
✓
Formal Methods
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Code Analysis
Content type:
Blog
soteria-tools.com
·
7h
7 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Bumblebees show unexpected
problem-solving
through tool use
🔄
Systems Thinking
earth.com
·
2d
2 days ago
Actions for Bumblebees show unexpected problem-solving through tool use
Mix
, Don't Pick: Why Synthetic Corpus Composition Matters for Time Series Foundation Model Pretraining
🐍
Mamba SSM
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Mix, Don't Pick: Why Synthetic Corpus Composition Matters for Time Series Foundation Model Pretraining
What High Schoolers in Arizona Should Know About Trades Careers Before Making a Decision
👥
Engineering Management
Content type:
Academic
Content type:
Blog
rsi.edu
·
5d
5 days ago
Actions for What High Schoolers in Arizona Should Know About Trades Careers Before Making a Decision
Exact
Optimization-Free
Safety Filters for Control Barrier Functions
🎲
Probabilistic Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Exact Optimization-Free Safety Filters for Control Barrier Functions
Page 2 »
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