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
algorithms, data structures, complexity, CS research
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
33
posts in
27.5
ms
🖥️
CS Fundamentals
Brain Inspired
·
4d
4 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
🔒
Protocol Verification
spawn-queue.acm.org
·
1d
1 day 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
🚀
Science Fiction
GitHub
·
7h
7 hours ago
Turing
's Freedom
Machine
: Shifting Gravity to Break the Mainframe's Chains
Discussed on
DEV
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 Turing's Freedom Machine: Shifting Gravity to Break the Mainframe's Chains
🖥️
CS Fundamentals
en.algorithmica.org
·
6d
6 days ago
Complexity
Models
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 Complexity Models
🤖
AI Tools
TheSequence
·
16h
16 hours ago
The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
Covers
4 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Discussed on
Substack
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 Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner
🤖
AI
boolsi.com
·
1d
1 day ago
Enable software developers to compile hotspots into custom
hardware
accelerators
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 Enable software developers to compile hotspots into custom hardware accelerators
💻
Tech News
TechCrunch
·
4d
4 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
🕰️
Computing History
obsolescence.dev
·
2d
2 days ago
The Early Days: A History of Interactive
Computing
(obsolescence.dev)
Discussed on
Hacker News
and
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 Early Days: A History of Interactive Computing (obsolescence.dev)
🤖
AI
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
👁️
Observability
Adam Keys is typing
·
3d
3 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
🖥️
CS Fundamentals
thetransmitter.org
·
4d
4 days ago
Are
computational
complexity
principles relevant for explaining brain activity?
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 Are computational complexity principles relevant for explaining brain activity?
🔐
Supply Chain Security
bloomberg.com
·
5d
5 days ago
Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
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 Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
🧬
Biology
lesswrong.com
·
4d
4 days ago
Toward a Kantian refutation of Agent Foundations
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 Toward a Kantian refutation of Agent Foundations
🔑
Cryptography
David Wong
·
6d
6 days ago
Looking for a cryptography audit? Here's where to go
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 Looking for a cryptography audit? Here's where to go
🚀
Performance
Adrian Sampson
·
3d
3 days ago
Advanced Compilers: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
4 sources
See all sources covering this story
including
Hacker News
,
daemonology.net
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 Advanced Compilers: The Self-Guided Online Course
🔬
Tech & Science
Techrights
·
4d
4 days ago
Links 18/06/2026: UK Social Media Ban for Minors, Finland Lifts a Nuclear Weapons Ban
Covers
8 stories
See all stories this covers
including
Social media ban: responses to 10 common objections • Edrith
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 Links 18/06/2026: UK Social Media Ban for Minors, Finland Lifts a Nuclear Weapons Ban
🟩
Nvidia
pokde.net
·
5d
5 days ago
Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
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 Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
🛡️
Security Research
sigmaprime.io
·
6d
6 days ago
AI as a Force Multiplier for Security Engineers
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 AI as a Force Multiplier for Security Engineers
⚙️
C++
people.kernel.org
·
6d
6 days ago
C++ Lifetime-End Pointer-Zap and OOTA Progress
Covers
TIL Edward A Murphy Jr (of Murphy's Law fame) original quote was "If there are two or more ways to do something and one of those results in a catastrophe, then ...
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 C++ Lifetime-End Pointer-Zap and OOTA Progress
🌀
Complexity Science
journals.plos.org
·
3d
3 days ago
A comparison of contact patterns derived from the population
structure
in agent-based models and empirical contact survey
data
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 comparison of contact patterns derived from the population structure in agent-based models and empirical contact survey data
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