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
109
posts in
7.4
ms
Claude Fable 5 Calls "Fill This Buffer Fast" a Cyber Attack
©
C
hftuniversity.com
·
16h
16 hours ago
·
Hacker News
Actions for Claude Fable 5 Calls "Fill This Buffer Fast" a Cyber Attack
Ask HN: What has been the fate of
code
review?
✓
Formal Verification
Content type:
Discussion
news.ycombinator.com
·
2d
2 days ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
Proof System Timelines
🔤
Type Theory
Content type:
Blog
klatz.co
·
4d
4 days ago
Actions for Proof System Timelines
DynamoRIO/dynamorio: Dynamic Instrumentation Tool Platform
🖥️
Emulation
Content type:
Code
github.com
·
7h
7 hours ago
Actions for DynamoRIO/dynamorio: Dynamic Instrumentation Tool Platform
Less-relevant results
Securing CI/CD for an open source project: Locking down dependencies
🤖
Automation
Content type:
Blog
cncf.io
·
22h
22 hours ago
Actions for Securing CI/CD for an open source project: Locking down dependencies
Show HN: A Terrible Way to Consume Hacker News – AI Slop
🕸️
WASM
deadinternet.tech
·
18h
18 hours ago
·
Hacker News
Actions for Show HN: A Terrible Way to Consume Hacker News – AI Slop
Static
Code
Analysis
and the Rules of Zero, Three, and Five
🛡️
Memory Safety
Content type:
Blog
blog.jetbrains.com
·
3d
3 days ago
Actions for Static Code Analysis and the Rules of Zero, Three, and Five
Book note: The Open Logic FOL texts
✓
Formal Verification
Content type:
Blog
logicmatters.net
·
2d
2 days ago
Actions for Book note: The Open Logic FOL texts
Open
Code
Review (Alibaba)
🔍
Code Review
notes.dsebastien.net
·
3d
3 days ago
Actions for Open Code Review (Alibaba)
Essential Cybersecurity Tools Every Developer Should Use in 2026
🔌
Network Programming
thecrazyprogrammer.com
·
2d
2 days ago
Actions for Essential Cybersecurity Tools Every Developer Should Use in 2026
RECON: An LLM-Enhanced Backward Constraint
Analysis
Framework
🧩
Constraint Programming
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Graviton5’s improved
design
increases speed and energy efficiency — beyond Moore’s law
💾
Cache Optimization
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Hacker News
Actions for Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
✓
Formal Verification
channelnewsasia.com
·
1h
1 hour ago
Actions for Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
🔍
Code Review
Content type:
Blog
blogs.gnome.org
·
4d
4 days ago
Actions for Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
2026-06-10, Wednesday
🔤
Type Theory
hakon.gylterud.net
·
2d
2 days ago
Actions for 2026-06-10, Wednesday
SAST vs SCA: Key Differences for AppSec Teams
🔍
SQL
orca.security
·
4d
4 days ago
Actions for SAST vs SCA: Key Differences for AppSec Teams
I'
ve
Joined OpenAI, fwd:cloudsec, AWS Well
Architected
Supply Chain Security
🤖
Automation
tldrsec.com
·
1d
1 day ago
Actions for I've Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security
VICTORY: Meta Strips Facial Recognition
Code
From Smart Glasses App After Public Outcry
🧘
Digital Minimalism
eff.org
·
4d
4 days ago
·
Hacker News
·
Cited by 1 article
Actions for VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
📊
Observability
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
📈
Economic History
Content type:
News
wwd.com
·
3d
3 days ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
« 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