Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computer Science
🧑💻 Computer Science
Broad
algorithms, data structures, complexity, CS research
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
149
posts in
7.5
ms
Complexity
and
Algorithms
for Unary Translocation Distance
🗄️
Vector Databases
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Complexity and Algorithms for Unary Translocation Distance
Are Neural Networks Collision Resistant?
🗄️
Vector Databases
link.aps.org
·
5d
5 days ago
Actions for Are Neural Networks Collision Resistant?
Making
Structured
Reasoning Accessible with AI
🤖
AI Agents
relational.ai
·
20h
20 hours ago
Actions for Making Structured Reasoning Accessible with AI
Why Compiler Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
⚙️
Systems Programming
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
2d
2 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
A Proof on the
Computational
Complexity
of the Traveling Salesman Problem: Why P ≠
NP
🌐
Distributed Systems
zenodo.org
·
19h
19 hours ago
·
Hacker News
Actions for A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP
TiruArt/Pedigree-Polytopes-Lean4: Lean 4
machine-verified
proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P =
NP
via properties of Pedigree Polytopes.
🌐
Distributed Systems
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
The coding interview patterns, explained by building them
⚙️
Systems Programming
Content type:
Tutorial
iwtlp.com
·
1d
1 day ago
·
DEV
Actions for The coding interview patterns, explained by building them
Samuel Mimram — CSC_51051_EP --
Computational
logic: from Artificial intelligence to Zero bugs
🌐
Distributed Systems
lix.polytechnique.fr
·
9h
9 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
AWS can now mathematically prove your VMs are isolated
🤖
AI Agents
thenewstack.io
·
2h
2 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
Dynamic
Programming
Explained Visually: Memoization, Tabulation, and the Patterns That Stick
⚙️
Systems Programming
Content type:
Blog
tryexpora.com
·
2d
2 days ago
·
DEV
Actions for Dynamic Programming Explained Visually: Memoization, Tabulation, and the Patterns That Stick
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
🌐
Open Source
Content type:
Discussion
news.ycombinator.com
·
19h
19 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Reachability-Preserving Minimum Edge Cut Problem and Applications in Biology
🌐
Distributed Systems
Content type:
Academic
biorxiv.org
·
6d
6 days ago
Actions for Reachability-Preserving Minimum Edge Cut Problem and Applications in Biology
2026 FIFA World Cup: Predicting the winner using
graph
theory
🗄️
Vector Databases
Content type:
Blog
cambridge-intelligence.com
·
2d
2 days ago
·
Hacker News
Actions for 2026 FIFA World Cup: Predicting the winner using graph theory
Researchers
develop AI-powered railway control system for efficient urban train operation
🤖
AI Agents
techxplore.com
·
6h
6 hours ago
Actions for Researchers develop AI-powered railway control system for efficient urban train operation
Subversion-Resistance for Free from
Formal
Verification
🌐
Distributed Systems
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
Reinforcement Learning and Optimal Control Book (RIP Dimitri Bertsekas)
🤖
AI Agents
Content type:
Academic
web.mit.edu
·
5d
5 days ago
·
Hacker News
Actions for Reinforcement Learning and Optimal Control Book (RIP Dimitri Bertsekas)
RL in discrete world —
Dynamic
Programming
— Part2: Generalized Policy Iteration (GPI)
🤖
AI Agents
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for RL in discrete world — Dynamic Programming — Part2: Generalized Policy Iteration (GPI)
Programming
Languages Software Award
⚙️
Systems Programming
sigplan.org
·
11h
11 hours ago
Actions for Programming Languages Software Award
Zcash Developers Weigh New Shielded Pool After Orchard Bug
🌐
Distributed Systems
cointelegraph.com
·
5d
5 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
The Traveling Salesman Problem
🌐
Distributed Systems
Content type:
News
Content type:
Blog
rtnf.substack.com
·
1d
1 day ago
·
Substack
Actions for The Traveling Salesman Problem
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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