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
💃 Dancing Links
Algorithm X, Exact Cover, Backtracking, Constraint Solving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112364
posts in
2.15
s
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
13h
🔄
Salsa
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
1d
🧮
SMT Solvers
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
5h
🎯
Escape Analysis
Walkthrough
for
Bellingcat
's 'Fixed Narrative' challenge
wanderingjackdaw.bearblog.dev
·
4h
🏷️
Pointer Tagging
Aligning
one
matrix
with another
johndcook.com
·
5h
📐
Linear Algebra
Leading AI models struggle to
solve
original
math
problems
phys.org
·
2d
📊
Algorithms
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2h
·
Discuss:
Lobsters
📦
Serde
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
1h
📐
Linear Algebra
AI
Iteration
Platforms
trendhunter.com
·
15h
💬
Prompt Engineering
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
14h
·
Discuss:
Blogger
⚡
LMAX Disruptor
On Crypto
Cycles
thediff.co
·
1d
🔢
Homomorphic Encryption
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
6h
🎭
Program Synthesis
A
lightweight
OpenClaw-inspired
AI assistant in Go
reddit.com
·
1d
·
Discuss:
r/golang
🍱
Nom
datavorous/spheni
: An in-memory vector search library in C++ with Python bindings
github.com
·
4h
·
Discuss:
Hacker News
🧮
Vector Databases
Databases should
contain
their own
Metadata
floedb.ai
·
2h
·
Discuss:
Hacker News
🗄️
Database Internals
Delete
Operation in B+-Tree: Removing Without
Destabilizing
dev.to
·
5h
·
Discuss:
DEV
🌳
Copy-on-Write B-Trees
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
5h
💼
Thrift
New Generative
Paradigm
:
Drifting
Model
mail.bycloud.ai
·
23h
📱
Edge AI
Active learning enables generation of
molecules
that advance the known
Pareto
front
nature.com
·
1d
🧬
Computational Biology
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
🧮
SMT Solvers
Loading...
Loading more...
« Page 1
•
Page 3 »
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