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
123631
posts in
2.73
s
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
·
8h
🌿
Trie Variants
Making an
archer
automaton
blog.adafruit.com
·
1d
📝
Rope Editors
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
13h
✅
Configuration Validation
NCAA Tournament
Bracket
Watch: Can Duke,
UConn
lose their No. 1 seeds?
nytimes.com
·
1d
🎭
Racket
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
2d
🔗
Graph Rewriting
ChatGPT vs Gemini vs Claude
geeky-gadgets.com
·
14h
🔍
Tokenizers
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🗺️
Region Inference
Webflow
&
Framer
Experts for AI Startups
superskills.design
·
17h
·
Discuss:
r/web_design
🎭
Program Synthesis
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
Gradient-based identification of
hydraulic
resistance for optimal pump control in
meshed
district heating network
sciencedirect.com
·
10h
🌪️
V8 TurboFan
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
2d
🔄
Incremental Lexing
I
Pitted
3 AI Agents Against Each Other. The Result Was
Scary
.
pub.towardsai.net
·
10h
🎲
Parser Fuzzing
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
2d
🔄
Coroutines
Integrating Structured Search and Neural
Heuristics
for Automated Verification of Proof Complexity in
Sequent
Calculus — ### Abstract Proof‑theoretic v...
freederia.com
·
5d
⚖️
Inference Rules
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