🔍 Static Analysis - gss123 · Scour

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

🦀Rust Code

·

Introducing Soteria: A New Generation of Static Analysis for Rust

🦀Rust Blog

soteria-tools.com··Hacker News

Pomona: Continuous Code Quality Improvement via Small, Automated Changes at Bloomberg

⚡Performance Engineering Academic

We Cut Semgrep's Taint Analysis Time by 75%

⚙️Mechanical Sympathy Blog

semgrep.dev··Hacker News

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

📐TLA+ Blog

·

deterministic guardrails for agentic coding

🔄Incremental Computation

pokayoke.codes··Hacker News

CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog

🐚Shell Scripting Blog Tutorial

Awesome List Updated on Jun 10, 2026

🗄️Embedded Databases

trackawesomelist.com·

I wish Deno would keep doing what it does best

🗄️Embedded Databases

hackers.pub··Lobsters, Hacker News, r/javascript

ASTRA Initiative Seminar, June 12, 2026

🏗️Systems Design

science.nasa.gov·

Malware ships with bugs that defenders could use against it

helpnetsecurity.com·

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

gatetest.ai··Hacker News

Cisco’s Mythos Post Throws Anthropic Under the Bus

🤝Consensus Protocols

flyingpenguin.com·

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

stickyminds.com·

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

🔍Query Compilers Blog

blog.quarkslab.com·

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

📐TLA+ Blog

metrics.blogg.gu.se·

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

🌐XDP Code

·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

☕Java Academic

AgentGG: Open-source agentic SAST scanner

⚡Performance Engineering

helpnetsecurity.com·

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

⚙️Rust Internals Code

·

Log in to enable infinite scrolling