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
123908
posts in
2.14
s
Making an
archer
automaton
blog.adafruit.com
·
1d
📝
Rope Editors
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
12h
✅
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
·
22h
📋
JSON Parsing
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
2d
🔗
Graph Rewriting
ChatGPT vs Gemini vs Claude
geeky-gadgets.com
·
13h
🔍
Tokenizers
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🗺️
Region Inference
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
19h
·
Discuss:
Blogger
📡
Erlang BEAM
Webflow
&
Framer
Experts for AI Startups
superskills.design
·
16h
·
Discuss:
r/web_design
🎭
Program Synthesis
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
2d
✨
Gleam
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
4d
💾
Cache Algorithms
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
2d
🎯
Ring Buffers
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
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
2d
🔄
Coroutines
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
Loading...
Loading more...
« Page 13
•
Page 15 »
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