Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Static Analysis
🔍 Static Analysis
linting, program analysis, AST, dataflow analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
143
posts in
7.2
ms
chore(deps-dev): bump the
typescript-eslint
group with 2 updates (#22…
🗣️
New Languages
Content type:
Code
github.com
·
1d
1 day ago
Actions for chore(deps-dev): bump the typescript-eslint group with 2 updates (#22…
Zcash Developers Weigh New Shielded Pool After Orchard Bug
✅
Formal Verification
cointelegraph.com
·
4d
4 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
Subversion-Resistance for Free from
Formal
Verification
✅
Formal Verification
lesswrong.com
·
19h
19 hours ago
Actions for Subversion-Resistance for Free from Formal Verification
Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with
Data-informed
Static
Analysis
🛠️
Developer Tools
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔤
Type Systems
lix.polytechnique.fr
·
1h
1 hour ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
🛠️
Developer Tools
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
✅
Formal Verification
Content type:
News
coindesk.com
·
4d
4 days ago
Actions for Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
✍️
Prompt Engineering
Content type:
News
wwd.com
·
18h
18 hours ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
I wish Deno would keep doing what it does best
λ
Functional Programming
hackers.pub
·
1d
1 day ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
Getting agents to code less slop
🛠️
Developer Tools
Content type:
Blog
thempatel.com
·
4d
4 days ago
·
Hacker News
Actions for Getting agents to code less slop
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
✅
Formal Verification
Content type:
Discussion
news.ycombinator.com
·
11h
11 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
AI Wrote the Code. Now It Broke. Who's Responsible?
🛠️
Developer Tools
stickyminds.com
·
1d
1 day ago
Actions for AI Wrote the Code. Now It Broke. Who's Responsible?
Researchers discover hidden chip threats and a way to stop them
✅
Formal Verification
techxplore.com
·
16h
16 hours ago
Actions for Researchers discover hidden chip threats and a way to stop them
CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog
🛠️
Developer Tools
Content type:
Blog
Content type:
Tutorial
github.blog
·
4d
4 days ago
Actions for CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog
Open Code Review (Alibaba)
🛠️
Developer Tools
notes.dsebastien.net
·
22h
22 hours ago
Actions for Open Code Review (Alibaba)
VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry
🛠️
Developer Tools
eff.org
·
1d
1 day ago
Actions for VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry
Junior Architects with Shaky Logic: Testing AI’s Real-World Coding Skills – article review
🛠️
Developer Tools
Content type:
Blog
metrics.blogg.gu.se
·
5d
5 days ago
Actions for Junior Architects with Shaky Logic: Testing AI’s Real-World Coding Skills – article review
chore(deps-dev): bump
eslint-plugin-n
from 18.0.1 to 18.1.0 (#22230)
🗣️
New Languages
Content type:
Code
github.com
·
20h
20 hours ago
Actions for chore(deps-dev): bump eslint-plugin-n from 18.0.1 to 18.1.0 (#22230)
Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
🛠️
Developer Tools
Content type:
Blog
blogs.gnome.org
·
1d
1 day ago
Actions for Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
Community Laravel Extension for Zed
🐘
PostgreSQL
laravel-news.com
·
6d
6 days ago
Actions for Community Laravel Extension for Zed
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
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
Browse
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