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
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144
posts in
7.1
ms
Introducing Jo — Secure
Programming
for the AI Era
✓
Formal Verification
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Fewer False Positives in RustRover 2026.2|The RustRover Blog
🦀
Rust
Content type:
Blog
blog.jetbrains.com
·
1d
1 day ago
Actions for Fewer False Positives in RustRover 2026.2|The RustRover Blog
Data-aware
Static
Analysis
: Improving Detection of Semantic Faults in Machine Learning Code Using
Data
Characteristics
🦀
Rust
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics
A
programming
language for humans.
⚙️
Systems Programming
crowdhailer.me
·
2d
2 days ago
·
Lobsters
Actions for A programming language for humans.
Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
🦀
Rust
Content type:
News
coindesk.com
·
5d
5 days ago
Actions for Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
🌟
Open Source
Content type:
Blog
blogs.gnome.org
·
2d
2 days ago
Actions for Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
🔨
Compilers
Content type:
Blog
aws.amazon.com
·
7h
7 hours ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
SAST vs SCA: Key Differences for AppSec Teams
🔒
Memory Safety
orca.security
·
2d
2 days ago
Actions for SAST vs SCA: Key Differences for AppSec Teams
CodeQL
2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog
✓
Formal Verification
Content type:
Blog
Content type:
Tutorial
github.blog
·
5d
5 days ago
Actions for CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog
From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…
⚙️
Systems Programming
Content type:
Blog
medium.com
·
20h
20 hours ago
Actions for From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…
VICTORY:
Meta
Strips Facial Recognition
Code
From Smart Glasses App After Public Outcry
🔍
eBPF
eff.org
·
1d
1 day ago
Actions for VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry
Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
🔍
eBPF
Content type:
Blog
stepsecurity.io
·
7h
7 hours ago
·
Hacker News
Actions for Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
Junior Architects with Shaky Logic: Testing AI’s Real-World
Coding
Skills – article review
🔨
Compiler Design
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
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
🗂️
Zettelkasten
Content type:
News
wwd.com
·
1d
1 day ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
🌐
Distributed Systems
Content type:
Discussion
news.ycombinator.com
·
22h
22 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
The ‘Miasma’ worm source
code
briefly leaked on GitHub
🦀
Rust
Content type:
News
bleepingcomputer.com
·
1h
1 hour ago
Actions for The ‘Miasma’ worm source code briefly leaked on GitHub
Malware ships with bugs that defenders could use against it
🦀
Rust
helpnetsecurity.com
·
1d
1 day ago
Actions for Malware ships with bugs that defenders could use against it
Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
⚙️
Systems Programming
safebots.ai
·
5d
5 days ago
·
Hacker News
Actions for Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with
Data-informed
Static
Analysis
🗄️
Vector Databases
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
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC - prove your Java or Kotlin
code
correct for every input, as easily as writing a JUnit test
✓
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
« Page 1
·
Page 3 »
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