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
CS Theory
📐 CS Theory
Algorithms, Complexity, Computability, ACM
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
104
posts in
6.7
ms
On the
Complexity
of Signed Domination
✅
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for On the Complexity of Signed Domination
Are Neural Networks Collision Resistant?
🔑
Cryptography
link.aps.org
·
5d
5 days ago
Actions for Are Neural Networks Collision Resistant?
Why Compiler Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
⚙️
Compilers
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 deep learning framework for emotion recognition in music using multimodal data fusion
🤖
Anthropic Claude API
Content type:
Academic
nature.com
·
5h
5 hours ago
Actions for A deep learning framework for emotion recognition in music using multimodal data fusion
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.
✅
Formal Verification
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.
Samuel Mimram — CSC_51051_EP --
Computational
logic: from Artificial intelligence to Zero bugs
✅
Formal Verification
lix.polytechnique.fr
·
19h
19 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
A Proof on the
Computational
Complexity
of the Traveling Salesman Problem: Why P ≠
NP
✅
Formal Verification
zenodo.org
·
1d
1 day ago
·
Hacker News
Actions for A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP
The Traveling Salesman Problem
🧩
PKM
Content type:
News
Content type:
Blog
rtnf.substack.com
·
1d
1 day ago
·
Substack
Actions for The Traveling Salesman Problem
On Architecture Research
🔐
Security Research
plugyawn.com
·
5d
5 days ago
Actions for On Architecture Research
Co-Creator
of Haskell: Functional Programming, Thinking in Types, Useless
Languages
| Simon Jones
⚙️
Compilers
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Fly Genetics Simplifies Mammalian Neurobiology Models
🛡️
Byzantine Fault Tolerance
neurosciencenews.com
·
3d
3 days ago
Actions for Fly Genetics Simplifies Mammalian Neurobiology Models
crafting with code: how architects reinvent making through robotics and digital fabrication
🤖
Anthropic Claude API
designboom.com
·
1d
1 day ago
Actions for crafting with code: how architects reinvent making through robotics and digital fabrication
Understanding Principal Component Analysis (PCA)
🤖
Anthropic Claude API
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Understanding Principal Component Analysis (PCA)
STITCH: Spatial Transcriptomics Imputation via Flow Matching with Internal Learning
🤖
Anthropic Claude API
Content type:
Academic
biorxiv.org
·
4d
4 days ago
Actions for STITCH: Spatial Transcriptomics Imputation via Flow Matching with Internal Learning
Proof System Timelines
✅
Formal Verification
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
what 262,715 regex questions on stack overflow haven't answered (part 2)
🌳
Tree-sitter
Content type:
Blog
iev.ee
·
3d
3 days ago
·
Lobsters
Actions for what 262,715 regex questions on stack overflow haven't answered (part 2)
A Mike's-Eye View of ARC's Research
🤖
Anthropic Claude API
lesswrong.com
·
1d
1 day ago
Actions for A Mike's-Eye View of ARC's Research
Deterministic Biological Regulation in the Face of
Complex
Non-Linear Systems
🔀
distributed systems
Content type:
Blog
write.as
·
6d
6 days ago
Actions for Deterministic Biological Regulation in the Face of Complex Non-Linear Systems
Complexity
and
Algorithms
for Unary Translocation Distance
🛡️
Byzantine Fault Tolerance
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Complexity and Algorithms for Unary Translocation Distance
Turing
universal neural networks do not require global clocks
✅
Formal Verification
Content type:
Academic
nature.com
·
6d
6 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
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