Static Analysis

Feeds to Scour
SubscribedAll
Scoured 118 posts in 20.2 ms

nauta-ai/holster-scan: Local-first scanner for AI-hallucinated / typosquatted (slopsquat) packages + agent boundary preflight — catches what generic SAST misses, before an agent runs or a repo is shared.

 🤖Agents  Content type: Code
github.com··Hacker News
Less-relevant results

Infostealers Turn Millions of Devices Into Credential Theft Machines

 🤖Agentic AI
securityweek.com·

Researchers discover hidden chip threats and a way to stop them

 ✅Formal Verification
techxplore.com·

110 QA checks in one scan, auto-fix PR for what it finds

 🌐Open Source
gatetest.ai··Hacker News

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

 ✅Formal Verification  Content type: Discussion
news.ycombinator.com··Hacker News

Move Fast, Surveil Things

 🤖AI
eff.org··Hacker News

MPC-Patch-Bench: Security-Aware LLM Code Patch for Multi-Party Computation

 🌐Open Source  Content type: Academic
arxiv.org·

HWO Detector System Development Study

 🔭OpenTelemetry
science.nasa.gov·

How we made the world's fastest spreadsheet even faster

 ⚡Concurrency  Content type: Blog
rowzero.com·

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

 🧠LLMs  Content type: Blog  Content type: Discussion
tildalice.io·

Open Code Review (Alibaba)

 📡Observability
notes.dsebastien.net·

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

 ✅Formal Verification
4sysops.com·

I built a static analysis tool in pure C that traces data access through function call chains, need feedback

 🦀Rust  Content type: Code
github.com··r/C_Programming

AgentGG: Open-source agentic SAST scanner

 🌐Open Source
helpnetsecurity.com·

#649, June 8th 2026

 ⚙️Compilers
llvmweekly.org·

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

 🌐Distributed Systems
safebots.ai··Hacker News

Devs know AI code is riddled with holes, but ship it anyway

 🌐Open Source  Content type: News
theregister.com··Hacker News

Programming Languages Software Award

 ✅Formal Verification
sigplan.org·

[eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium

 🌐Open Source
isovalent-9197153.hs-sites.com·

Syntax-driven Incremental Program Verification of Matching Logic Properties

 ✅Formal Verification  Content type: Academic
arxiv.org·
Sign up or log in to see more results
Sign UpLogin

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