Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computer Science
💻 Computer Science
Broad
CS research, algorithms, systems, computing theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
368
posts in
11.7
ms
🗂️
Data Structures
arxiv.org
·
3d
3 days ago
An alternative way of defining finite
graphs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An alternative way of defining finite graphs
🧮
Algorithms
arxiv.org
·
5d
5 days ago
On the
Complexity
of the Circuit Width Problem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for On the Complexity of the Circuit Width Problem
✅
Formal Methods
arxiv.org
·
5d
5 days ago
Verifying the Rust Standard Library
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying the Rust Standard Library
✅
Formal Methods
arxiv.org
·
3d
3 days ago
A-COMPASS:
Formal
Foundations for Anonymity Analysis in Microdata
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A-COMPASS: Formal Foundations for Anonymity Analysis in Microdata
🧮
Algorithms
arxiv.org
·
6d
6 days ago
The
Complexity
of Min-Max Optimization for Quadratic Polynomials
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Complexity of Min-Max Optimization for Quadratic Polynomials
🧮
Algorithms
arxiv.org
·
6d
6 days ago
The algebra of Krom logic programs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The algebra of Krom logic programs
🧮
Algorithms
arxiv.org
·
3d
3 days ago
ConsisFormer:
Compute-Efficient
Transformer for Wireless Foundation Models Based on Channel Consistency
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ConsisFormer: Compute-Efficient Transformer for Wireless Foundation Models Based on Channel Consistency
🔬
Deep Learning
arxiv.org
·
6d
6 days ago
Google's Training Supercomputers from TPU v2 to Ironwood: Architectural Stability, Scale, Resilience, Power Efficiency, and Sustainability Across Five Generatio...
Covered by
Semiconductor Engineering
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Google's Training Supercomputers from TPU v2 to Ironwood: Architectural Stability, Scale, Resilience, Power Efficiency, and Sustainability Across Five Generatio...
🔢
Math
arxiv.org
·
5d
5 days ago
IsabeLLM: Automated
Theorem
Proving Applied to
Formally
Verifying Consensus
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
🤖
AI
arxiv.org
·
6d
6 days ago
Evaluating Gemma4 Models as AI Teaching Assistants for Introductory Parallel Programming: A DataRaceBench Study
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Evaluating Gemma4 Models as AI Teaching Assistants for Introductory Parallel Programming: A DataRaceBench Study
🎲
Procedural Generation
arxiv.org
·
6d
6 days ago
The CREATOR Project: Towards a
Computational
Electric Machine Laboratory
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The CREATOR Project: Towards a Computational Electric Machine Laboratory
🔬
Deep Learning
arxiv.org
·
3d
3 days ago
SPINE: A Fault Injection Profiler for Quantized Neural Networks under Accumulated Faults
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for SPINE: A Fault Injection Profiler for Quantized Neural Networks under Accumulated Faults
🔬
Deep Learning
arxiv.org
·
5d
5 days ago
From GPU to Microcontroller: Online Ridge Regression for Edge-Deployable Traffic Prediction
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From GPU to Microcontroller: Online Ridge Regression for Edge-Deployable Traffic Prediction
🤖
AI
arxiv.org
·
6d
6 days ago
Improving Capstone Team Outcomes through Dynamic Skill Matching and Preference Alignment
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Improving Capstone Team Outcomes through Dynamic Skill Matching and Preference Alignment
🔢
Math
arxiv.org
·
6d
6 days ago
The asymptotic spectrum distance,
graph
limits, and the Shannon capacity
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The asymptotic spectrum distance, graph limits, and the Shannon capacity
🔢
Math
arxiv.org
·
6d
6 days ago
Structural Lemmas on Temporal Connectivity
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Structural Lemmas on Temporal Connectivity
🌐
Open Web
arxiv.org
·
5d
5 days ago
SNAS: A Multi-Layer Defense-in-Depth Architecture for Secure Egress in Sandboxed Workloads
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for SNAS: A Multi-Layer Defense-in-Depth Architecture for Secure Egress in Sandboxed Workloads
🤖
LLMs
arxiv.org
·
6d
6 days ago
PaperJury: Due-Process
Review
for Bounded LaTeX Revision
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for PaperJury: Due-Process Review for Bounded LaTeX Revision
🔬
Science
arxiv.org
·
6d
6 days ago
Chaining Tasks, Redefining Work: A
Theory
of AI Automation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Chaining Tasks, Redefining Work: A Theory of AI Automation
✅
Formal Methods
arxiv.org
·
4d
4 days ago
Differential Equation Inductive Robustness Axiomatization
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Differential Equation Inductive Robustness Axiomatization
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report