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
121962
posts in
769.9
ms
[Q&A]
Rensei
Szpura
(Void Hand Quickstart)
gmshoe.wordpress.com
·
19h
🧩
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
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
·
13h
·
Discuss:
Hacker News
⛳
Code Golf
How I
learnt
to stop
worrying
and love AI
tweag.io
·
22h
⛳
Code Golf
🔬Science at the speed of inference — Gabriele Corso & Jeremy
Wohlwend
,
Boltz
latent.space
·
20h
⛳
Code Golf
Coding
assistants
pouet.net
·
16h
⛳
Code Golf
百度千帆推出
AI
编码订阅服务
Coding Plan
linux.do
·
21h
⛳
Code Golf
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
⛳
Code Golf
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
⛳
Code Golf
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
1d
⛳
Code Golf
The
Secure
Force: Building an End-to-End
SDLC
Without Breaking the Bank
hackernoon.com
·
1d
⛳
Code Golf
A Simple Guide to Building AI Agents
Correctly
digitalocean.com
·
16h
🧪
Testing Philosophy
New
Ovis2.6-30B-A3B
, a lil better than
Qwen3-VL-30B-A3B
huggingface.co
·
10h
·
Discuss:
r/LocalLLaMA
🏗
System design
Automatic Generation of
Polynomial
Symmetry
Breaking Constraints
arxiv.org
·
2d
⛳
Code Golf
😸 AI just
solved
unsolvable
math
theneurondaily.com
·
3d
🧠
Logic Puzzles
Leading AI models struggle to
solve
original
math
problems
phys.org
·
3d
🧠
Logic Puzzles
Reasoning: A
smarter
way for AI to
understand
text and images
techxplore.com
·
2d
🧠
Logic Puzzles
Energy-efficient robust control of vehicle
platoons
under cut-in
disturbances
: Integrating temporal-aware policy and barrier-constrained search
sciencedirect.com
·
1d
⛳
Code Golf
Loading...
Loading more...
« Page 7
•
Page 9 »
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