Static Analysis

Feeds to Scour
SubscribedAll
Scoured 141 posts in 7.0 ms

chore(deps-dev): bump the typescript-eslint group with 2 updates (#22…

 🗣️New Languages  Content type: Code
github.com
·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

 Formal Verification
cointelegraph.com·

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·

Subversion-Resistance for Free from Formal Verification

 Formal Verification
lesswrong.com·

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

 🛠️Developer Tools  Content type: Blog
medium.com
·

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

 Formal Verification  Content type: News
coindesk.com·

I wish Deno would keep doing what it does best

 λFunctional Programming

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

 ✍️Prompt Engineering  Content type: News
wwd.com
·

Getting agents to code less slop

 🛠️Developer Tools  Content type: Blog
thempatel.com··Hacker News

AI Wrote the Code. Now It Broke. Who's Responsible?

 🛠️Developer Tools
stickyminds.com·

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 Formal Verification  Content type: Discussion

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·

VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry

 🛠️Developer Tools
eff.org·

Researchers discover hidden chip threats and a way to stop them

 Formal Verification
techxplore.com·

Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports

 🛠️Developer Tools  Content type: Blog
blogs.gnome.org·

Junior Architects with Shaky Logic: Testing AI’s Real-World Coding Skills – article review

 🛠️Developer Tools  Content type: Blog
metrics.blogg.gu.se·

Open Code Review (Alibaba)

 🛠️Developer Tools
notes.dsebastien.net·

Malware ships with bugs that defenders could use against it

 🛠️Developer Tools
helpnetsecurity.com·

chore(deps-dev): bump eslint-plugin-n from 18.0.1 to 18.1.0 (#22230)

 🗣️New Languages  Content type: Code
github.com
·

Community Laravel Extension for Zed

 🐘PostgreSQL
laravel-news.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help