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
122160
posts in
1.25
s
process-compose
notes.billmill.org
·
20h
⛳
Code Golf
GLOBS
- A puzzle where you start with dozens of
tiles
and, by finding the hidden groups of four each tile is a part of, merge them down to one final tile
threeemojis.com
·
1d
🧠
Logic Puzzles
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
19h
·
Discuss:
Hacker News
⛳
Code Golf
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
1d
🧠
Logic Puzzles
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
1d
·
Discuss:
Hacker News
🧠
Logic Puzzles
A
note
on
parameterized
testing
blog.gnoack.org
·
22h
🧪
Testing Philosophy
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
⛳
Code Golf
The
Sour
Lesson: A Guide to Building
AGI-Pilled
Products
chrislovejoy.me
·
21h
·
Discuss:
Hacker News
🏗
System design
LangChain:
Observe
,
Evaluate
, and Deploy Reliable AI Agents
langchain.com
·
2d
⛳
Code Golf
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
⛳
Code Golf
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
1d
·
Discuss:
Hacker News
,
r/rust
⛳
Code Golf
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
⛳
Code Golf
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
1d
🧩
Riddles
Beyond the
Prompt
- Why and How to
Fine-tune
Your Own Models
devblogs.microsoft.com
·
1d
⛳
Code Golf
Human Review Is the
Bottleneck
satyaborg.com
·
1d
·
Discuss:
Hacker News
🧪
Testing Philosophy
I built a
zero-noise
AI code review agent using Claude Code
medium.com
·
1d
·
Discuss:
Hacker News
⛳
Code Golf
Overview of end-to-end
encrypted
AI inference for
Confer
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
Logic Puzzles
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
·
16h
⛳
Code Golf
Gemini 3 Deep Think:
Advancing
science, research and engineering
blog.google
·
21h
·
Discuss:
Hacker News
🧠
Logic Puzzles
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
5d
🧠
Logic Puzzles
Loading...
Loading more...
« Page 8
•
Page 10 »
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