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
122442
posts in
1.25
s
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
⏱️
Computational Complexity
The
Infinite
Loops
Recap
tvtropes.org
·
7h
🌳
Red-Black Trees
A
RISC-V
vector
extension primer
blog.adafruit.com
·
2h
🎨
Computer Graphics
Must-Know Software
Architecture
Patterns
blog.bytebytego.com
·
1h
🏗️
Design Patterns
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
·
Discuss:
Hacker News
🏗️
Design Patterns
Zero State
Architecture
deep
dive
news.ycombinator.com
·
37m
·
Discuss:
Hacker News
🎯
A* Search
Introduction To
Concurrency
|
Concurrency
Interview |
AlgoMaster.io
algomaster.io
·
1d
🔬
Static Analysis
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
15h
·
Discuss:
Hacker News
λ
Functional Programming
Show HN: The
GPG
Guide – Practical
OpenPGP
for 2026
leanpub.com
·
2h
·
Discuss:
Hacker News
💣
Binary Exploitation
The
Lazy
Builder
’s Complexity Lesson
artima.com
·
4d
⏱️
Computational Complexity
Cantor
Normal
Form
infinitelymore.xyz
·
5h
🔁
Recursion
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
3h
·
Discuss:
Lobsters
🔬
Static Analysis
What Happened With
Bio
Anchors
?
astralcodexten.com
·
7h
⏱️
Computational Complexity
Proving
What's Possible
buttondown.com
·
23h
λ
Functional Programming
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
λ
Functional Programming
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
2h
·
Discuss:
Hacker News
🌳
Red-Black Trees
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
1d
⏱️
Computational Complexity
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
1d
λ
Functional Programming
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
3d
🌳
Red-Black Trees
Go -
Unit
&
Integration
Testing
linkedin.com
·
21h
·
Discuss:
r/programming
λ
Functional Programming
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