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
theoretical CS, computational complexity, formal methods, automata
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
148
posts in
7.1
ms
The Birth of ‘Artificial Intelligence’
💻
Computer Science
dartmouthalumnimagazine.com
·
2d
2 days ago
Actions for The Birth of ‘Artificial Intelligence’
Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing
💻
Computer Science
techrights.org
·
6d
6 days ago
Actions for Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing
AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
🌐
Distributed Systems
siliconangle.com
·
1d
1 day ago
Actions for AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
On the
Complexity
of the Bi-infinite Post Correspondence Problem
💻
Computer Science
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
Comp.compilers
: Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026)
💻
Computer Science
compilers.iecc.com
·
6d
6 days ago
Actions for Comp.compilers: Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026)
CTTF: Cross-Temporal Tri-Difference Fusion With Mamba for Remote Sensing Change Detection
💻
Computer Science
Content type:
Academic
ieeexplore.ieee.org
·
6d
6 days ago
Actions for CTTF: Cross-Temporal Tri-Difference Fusion With Mamba for Remote Sensing Change Detection
View from Bangladesh: India forcing people across the border is becoming a test of ties
💻
Computer Science
Content type:
News
scroll.in
·
1d
1 day ago
Actions for View from Bangladesh: India forcing people across the border is becoming a test of ties
Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
🔷
C#
ziggit.dev
·
4d
4 days ago
Actions for Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
Less-relevant results
crafting with code: how architects reinvent making through robotics and digital fabrication
💻
Computer Science
designboom.com
·
2d
2 days ago
Actions for crafting with code: how architects reinvent making through robotics and digital fabrication
Second-Order Least Squares as a Special Case of the Polynomial Maximization
Method
📊
Algorithms
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for Second-Order Least Squares as a Special Case of the Polynomial Maximization Method
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.
💻
Computer Science
Content type:
Code
github.com
·
6d
6 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.
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
🛠️
Software Engineering
sdtimes.com
·
1d
1 day ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
Deterministic Biological Regulation in the Face of
Complex
Non-Linear Systems
💻
Computer Science
Content type:
Blog
write.as
·
6d
6 days ago
Actions for Deterministic Biological Regulation in the Face of Complex Non-Linear Systems
A Mike's-Eye View of ARC's Research
💻
Computer Science
lesswrong.com
·
2d
2 days ago
Actions for A Mike's-Eye View of ARC's Research
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
🌍
Open Source
cointelegraph.com
·
3d
3 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
When Types Intersect and Effects Get Handled
🔷
C#
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for When Types Intersect and Effects Get Handled
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
💻
Computer Science
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
3d
3 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
"a game of court intrigue where AI simulates the various courtiers"
💻
Computer Science
substack.com
·
3d
3 days ago
·
Substack
Actions for "a game of court intrigue where AI simulates the various courtiers"
Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
💻
Computer Science
techxplore.com
·
3d
3 days ago
Actions for Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
💻
Computer Science
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
Sign up or log in to see more results
Sign Up
Login
« 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