Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Solvers
SAT Solvers, CP-SAT, Z3, MiniZinc, Constraint Satisfaction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112907
posts in
1.34
s
Finding the Cracks: Improving LLMs Reasoning with
Paraphrastic
Probing
and Consistency Verification
arxiv.org
·
1d
🧠
Logic Puzzles
PANCAKE: A
SNARK
with
Plonkish
Constraints, Almost-Free Additions, No Permutation Check, and a Linear-Time Prover
eprint.iacr.org
·
4d
🧠
Logic Puzzles
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
1d
🧠
Logic Puzzles
Gemini 3 Deep Think: A Complete Guide to Google's Most Advanced
Reasoning
Mode (2026)
curateclick.com
·
1d
·
Discuss:
Hacker News
🧠
Logic Puzzles
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
10h
·
Discuss:
Hacker News
⛳
Code Golf
How low-bit
inference
enables
efficient AI
dropbox.tech
·
4h
·
Discuss:
Hacker News
⛳
Code Golf
Combinatorial
Perpetual
Scheduling
arxiv.org
·
1d
🧠
Logic Puzzles
AI Agent
Mimics
Scientific Reasoning To
Uncover
Hidden Equations
quantumzeitgeist.com
·
17h
🧠
Logic Puzzles
Formal
Verification First: How AI Supports But
Cannot
Replace It
semiengineering.com
·
1d
🏗
System design
One
Task
at a Time, Even with AI
wakamoleguy.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
I Built a 7-Level
Valentine
Week Game Using GitHub
Copilot
CLI
valentinesgithubcli.vercel.app
·
3h
·
Discuss:
DEV
⛳
Code Golf
🎲
Fine-Tuning
an AI
zwischenzugs.com
·
1h
⛳
Code Golf
Show HN:
Darius
– An AI router that
selects
the best model for each prompt
withdarius.com
·
17h
·
Discuss:
Hacker News
⛳
Code Golf
Three
LangGraph
Agent Patterns That Replaced Hundreds of Lines of
Glue
Code
dev.to
·
1d
·
Discuss:
DEV
⛳
Code Golf
Understanding the Go
Compiler
: The
Linker
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
⛳
Code Golf
Zig
“Better C”: 1.0 Push, C++
medium.com
·
1d
⛳
Code Golf
Replace MCP With CLI , The Best AI Agent Interface Already Exists | by
Cobus
Greyling
| Feb, 2026
cobusgreyling.medium.com
·
5h
⛳
Code Golf
AI
usage
in popular open source projects
tirkarthi.github.io
·
7h
·
Discuss:
Hacker News
,
r/programming
⛳
Code Golf
holland202/Sovereign-Suite-Manifest
: "A meta-cognitive architecture for recursive agentic orchestration and deterministic AI synthesis."
github.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Designing
Polynomials
Using the Sum of
Gradients
at the Roots
pub.towardsai.net
·
2d
🏗
System design
Loading...
Loading more...
« Page 1
•
Page 3 »
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
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