🔬 Static Analysis - tyler · Scour

The Final Form of Software Development ⚙️Systems Programming

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

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

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

AI Code Review Only Catches Half of Your Bugs 🐛Fuzzing

oreilly.com·21h

What Code Review Can't See (and Bad Data Always Finds) 🐛Fuzzing

blog.dochia.dev·22h·Hacker News, r/programming

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

·2d·DEV, r/programming

Where Optimizations Come From ⚙️Systems Programming

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Show HN-style: Blue Arrow – modular orchestration system with state-driven execution, local LLaMA integration and post-execution verification 🔧Code Generation

github.com·7h·r/node

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

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

Benchmarking a Bug Scanner 🐛Fuzzing

blog.detail.dev·12h·Hacker News

Software is dead, long live Software 💾Retro Computing

ashpreetbedi.com·1d·Hacker News

Clojure on Fennel part three: parsing 🔨Compilers

andreyor.st·3d·Hacker News

Python translated to English, Spanish, French – 100% AST verified, 99K free 🐍Python

huggingface.co·18h·Hacker News

AI Tools Read Your Code But Not Your Mind. I Built a Fix. 🧠AI

hackernoon.com·1d

GCC 16.1 released ⚙️Systems Programming

·19h·Hacker News

Two AIs, One PR: Adversarial Code Review with LLMs 🐛Fuzzing

p.agnihotry.com·6d·Hacker News

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

github.com·1d·r/rust

Why Law Is Law-Shaped 🔍Parser Design

lawvm.org·1d·Hacker News

Changelog #325 🐛Fuzzing

rust-analyzer.github.io·4d·r/rust

GCC 16's Improved Error Messages, Experimental HTML Output 🔨Compilers

phoronix.com·2d

Introducing Stage: Engineers deserve a better code review platform 🔧Code Generation

stagereview.app·1d·Hacker News

Log in to enable infinite scrolling