Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Static Analysis
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
106
posts in
17.9
ms
🛠️
Developer Tooling
GitHub
·
2d
2 days ago
Show HN:
Codeflowmap
– map a
codebase
's read/write/auth
data
flows
Covers
2 stories
See all stories this covers
including
Ollama
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: Codeflowmap – map a codebase's read/write/auth data flows
🛠️
Developer Tooling
arXiv
·
6h
6 hours ago
Apple Neural Engine: Architecture,
Programming
, and Performance
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Apple Neural Engine: Architecture, Programming, and Performance
📝
Parser Combinators
Haskell Weekly Newsletter
·
4d
4 days ago
Issue 529
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Issue 529
🛠️
Developer Tooling
JetBrains
·
5d
5 days ago
Qodana Is a Finalist in the 2026
CODiE
Awards for Best DevOps Tool
Love
Like
Not for me
Save
See related topics
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
🛠️
Developer Tooling
Bloomberg
·
6d
6 days ago
Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
Love
Like
Not for me
Save
See related topics
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
🌐
Network Protocols
tempestphp.com
·
5d
5 days ago
A generic tragedy: Why PHP's Generics vote failed
Covers
PHP RFC: Bound-Erased Generic Types
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A generic tragedy: Why PHP's Generics vote failed
📡
Protocol Design
arXiv
·
6h
6 hours ago
Formally
Verified
Code
Synthesis for Structured Data Translation in a Medical Internet of Things
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things
🛠️
Developer Tooling
SD Times
·
6d
6 days ago
Checkmarx Unveils Next Generation SAST Engine with Hybrid AI Architecture
Love
Like
Not for me
Save
See related topics
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
🛠️
Developer Tooling
The Register
·
5d
5 days ago
If AGENTS.md smells ripe, your
code
won't live up to the hype
Covers
3 stories
See all stories this covers
including
The AGENTS.md Standard: A simple, open format for guiding coding agents
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for If AGENTS.md smells ripe, your code won't live up to the hype
⚙️
Concurrency Models
arXiv
·
6h
6 hours ago
A
Formal
Tool for
Verification
of Probabilistic Spiking Neural Networks Based on Quotient
Abstractions
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
🛠️
Developer Tooling
theembeddedrustacean.com
·
3d
3 days ago
The Embedded Rustacean Issue #74
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Embedded Rustacean Issue #74
🛠️
Developer Tooling
react.doctor
·
4d
4 days ago
We Added React Doctor to Our UI Kit Monorepo. Here's What It Found.
Covered by
thereactnativerewind.com
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for We Added React Doctor to Our UI Kit Monorepo. Here's What It Found.
🔀
Concurrency
minovativemind.dev
·
3d
3 days ago
What are good benchmarks to test my CLI AI agentic system?
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What are good benchmarks to test my CLI AI agentic system?
🛠️
Developer Tooling
nrird.com
·
5d
5 days ago
archmap
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for archmap
🛠️
Developer Tooling
GitHub
·
1d
1 day ago
GitHub
Covers
Open Source Vulnerabilities
Covered by
5 sources
See all sources covering this story
including
tldr.tech
,
blog.outsider.ne.kr
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub
🛠️
Developer Tooling
Malware Analysis, News and Indicators
·
1w
1 week ago
The New Standard for URL
Analysis
: Closing Phishing Blind Spots with In-Browser
Data
Inspection
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The New Standard for URL Analysis: Closing Phishing Blind Spots with In-Browser Data Inspection
🛠️
Developer Tooling
arXiv
·
6h
6 hours ago
Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale
🛠️
Developer Tooling
newsletter.techworld-with-milan.com
·
4d
4 days ago
The Trends #11: AI agents still can't build software from scratch
Covers
3 stories
See all stories this covers
including
Show HN: New Benchmark from SWE-bench team is 0% solved
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Trends #11: AI agents still can't build software from scratch
⚡
Hardware Acceleration
pokde.net
·
6d
6 days ago
Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
Love
Like
Not for me
Save
See related topics
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
🛠️
Developer Tooling
arXiv
·
6h
6 hours ago
Evaluating LLMs for Real-World Web Vulnerability Detection
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Evaluating LLMs for Real-World Web Vulnerability Detection
« 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