🔍 Static Analysis - abnv · Scour

Codacy vs Coverity: Cloud Quality vs Enterprise SAST 🌳Pattern Match Compilation

aicodereview.cc

·2d·DEV·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·1h·

The axios Supply Chain Attack Just Proved Why Static Analysis Matters More Than Ever 🛡️Parser Security

scanner-saas.vercel.app·20h·DEV·

-Ewarning: The Uno Reverse card for compiler rrors 💬Error Message Design

thejoylab.ai·6d·Hacker News·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

Challenges of specifying and compiling gas-fueled languages 🔄Tail Call Analysis

rubber-duck-typing.com·18h·Hacker News·

gcode 0.7.0 released - ground-up rewrite with a much better API 🔧Error Recovery

docs.rs·1h·r/rust·

Code review skill inspierd by Gilfoyle and Dinesh 🔬Code Analysis

github.com·5d·Hacker News·

Runtime type checking is great (2023) ✅Type Checking

blog.jez.io·1d·Lobsters·

Optimizing for Understanding 🦀MIR Optimization

blog.br11k.dev·12h·Hacker News·

Meta Researchers Show AI Agents Can Verify Code Without Running It 🎯Symbolic Execution

devops.com·2h·

What makes a programming language whole? 📚Forth Compilers

siru.ink·1d·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers 🛡️Parser Security

agentseal.org·2d·Hacker News, r/netsec·

About the growing verification debt in software 🛡️Error Ergonomics

clifford.ressel.fyi·6d·Hacker News·

Python Developer AI Toolkit, Part 1: How I stopped rewriting the same prompts and packaged 272 that actually work 💬Interactive REPLs

kazdispatch.gumroad.com·1d·DEV·

TruffleRuby 📋Souffle Datalog

chrisseaton.com·4d·Hacker News·

Bulletproof Your Python ML Code 🌊Gradual Typing

medium.com·5d·

anfocic/brunt: Adversarial AI code review. Scans diffs, finds bugs, generates failing tests as proof, auto-fixes and verifies. 🏷️Memory Tagging

github.com·2d·DEV·

Architecture as Code isn't enough — here's why it needs a compiler 🎮Language Ergonomics

github.com·4d·DEV·

Loading more...