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
122070
posts in
901.6
ms
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
17h
λ
Functional Programming
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
17h
🌳
Red-Black Trees
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
9h
·
Discuss:
Hacker News
λ
Functional Programming
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Must-Know Software
Architecture
Patterns
blog.bytebytego.com
·
5h
🏗️
Design Patterns
Issue 638
datascienceweekly.substack.com
·
2h
·
Discuss:
Substack
⏱️
Computational Complexity
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
2d
·
Discuss:
r/LocalLLaMA
🔁
Recursion
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
·
Discuss:
Hacker News
🏗️
Design Patterns
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
λ
Functional Programming
The
Infinite
Loops
Recap
tvtropes.org
·
12h
🌳
Red-Black Trees
TileIR
ianbarber.blog
·
18h
·
Discuss:
Hacker News
🎨
Computer Graphics
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
2h
💣
Binary Exploitation
Show HN: 20+ Claude Code agents
coordinating
on real work (open source)
github.com
·
6h
·
Discuss:
Hacker News
⚙
algorithms
Zero State
Architecture
deep
dive
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🎯
A* Search
Synergistic
Enhancement of Requirement-to-Code
Traceability
: A Framework Combining Large Language Model based Data Augmentation and an Advanced Encoder
sonomarpa.sonoma.lib.ca.us
·
6h
🌳
Red-Black Trees
Introduction To
Concurrency
|
Concurrency
Interview |
AlgoMaster.io
algomaster.io
·
1d
🔬
Static Analysis
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
20h
·
Discuss:
Hacker News
λ
Functional Programming
Cantor
Normal
Form
infinitelymore.xyz
·
9h
🔁
Recursion
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
7h
·
Discuss:
Lobsters
🔬
Static Analysis
The
Lazy
Builder
’s Complexity Lesson
artima.com
·
5d
⏱️
Computational Complexity
Loading...
Loading more...
« Page 2
•
Page 4 »
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