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
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
25
posts in
8.5
ms
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧩
Constraint Solving
Content type:
Academic
arxiv.org
·
4d
4 days ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Solving a chess puzzle with Claude and
Prolog
🧩
Constraint Solving
Content type:
Blog
johndcook.com
·
1d
1 day ago
Actions for Solving a chess puzzle with Claude and Prolog
Fine-Tuning Transformers Vs Lora Vs Qlora 2024
🧩
Constraint Solving
cloud.google.com
·
19h
19 hours ago
·
DEV
Actions for Fine-Tuning Transformers Vs Lora Vs Qlora 2024
Proof System Timelines
🔤
Type Theory
Content type:
Blog
klatz.co
·
4d
4 days ago
Actions for Proof System Timelines
Nontrailing separators do not spark joy
🔤
Language Design
Content type:
News
Computer Things via buttondown.com
·
2d
2 days ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
Introducing Soteria: A New Generation of Static Analysis for Rust
🛡️
Memory Safety
Content type:
Blog
soteria-tools.com
·
2d
2 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🧩
Constraint Solving
techpowerup.com
·
3d
3 days ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
Writing static
checks
to an unsuspecting library with Liquid Haskell
🧩
Constraint Solving
Content type:
Blog
tweag.io
·
2d
2 days ago
Actions for Writing static checks to an unsuspecting library with Liquid Haskell
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
🚀
Performance Engineering
phoronix.com
·
3d
3 days ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
How the CIA conjured Ukrainian Nationalism - MR Online
⚙
Rust
mronline.org
·
1d
1 day ago
Actions for How the CIA conjured Ukrainian Nationalism - MR Online
BMW Has A Secret American Car Collection You Cannot Visit
🧩
Constraint Solving
Content type:
Blog
autoblog.com
·
5d
5 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
Less-relevant results
Commentary: Ghosts of Housing Past (and Present)
📈
Economic History
Content type:
News
dailyyonder.com
·
2d
2 days ago
Actions for Commentary: Ghosts of Housing Past (and Present)
Build Your Own Bond Car: Aston Martin DB5 Replica
🧩
Constraint Solving
barnfinds.com
·
3d
3 days ago
Actions for Build Your Own Bond Car: Aston Martin DB5 Replica
Sarah Vaughan on How Shakespeare’s Plays Shaped Her Suspense Novel
🌐
Static Sites
crimereads.com
·
2d
2 days ago
Actions for Sarah Vaughan on How Shakespeare’s Plays Shaped Her Suspense Novel
Property-based testing | Liam DeVoe
🐛
Fuzzing
tybug.dev
·
4d
4 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Planted-Solution Pauli Hamiltonians as a Quantum Benchmarking Primitive
🧩
Constraint Solving
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Planted-Solution Pauli Hamiltonians as a Quantum Benchmarking Primitive
Better decisions at scale: How mathematical optimization delivers where intuition fails
🧩
Constraint Solving
Content type:
Blog
aws.amazon.com
·
4d
4 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
#401
🧩
Constraint Solving
weeknotes.barrucadu.co.uk
·
6d
6 days ago
Actions for #401
News for May 2026 | Property Testing Review
🗂️
Data Structures
ptreview.sublinear.info
·
6d
6 days ago
Actions for News for May 2026 | Property Testing Review
Human Judgment as a Specification
✓
Formal Verification
Content type:
Blog
blog.brownplt.org
·
4d
4 days ago
Actions for Human Judgment as a Specification
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