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
112873
posts in
315.5
ms
Element mapping-based Bayesian optimization framework enabling direct materials design: a case study on
NASICON-type
cathode
materials
nature.com
·
1d
💻
Tech
PRIME:
Policy-Reinforced
Iterative
Multi-agent Execution for Algorithmic Reasoning in Large Language Models
arxiv.org
·
1d
⛳
Code Golf
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
4d
·
Discuss:
r/LocalLLaMA
⛳
Code Golf
BalatroBench
Benchmarks
Large Language Models Playing Balatro
balatrobench.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
AgentRE-Bench
: Can LLM Agents Reverse Engineer Malware?
agentre-bench.ai
·
11h
·
Discuss:
Hacker News
⛳
Code Golf
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
2d
·
Discuss:
Hacker News
⛳
Code Golf
Power of Agent
assisted
coding and learning to
achieve
goals faster and cheaper
osm2pgsql.org
·
44m
·
Discuss:
DEV
⛳
Code Golf
How to Write a
Spelling
Corrector
norvig.com
·
15h
🧩
Riddles
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Sixteen
Claude Agents Built a C
Compiler
Without Human Intervention... Almost
infoq.com
·
2h
⛳
Code Golf
AI Agent
toolbox
for software
architecture
quantum-crowbar.github.io
·
17h
·
Discuss:
Hacker News
🏗
System design
Why LLMs Will
Always
Need An Expert In The
Loop
codemanship.wordpress.com
·
5h
⛳
Code Golf
Dear
Agent:
Prove
it.
rijnard.com
·
2d
·
Discuss:
Hacker News
⛳
Code Golf
A
flaw
in using
pretrained
protein language models in protein–protein interaction inference models
nature.com
·
1d
⛳
Code Golf
Forge
: Scalable Agent
RL
Framework and Algorithm
minimax.io
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Releasing mcp-wire: a tool to easily
configure
MCPs
in coding agents
andreagrandi.it
·
14h
⛳
Code Golf
Zprime137/iZprime
:
iZprime
, a study on algorithmic prime generation
github.com
·
1d
·
Discuss:
r/C_Programming
⛳
Code Golf
The hard problem with hard problems (Getting Claude to
write
a solar system
SIM
)
drmaciver.substack.com
·
1d
·
Discuss:
Substack
⛳
Code Golf
Barriers to Discrete Reasoning with Transformers: A Survey Across Depth,
Exactness
, and
Bandwidth
arxiv.org
·
1d
🧠
Logic Puzzles
Yori
–
Isolating
AI Logic into "Semantic Containers" (Docker for Code)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Sign up or log in to see more results
Sign Up
Login
« Page 2
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