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
122634
posts in
1.47
s
On Crypto
Cycles
thediff.co
·
1d
λ
Functional Programming
Nice
TCR
processing libraries | Oxford Protein
Informatics
Group
blopig.com
·
22h
⏱️
Computational Complexity
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Case Studies on how to solve
product/landing/launch/GTM
problems (
possibleProblem
->Solution IF-THEN structure)
docs.google.com
·
1d
·
Discuss:
r/SideProject
🏗️
Design Patterns
Can AI Prove It?
Terence
Tao on “Big Math” and Our
Theoretical
Future
3quarksdaily.com
·
21h
⏱️
Computational Complexity
What AI Security Research Looks Like When It Works
aisle.com
·
2d
💣
Binary Exploitation
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
23h
📈
Optimization
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
1d
⏱️
Computational Complexity
Quality and
understandability
after AI
federicopereiro.com
·
4h
·
Discuss:
Hacker News
⏱️
Computational Complexity
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
·
6h
·
Discuss:
Hacker News
🎯
A* Search
Building a Production-Ready Traffic Violation Detection System with
YOLOv8
and
DeepSORT
hackernoon.com
·
1d
🌳
Red-Black Trees
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
18h
·
Discuss:
Hacker News
,
r/rust
💣
Binary Exploitation
Quick
Stack
Tiedown
artlu.bearblog.dev
·
20h
💻
programming
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
2d
🔬
Static Analysis
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
2d
·
Discuss:
r/rust
🔁
Recursion
OpenEnv
in Practice:
Evaluating
Tool-Using Agents in Real-World Environments
huggingface.co
·
15h
🏗️
Design Patterns
Show HN:
CasNum
– A GameBoy ALU using only compass-&-
straightedge
constructions
github.com
·
3h
·
Discuss:
Hacker News
🔢
mathmemathics
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
6h
·
Discuss:
DEV
λ
Functional Programming
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
5d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Loading...
Loading more...
« Page 6
•
Page 8 »
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