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, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
124047
posts in
2.90
s
Making an
archer
automaton
blog.adafruit.com
·
23h
📝
Rope Editors
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
9h
✅
Configuration Validation
NCAA Tournament
Bracket
Watch: Can Duke,
UConn
lose their No. 1 seeds?
nytimes.com
·
1d
🎭
Racket
Report: AI model compression startup
Multiverse
seeking €
500M
funding round
siliconangle.com
·
19h
📋
JSON Parsing
ChatGPT vs Gemini vs Claude
geeky-gadgets.com
·
10h
🔍
Tokenizers
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🗺️
Region Inference
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
16h
·
Discuss:
Blogger
📡
Erlang BEAM
Webflow
&
Framer
Experts for AI Startups
superskills.design
·
13h
·
Discuss:
r/web_design
🎭
Program Synthesis
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
✨
Gleam
Kevin
Scott
: Building a
Sandbox
for Claude Code
thekevinscott.com
·
1d
🦀
MIR Optimization
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
🔄
Incremental Parsers
New Generative
Paradigm
:
Drifting
Model
mail.bycloud.ai
·
1d
🌱
Minimal ML
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
2d
🔄
Incremental Lexing
Compound
Engineering: The
Definitive
Guide
kill-the-newsletter.com
·
2d
🚂
Cranelift IR
**Abstract:** This paper introduces a novel framework for automated test data generation (
ATDG
) focused on Constraint Satisfaction Problems (
CSPs
). Unlike tr...
freederia.com
·
5d
🧩
SAT Solvers
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎭
Racket Modules
Learning Coupled Actions of Lie Groups:
Kuramoto
Models for Robotics and
Hyperbolic
Data
hackernoon.com
·
1d
🌊
Loop Invariant Motion
DaCurse/mason
: C
Macros
for JSON
github.com
·
1d
·
Discuss:
r/C_Programming
🌉
Language Bindings
Exactly
Computing
do-Shapley
Values
arxiv.org
·
1d
⏭️
Skip Lists
Architecting
Durable AI Agents: Solving the
Volatile
State Problem
dev.to
·
5h
·
Discuss:
DEV
🎭
Erlang OTP
Loading...
Loading more...
« Page 12
•
Page 14 »
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