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
📊 Algorithm Analysis
Correctness Proofs, Invariants, Termination, Recurrence Relations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81705
posts in
306.9
ms
A Complete
Equational
Theory for
Real-Clifford
+CH Quantum Circuits
arxiv.org
·
21h
🌳
Red-Black Trees
Statistical-Based
Metric
Threshold
Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
arxiv.org
·
21h
🔬
Static Analysis
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
1d
·
Discuss:
DEV
🔬
Static Analysis
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
1d
·
Discuss:
DEV
λ
Functional Programming
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
4d
⏱️
Computational Complexity
Efficient
Benchmarking
of
Logical
Magic State
link.aps.org
·
4d
λ
Functional Programming
Building a data
greenhouse
jmduke.com
·
3d
🏗️
Design Patterns
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
🔄
Dynamic Programming
Code only says what it does
brooker.co.za
·
2d
·
Discuss:
Hacker News
💻
programming
Private Data Space Model
privatedata.space
·
4d
λ
Functional Programming
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
🔬
Static Analysis
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Humane
, adaptive AI
bootstrapping
natemeyvis.com
·
3d
📈
Optimization
Human-like Search for Modern
Applications
anvitra.ai
·
1d
·
Discuss:
Hacker News
🎯
A* Search
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Built a
KiCAD
schematic
analyzer in Rust - would appreciate code review
github.com
·
3d
·
Discuss:
r/rust
🔬
Static Analysis
Tip of the Week #165: <code>if</code> and <code>switch</code>
statements
with
initializers
abseil.io
·
2d
🔁
Recursion
Performance Tip of the Week #26: Fixing things with
hashtable
profiling
abseil.io
·
2d
💣
Binary Exploitation
**Abstract:** This paper proposes a novel methodology for automated
theorem
discovery within advanced set theory utilizing hyperdimensional geometric
algebra
...
freederia.com
·
5d
λ
Functional Programming
Teaching
Claude Code Your
Standards
github.com
·
3d
·
Discuss:
DEV
🔬
Static Analysis
Loading...
Loading more...
« Page 16
•
Page 18 »
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