🔬 Static Analysis - tyler · Scour

How Static Code Analysis Helps Reduce Software Bugs, and Money Spent! 🔧Code Generation

blog.jetbrains.com·4d

The Final Form of Software Development ⚙️Systems Programming

blog.zksecurity.xyz·2d·Lobsters, Hacker News

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding 🔧Code Generation

AI Code Review Only Catches Half of Your Bugs 🐛Fuzzing

oreilly.com·22h

Programming Isn’t About Syntax: It’s About Understanding the Basics ⚙️Systems Programming

·2d·DEV, r/programming

Fast code review using AI 🔧Code Generation

github.com·11h·r/cpp

The Code Review Comment I Left 47 Times 🔧Code Generation

optirefine.qzz.io·3d·DEV

std::__detail (3) Linux Manual Page 📊Code Visualization

systutorials.com·2d

Static Analysis Results Interchange Format (SARIF) 🔧Code Generation

Article: CodeGuardian: A Model Context Protocol Server for AI-Assisted Code Quality Analysis and Security Scanning 🔧Code Generation

AI in Design Verification: Where It Works and Where It Doesn’t 🤨AI Criticism

eetimes.com·1d

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 🔧Code Generation

squid-protocol.github.io·3d·Hacker News

Custom linting rules to guide AI code 🔧Code Generation

sandromaglione.com·2d

From Convergence to Confidence: Push-Button Verification for RDTs 🔄CRDT

kcsrk.info·2d·Hacker News, Hacker News

I built a repo structural audit — bus factor, churn, god files, dependency rot, gap analysis ⚙️Systems Programming

drive.google.com·5d·DEV

facebook/flow: Adds static typing to JavaScript to improve developer productivity and code quality. ⚙️Systems Programming

github.com·1d·r/rust

Software is dead, long live Software 💾Retro Computing

ashpreetbedi.com·1d·Hacker News

Break This: A Minimal, System-Independent Verification Primitive 🐛Fuzzing

ethresear.ch·3d

Claude Code Routines: 8 Production Prompts, Real Costs, and Where They Break 🤖 🔧Code Generation

linas.substack.com

I've just added generics to my programming language! λFunctional Programming

reddit.com·6d·r/Compilers

Log in to enable infinite scrolling