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
101
posts in
23.8
ms
🧮
Algorithms
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
λ
Type Theory
youtube.com
Content type:
Video
·
2d
2 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]
λ
Type Theory
sciencedirect.com
·
16h
16 hours ago
Ontology-driven seaworthiness risk propagation modeling for autonomous ships: A multiscale analysis framework based on
graph
theory
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 Ontology-driven seaworthiness risk propagation modeling for autonomous ships: A multiscale analysis framework based on graph theory
✅
Formal Verification
arxiv.org
·
2d
2 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
λ
Type Theory
link.springer.com
·
4d
4 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
λ
Type Theory
lesswrong.com
·
12h
12 hours ago
[Linkpost] How Transparent Is DiffusionGemma (and why it matters)
Covers
Natural Language Autoencoders Produce Unsupervised Explanations of LLM Activations
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 [Linkpost] How Transparent Is DiffusionGemma (and why it matters)
✅
Formal Verification
Adam Keys is typing
·
2d
2 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
🧮
Algorithms
en.algorithmica.org
·
5d
5 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
✅
Formal 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
🧮
Algorithms
Nature
·
3d
3 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
🖥️
Homelab
School of Informatics
·
2d
2 days ago
From Informatics to AWS: Giacomo Bernardi and the future of data centre 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 From Informatics to AWS: Giacomo Bernardi and the future of data centre networks
✅
Formal Verification
TechCrunch
·
3d
3 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
⚙️
Compilers
Adrian Sampson
·
2d
2 days ago
Advanced Compilers: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
3 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
➗
Math
Marginal REVOLUTION
·
2d
2 days ago
How
research
in math will change (from my email)
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 How research in math will change (from my email)
🧮
Algorithms
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?
🧮
Algorithms
journals.plos.org
·
2d
2 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
✅
Formal Verification
bloomberg.com
·
4d
4 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
✅
Formal Verification
SiliconANGLE
·
2d
2 days ago
Architect Labs nabs $24M to speed up chip
design
projects with 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 Architect Labs nabs $24M to speed up chip design projects with AI
🔑
Cryptography
David Wong
·
5d
5 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
🔐
Cybersecurity
tldrsec.com
·
2d
2 days ago
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
Covers
8 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
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 Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
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