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
34
posts in
24.7
ms
🌀
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
⚛️
Quantum Policy
ibm.com
·
3d
3 days ago
Allstate explores quantum
computing
for insurance portfolios
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 Allstate explores quantum computing for insurance portfolios
💰
Venture Capital
SiliconANGLE
·
3d
3 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
📐
Mathematics
lesswrong.com
·
6d
6 days ago
Finding pi and G in Mathland
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 Finding pi and G in Mathland
🌠
Cosmology
Made By Nathan (Page 1)
·
3d
3 days ago
Reproducing a String
Theory
Vacuum in Rust
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 Reproducing a String Theory Vacuum in Rust
📋
Patent Law
fearn.ai
·
6d
6 days ago
Mathematicians use Lean to
verify
proofs, whats the equivalent for patent claims
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 Mathematicians use Lean to verify proofs, whats the equivalent for patent claims
☁️
AWS Infrastructure
aws.amazon.com
·
6d
6 days ago
AWS Weekly Roundup: AWS FinOps Agent in preview, Gemma 4 on Bedrock, Kiro
Pro
Max, and more (June 15, 2026)
Covers
Statement on the US government directive to suspend access to Fable 5 and Mythos 5
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 AWS Weekly Roundup: AWS FinOps Agent in preview, Gemma 4 on Bedrock, Kiro Pro Max, and more (June 15, 2026)
☁️
Cloud Security
tldrsec.com
·
3d
3 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
📡
Network Serialization
Real Python
·
6d
6 days ago
Implementing Interfaces in Python: ABCs and Protocols
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 Implementing Interfaces in Python: ABCs and Protocols
🔧
Developer Tooling
nrird.com
·
4d
4 days ago
archmap
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 archmap
∑
Math
TNW | Data-Security
·
3d
3 days ago
Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
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 raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
💻
Tech News
SiliconANGLE
·
4d
4 days ago
Pramaana Labs raises $27M to make AI prove its answers
Covers
Lean: Programming Language and Theorem Prover
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 to make AI prove its answers
« Page 1
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