📊 Static Analysis - matmat

📏Code Metrics Academic

arxiv.org·

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

💻programming languages Blog

metrics.blogg.gu.se·

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

📏Code Metrics

eff.org·

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

📝Compiler Design Blog

blog.quarkslab.com·

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

💻programming languages Blog

spectralcore.com··Hacker News

Getting agents to code less slop

📏Code Metrics Blog

thempatel.com··Hacker News

Miasma NPM Supply Chain Attack: Self-Spreading Worm via Phantom Gyp

📦Package Managers Blog

stepsecurity.io··Hacker News

VoidZero is Joining Cloudflare

🔓Open Source Software

voidzero.dev··Lobsters, Hacker News, r/javascript

Show HN: Envguard – Like ESLint but for your environment variables

📦Package Managers Code

github.com··Hacker News

Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs

📏Code Metrics Academic

arxiv.org·

Move Fast, Surveil Things

📏Code Metrics

eff.org··Hacker News

bdfinst/agentic-dev-team

🌿git Code

github.com·

olivier-ls/php-ruler: A transparent expression & rule evaluator in pure PHP. Strict typing, no dependencies, and an explain mode that shows exactly why a rule passed or failed.

💻programming languages Code

github.com··Hacker News

Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications

📦Digital Cinema Package Academic

arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

We Cut Semgrep's Taint Analysis Time by 75%

Introducing Soteria: A New Generation of Static Analysis for Rust

Show HN: Typedframes – Pandas/polars column name checking at lint time

I wish Deno would keep doing what it does best

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

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

FusionVul: A Multimodal Feature Fusion Framework for Source Code Vulnerability Detection

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

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

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

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

Getting agents to code less slop

Miasma NPM Supply Chain Attack: Self-Spreading Worm via Phantom Gyp

VoidZero is Joining Cloudflare

Show HN: Envguard – Like ESLint but for your environment variables

Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs

Move Fast, Surveil Things

bdfinst/agentic-dev-team

olivier-ls/php-ruler: A transparent expression & rule evaluator in pure PHP. Strict typing, no dependencies, and an explain mode that shows exactly why a rule passed or failed.

Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications