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
122388
posts in
1.17
s
process-compose
notes.billmill.org
·
18h
⛳
Code Golf
[Q&A]
Rensei
Szpura
(Void Hand Quickstart)
gmshoe.wordpress.com
·
16h
🧩
Riddles
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
2d
·
Discuss:
Hacker News
🧠
Logic Puzzles
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
1d
⛳
Code Golf
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
1d
·
Discuss:
Hacker News
🧠
Logic Puzzles
🔬Science at the speed of inference — Gabriele Corso & Jeremy
Wohlwend
,
Boltz
latent.space
·
18h
⛳
Code Golf
How I
learnt
to stop
worrying
and love AI
tweag.io
·
20h
⛳
Code Golf
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
·
11h
·
Discuss:
Hacker News
⛳
Code Golf
Coding
assistants
pouet.net
·
13h
⛳
Code Golf
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
3d
⛳
Code Golf
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
⛳
Code Golf
百度千帆推出
AI
编码订阅服务
Coding Plan
linux.do
·
18h
⛳
Code Golf
Beyond the
Prompt
- Why and How to
Fine-tune
Your Own Models
devblogs.microsoft.com
·
1d
⛳
Code Golf
Open Source Radar (February 2026): Agentic AI, Zero Trust
CI/CD
, and Java
GC
dev.to
·
1h
·
Discuss:
DEV
⛳
Code Golf
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
⛳
Code Golf
How we built
AEO
tracking
for coding agents
vercel.com
·
5h
⛳
Code Golf
Reflections
on Using Claude Code
ternarysearch.blogspot.com
·
15h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
⛳
Code Golf
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Claude Skills vs. MCP: A Technical
Comparison
for AI
Workflows
intuitionlabs.ai
·
2d
⛳
Code Golf
MPSpeed
: Implementing and Optimizing
MPC-in-the-Head
Digital Signatures in Hardware
eprint.iacr.org
·
3d
⛳
Code Golf
Loading...
Loading more...
« Page 6
•
Page 8 »
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