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
Static Analysis
🔍 Static Analysis
Code Linting, Bug Detection, Formal Methods, Program Analysis
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
160
posts in
14.4
ms
🏗️
Compiler Design
sebnilsson.com
·
10h
10 hours ago
AI Driven Migration of New Website
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 Driven Migration of New Website
🦀
Rust
GitHub
·
21h
21 hours ago
ratatui/mousefood mousefood-v0.5.1
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 ratatui/mousefood mousefood-v0.5.1
🏗️
Compiler Design
Ziggit
·
2d
2 days ago
Discussion: A potential solution to the anytype 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 Discussion: A potential solution to the anytype problem
✅
Lean Theorem Prover
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
🏗️
Compiler Design
The JetBrains Blog
·
4d
4 days ago
Qodana Is a Finalist in the 2026
CODiE
Awards for Best DevOps Tool
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 Qodana Is a Finalist in the 2026 CODiE Awards for Best DevOps Tool
✅
Lean Theorem Prover
Socket
·
2d
2 days ago
GitHub Actions Checkout Now Blocks Risky pull_request_target Checkouts
Covers
Keeping your GitHub Actions and workflows secure: Preventing pwn requests (2021)
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 GitHub Actions Checkout Now Blocks Risky pull_request_target Checkouts
🛡️
Memory Safety
Latest Hacking News
·
9h
9 hours ago
SQL Injection: Why It Persists and How to Prevent It
Covers
NVD - Home
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 SQL Injection: Why It Persists and How to Prevent It
🏗️
Compiler Design
Silicon Opera
·
5d
5 days ago
The Compiler Knows Your
Code
Better Than You Do
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 Compiler Knows Your Code Better Than You Do
🛡️
Memory Safety
Malware Analysis, News and Indicators
·
14h
14 hours ago
A Multi-Stage Steganographic Loader Campaign Deploying Diverse Payloads Globally
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 Multi-Stage Steganographic Loader Campaign Deploying Diverse Payloads Globally
🏗️
Compiler Design
Willi Ballenthin
·
1d
1 day ago
IDA Plugin Updates on 2026-06-21
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 IDA Plugin Updates on 2026-06-21
✅
Lean Theorem Prover
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
🏗️
Compiler Design
jatniel.dev
·
1d
1 day ago
TypeScript 7 RC: the compiler rewritten in Go, around 10x faster
Covers
2 stories
See all stories this covers
including
Announcing TypeScript 7.0 RC
Covered by
DEV Community
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 TypeScript 7 RC: the compiler rewritten in Go, around 10x faster
🏗️
Compiler Design
SD Times
·
6d
6 days ago
Checkmarx Unveils Next Generation SAST Engine with Hybrid AI Architecture
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 Checkmarx Unveils Next Generation SAST Engine with Hybrid AI Architecture
💻
Programming
Track Awesome List
·
1d
1 day ago
Awesome List Updated on Jun 21, 2026
Covers
5 stories
See all stories this covers
including
Github repo or feel free to ask any questions here! PS: we are hiring!
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 Awesome List Updated on Jun 21, 2026
🛡️
Memory Safety
Scott Spence
·
1d
1 day ago
How I Stop LLMs Drifting In Production
Codebases
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 I Stop LLMs Drifting In Production Codebases
✅
Lean Theorem Prover
InfoWorld
·
6d
6 days ago
Shipping enterprise-quality
code
with AI agents
Covers
2 stories
See all stories this covers
including
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
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 Shipping enterprise-quality code with AI agents
🦀
Rust
theembeddedrustacean.com
·
3d
3 days ago
The Embedded Rustacean Issue #74
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 Embedded Rustacean Issue #74
✅
Lean Theorem Prover
TildAlice
·
2d
2 days ago
Git Stash vs Worktree: 4 Patterns for Context Switching
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 Git Stash vs Worktree: 4 Patterns for Context Switching
🏗️
Compiler 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
🛡️
Memory Safety
TNW | Artificial-Intelligence
·
2d
2 days ago
Microsoft finds USB worm that steals cryptocurrency through clipboard hijacking and Tor
Covered by
Metacurity
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 Microsoft finds USB worm that steals cryptocurrency through clipboard hijacking and Tor
« 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