Static Analysis

Feeds to Scour
SubscribedAll
Scoured 51 posts in 6.6 ms

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

 📦Package Managers  Content type: Code
github.com
·

Getting agents to code less slop

 Systems Programming  Content type: Blog
thempatel.com··Hacker News

We Cut Semgrep's Taint Analysis Time by 75%

 🔧Functional Programming  Content type: Blog
semgrep.dev··Hacker News

Essential Cybersecurity Tools Every Developer Should Use in 2026

 📦Package Managers
thecrazyprogrammer.com·

Cleaner AI training data, fewer bugs: Sonar’s SonarSweep explained

 🔄Language Evolution
thenewstack.io·

Static Code Analysis and the Rules of Zero, Three, and Five

 Systems Programming  Content type: Blog
blog.jetbrains.com·

SAST vs SCA: Key Differences for AppSec Teams

 📦Package Managers
orca.security·

Microsoft continues global rollout of Copilot's smiley AI companion Mico, now available in 40 countries

 🔄Language Evolution  Content type: News
pcguide.com··r/artificial

GitHub announces npm security changes to tackle supply-chain attacks

 📦Package Managers  Content type: News
bleepingcomputer.com·

I wish Deno would keep doing what it does best

 📦Package Managers

Secure Code Warrior Leverages AI Extend DevSecOps Training Reach

 🔄Language Evolution
devops.com·

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

 🗣️Domain-Specific Languages  Content type: News
wwd.com
·

Building a Local-First Agent Framework in Rust (Part 2): Setting Up the Workspace

 Systems Programming  Content type: Blog
medium.com
·

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 🏗️Compiler Design  Content type: Blog

From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…

 Formal Verification  Content type: Blog
medium.com
·

chore(deps-dev): bump eslint-plugin-unicorn from 65.0.0 to 65.0.1 (#2…

 📦Package Managers  Content type: Code
github.com
·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 Formal Verification

May 2026 CVE Landscape

 🔗Content Addressing  Content type: Blog
recordedfuture.com·

Don't Be Lazy — Refactor Your Frontend, It's Easy Now

 🔄Language Evolution  Content type: Discussion
gokirin.com··r/webdev

New comment by aldoakhanov in "Ask HN: Who wants to be hired? (June 2026)"

 🗣️Domain-Specific Languages

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