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
106
posts in
7.0
ms
Rolling Stock Planning Using the Quantum Approximate Optimization
Algorithm
🛡️
Byzantine Fault Tolerance
Content type:
Academic
arxiv.org
·
2h
2 hours ago
Actions for Rolling Stock Planning Using the Quantum Approximate Optimization Algorithm
Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"
🧩
PKM
techrights.org
·
3d
3 days ago
Actions for Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"
The Birth of ‘Artificial Intelligence’
🤖
Anthropic Claude API
dartmouthalumnimagazine.com
·
1d
1 day ago
Actions for The Birth of ‘Artificial Intelligence’
Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
🤖
Anthropic Claude API
techxplore.com
·
2d
2 days ago
Actions for Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
Show HN:
TuringLLM
– a LLM-powered Universal Turing
machine
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Show HN: TuringLLM – a LLM-powered Universal Turing machine
𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
🤖
Anthropic Claude API
ghostarchive.org
·
6d
6 days ago
Actions for 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
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
Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing
📊
OpenTelemetry
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
Focus is Motivation
🗃️
Zettelkasten
Content type:
Blog
scotthyoung.com
·
6d
6 days ago
Actions for Focus is Motivation
Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
⚙️
Compilers
ziggit.dev
·
3d
3 days ago
Actions for Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
Generalizing LCL
Complexity
Gaps to Unbounded Degree via Monadic Second-Order Properties
✅
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Using Ropes for
Computation
🔑
Cryptography
wiki.xxiivv.com
·
6d
6 days ago
·
Hacker News
Actions for Using Ropes for Computation
The Future Is Undecidable. Duty Is Not.
✅
Formal Verification
Content type:
Blog
dhanjit.me
·
3d
3 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Palindrome
complexity
versus factor
complexity
🌳
Tree-sitter
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Palindrome complexity versus factor complexity
7 Days: "Enough is enough,"
Computex
2026, and the next trillion-dollar company
🔐
Security Research
neowin.net
·
3d
3 days ago
Actions for 7 Days: "Enough is enough," Computex 2026, and the next trillion-dollar company
Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
✅
Formal Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
🤖
Anthropic Claude API
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
On the
Complexity
of the Bi-infinite Post Correspondence Problem
✅
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
A remark on diagnosability verification
✅
Formal Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A remark on diagnosability verification
« Page 1
·
Page 3 »
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