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
17.8
ms
🧮
Algorithms
Brain Inspired
·
5d
5 days ago
BI 240 Cristopher Moore: Cognition and
Computational
Complexity
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 BI 240 Cristopher Moore: Cognition and Computational Complexity
🎵
Music
arxiv.org
·
22h
22 hours ago
[2606.19936] Prismriver:
Formalization
of Music
Theory
and
Algorithmic
Composition in Lean 4
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 [2606.19936] Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
✅
Formal Methods
spawn-queue.acm.org
·
2d
2 days ago
You Don’t Know Jack About
Formal
Verification
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 You Don’t Know Jack About Formal Verification
🏴☠️
Piracy
NL Times
·
23h
23 hours ago
PostNL removes 800 mailboxes as Dutch mail reliability stays below legal standard
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 PostNL removes 800 mailboxes as Dutch mail reliability stays below legal standard
🧬
Computational Biology
Department of Computer Science
·
5d
5 days ago
Lili Qiu Wins SIGMOBILE Test-of-Time Award for Landmark Paper
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 Lili Qiu Wins SIGMOBILE Test-of-Time Award for Landmark Paper
📱
UX Design
link.springer.com
·
6d
6 days ago
The French School of Programming
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 The French School of Programming
🔢
Math
youtube.com
Content type:
Video
·
3d
3 days ago
Dana Scott:
Lambda
Calculus
, Forcing and the Foundations of Math: #14 aboutlogic [video]
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 Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]
🤖
Machine Learning
Nature
·
4d
4 days ago
Agricultural sustainability monitoring in arid regions using hybrid deep learning and Landsat 8 imagery in Najran City, Saudi Arabia
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 Agricultural sustainability monitoring in arid regions using hybrid deep learning and Landsat 8 imagery in Najran City, Saudi Arabia
✅
Formal Methods
TechCrunch
·
5d
5 days ago
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
Covered by
SiliconANGLE
,
AI资讯速览
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 Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
✅
Formal Methods
Adam Keys is typing
·
4d
4 days ago
The local maxima we need to reach the next global maximum
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 local maxima we need to reach the next global maximum
🧬
Computational Biology
arxiv.org
·
3d
3 days ago
Measuring Curriculum Alignment across Topical Coverage, Competency, and Cognitive Depth: A Longitudinal Framework Applied to CS2013 and CS2023
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 Measuring Curriculum Alignment across Topical Coverage, Competency, and Cognitive Depth: A Longitudinal Framework Applied to CS2013 and CS2023
♟️
Game Theory
arxiv.org
·
6d
6 days ago
The
Computational
Complexity
of Team Zero-Sum Games
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 Computational Complexity of Team Zero-Sum Games
🧮
Algorithms
arxiv.org
·
6d
6 days ago
Revisiting average case
complexity
of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4
Formalization
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 Revisiting average case complexity of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4 Formalization
🔢
Math
arxiv.org
·
6d
6 days ago
A Lean 4
Formalization
of Euclidean Domain
Algorithms
from a 1986 Icon Experimentation Package
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 Lean 4 Formalization of Euclidean Domain Algorithms from a 1986 Icon Experimentation Package
✅
Formal Methods
arxiv.org
·
3d
3 days ago
AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
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 AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
🔢
Math
arxiv.org
·
3d
3 days ago
A Tool for the Synthesis of Adaptive Probabilistic Processors Based on the Ising Model
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 Tool for the Synthesis of Adaptive Probabilistic Processors Based on the Ising Model
✅
Formal Methods
arxiv.org
·
6d
6 days ago
ESBMC-PLC:
Formal
Verification
of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
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 ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
🤖
Machine Learning
arxiv.org
·
4d
4 days ago
Some
Complexity
Results for Robustness
Verification
for Binarized Neural Networks
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 Some Complexity Results for Robustness Verification for Binarized Neural Networks
🧮
Algorithms
arxiv.org
·
6d
6 days ago
Improved GPR-Based CSI Acquisition via Spatial-Correlation Kernel
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 Improved GPR-Based CSI Acquisition via Spatial-Correlation Kernel
✅
Formal Methods
arxiv.org
·
3d
3 days ago
Formal
Verification
of Learned Multi-Agent Communication Policies via Decision Tree Distillation
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 Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation
Page 2 »
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