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
15
posts in
5.5
ms
Mutual Information
Optimization
via K-Recursion and Automatic Differentiation for Linear Gaussian Wireless Networks
🔤
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Mutual Information Optimization via K-Recursion and Automatic Differentiation for Linear Gaussian Wireless Networks
SAT-Physical
Thermodynamic Framework: treating
constraints
as a thermal system
⚛️
Physics
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
Show HN: 3D print Z reinforcement via injected loops
🔍
Refinement Types
mgunlogson.github.io
·
1d
1 day ago
·
Hacker News
Actions for Show HN: 3D print Z reinforcement via injected loops
#401
🗂️
PKM
weeknotes.barrucadu.co.uk
·
4d
4 days ago
Actions for #401
Better decisions at scale: How mathematical
optimization
delivers where intuition fails
🎯
Constraint Solving
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
⚙️
Program Synthesis
Content type:
Academic
arxiv.org
·
23h
23 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
⊢
Logic
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
Two to Tango: Coupled Task-Reference Selection for Safe LLM Fine-tuning
✨
Effect Handlers
Content type:
Academic
arxiv.org
·
23h
23 hours ago
Actions for Two to Tango: Coupled Task-Reference Selection for Safe LLM Fine-tuning
DiBS: Diffusion-Informed
Branch
Selection
🔬
Closure Analysis
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for DiBS: Diffusion-Informed Branch Selection
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.
⚙️
Compilers
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.
HDSL: A Hierarchical
Domain-Specific
Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents
⚙️
Program Synthesis
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents
Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket
Less-relevant results
ekorbia/xword-pipeline: Dense NYT-style crossword puzzle pipeline: Rust fill-engine + Claude clue writer/QA/explain process
🎯
Lean
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for ekorbia/xword-pipeline: Dense NYT-style crossword puzzle pipeline: Rust fill-engine + Claude clue writer/QA/explain process
A Certified Higher Order Quantum Framework for CSA and Margin-Aware Collateral
Optimization
🧩
SMT Solvers
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for A Certified Higher Order Quantum Framework for CSA and Margin-Aware Collateral Optimization
Negative and Fractional Types in the Fidelity Framework
🧮
Hindley-Milner
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