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 Solving
🎯 Constraint Solving
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
62
posts in
14.2
ms
Samuel Mimram — CSC_51051_EP --
Computational
logic
: from Artificial intelligence to Zero bugs
📜
Proof Languages
lix.polytechnique.fr
·
4d
4 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Eli Bendersky: Plugins case study: Pluggy
📦
Package Managers
eli.thegreenplace.net
·
5h
5 hours ago
Actions for Eli Bendersky: Plugins case study: Pluggy
Show HN: BeamWeaver – LangChain/DeepAgents-style agents and workflows for Elixir
🔄
Tail Recursion
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
·
Cited by 1 article
Actions for Show HN: BeamWeaver – LangChain/DeepAgents-style agents and workflows for Elixir
Proof System Timelines
🏗️
Calculus of Constructions
Content type:
Blog
klatz.co
·
5d
5 days ago
Actions for Proof System Timelines
rv plan and progress update
📦
Package Managers
andre.arko.net
·
1d
1 day ago
Actions for rv plan and progress update
Runtime Guards for AI Agents
🐹
Go Runtime
guard-sdk.js.org
·
4d
4 days ago
·
Hacker News
Actions for Runtime Guards for AI Agents
Microsoft open sources AI evaluation framework for enterprise agents
🔮
Metacircular Evaluators
Content type:
News
infoworld.com
·
2d
2 days ago
Actions for Microsoft open sources AI evaluation framework for enterprise agents
Claude Fable 5 Beat Pokemon FireRed With No Maps or
Tools
, Just an Overleveled Charizard
🚪
Escape Hatch
Content type:
News
phandroid.com
·
3d
3 days ago
Actions for Claude Fable 5 Beat Pokemon FireRed With No Maps or Tools, Just an Overleveled Charizard
Claude Code's statusLineHook: read rate limits locally without any API calls
✅
Configuration Validation
headroom.walls.sh
·
2d
2 days ago
·
Hacker News
Actions for Claude Code's statusLineHook: read rate limits locally without any API calls
Why AI that works in the lab often fails in production — and what actually fixes it
🎭
Program Synthesis
venturebeat.com
·
3d
3 days ago
Actions for Why AI that works in the lab often fails in production — and what actually fixes it
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🧩
Constraint Solvers
techpowerup.com
·
4d
4 days ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
Melania Trump to honor student winners of Presidential AI Challenge
🎯
99-Line Languages
Content type:
News
local12.com
·
4d
4 days ago
Actions for Melania Trump to honor student winners of Presidential AI Challenge
AI Innovations: The New Frontier of Decision-Making and Security
⛓️
Constraint Programming
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for AI Innovations: The New Frontier of Decision-Making and Security
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Code Analysis
Content type:
Blog
soteria-tools.com
·
3d
3 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Google Patches 5th Chrome Zero-Day Exploited in 2026
🚀
V8 Internals
securityweek.com
·
5d
5 days ago
Actions for Google Patches 5th Chrome Zero-Day Exploited in 2026
BMW Has A Secret American Car Collection You Cannot Visit
🧩
Constraint Solvers
Content type:
Blog
autoblog.com
·
6d
6 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
Build Your Own Bond Car: Aston Martin DB5 Replica
🧩
Constraint Solvers
barnfinds.com
·
4d
4 days ago
Actions for Build Your Own Bond Car: Aston Martin DB5 Replica
Optimal
Seating on the Airbus A380
🗑️
Garbage Collection
Content type:
Blog
tech.marksblogg.com
·
4d
4 days ago
·
Hacker News
·
Cited by 1 article
Actions for Optimal Seating on the Airbus A380
Cloud Security Report Finds Fragmented
Tools
Widening the Cloud Complexity Gap
🛡️
Capability VMs
hackread.com
·
3d
3 days ago
Actions for Cloud Security Report Finds Fragmented Tools Widening the Cloud Complexity Gap
Property-based testing | Liam DeVoe
🎲
Property Testing
tybug.dev
·
5d
5 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
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