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
122541
posts in
1.22
s
nil
in Go Is Not What You Think
sushantdhiman.dev
·
1h
·
Discuss:
r/golang
λ
Functional Programming
Nice
TCR
processing libraries | Oxford Protein
Informatics
Group
blopig.com
·
1d
⏱️
Computational Complexity
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Blogger
📊
Data Structures
Why
agile
development is hard in
hardware
evercurrent.substack.com
·
47m
·
Discuss:
Substack
🏗️
Design Patterns
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
14h
🏗️
Design Patterns
Can AI Prove It?
Terence
Tao on “Big Math” and Our
Theoretical
Future
3quarksdaily.com
·
1d
⏱️
Computational Complexity
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
1d
📈
Optimization
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
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
1d
⏱️
Computational Complexity
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Quality and
understandability
after AI
federicopereiro.com
·
8h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Not All
RecSys
Problems Are Created
Equal
towardsdatascience.com
·
1d
📈
Optimization
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
·
10h
·
Discuss:
Hacker News
🎯
A* Search
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
2d
·
Discuss:
r/rust
🔁
Recursion
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Building a Production-Ready Traffic Violation Detection System with
YOLOv8
and
DeepSORT
hackernoon.com
·
1d
🌳
Red-Black Trees
In defense of not
reading
the code
benshoemaker.us
·
33m
·
Discuss:
Hacker News
🔬
Static Analysis
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
The Alignment
Bottleneck
in
Decomposition-Based
Claim Verification
arxiv.org
·
14h
⏱️
Computational Complexity
Symfony
AI Agents in
Symfony
7.4: Best
Practices
for Clean Architecture, Tools, and Testing
hackernoon.com
·
14h
🏗️
Design Patterns
Loading...
Loading more...
« Page 8
•
Page 10 »
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