🔍 Static Analysis - smalldong · Scour

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

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

What Code Review Can't See (and Bad Data Always Finds) 🔧Refactoring

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

The Final Form of Software Development 🔧Refactoring

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

Evergreen: Efficient Claim Verification for Semantic Aggregates 🐘PostgreSQL

terajs/terajs: Terajs is a compiler-native UI framework for route-first, local-first web apps with fine-grained reactivity, direct DOM updates, first-party DevTools, and a renderer-agnostic core. 🔌API Design

github.com·2d·Hacker News

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

huggingface.co·1h·Hacker News

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs 🔧Refactoring

nowarp.io·6d·Hacker News

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification 📨Event-Driven Architecture

blog.trintler.me·23h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs 📨Event-Driven Architecture

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

Verifying your age in a privacy preserving manner 🔌API Design

adayinthelifeof.nl·21h·Hacker News, Hacker News

Clojure on Fennel part three: parsing ☕JAVA

andreyor.st·2d·Hacker News

Two AIs, One PR: Adversarial Code Review with LLMs 🔧Refactoring

p.agnihotry.com·5d·Hacker News

Online age verification is the hill to die on 🚪API Gateway

xcancel.com·23h·Hacker News

Where Optimizations Come From 🔧Refactoring

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

Agent regression testing: cutting detection from days to minutes 🔧Refactoring

polarity.so·4d·Hacker News

GitHub Copilot code review will start consuming GitHub Actions minutes on June 1, 2026 🔧Refactoring

github.blog·2d·Hacker News, r/GithubCopilot

MiMo-V2.5-Pro Is Now Open Source and It's Sitting Right Next to Claude Opus 4.6 on Coding 🔧Refactoring

firethering.com·6d·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔧Refactoring

pocketcasts.com·2d·Hacker News

Why Law Is Law-Shaped 🔧Refactoring

lawvm.org·1d·Hacker News

Automatic Enum Stringification in C via Build-Time Code Generation 🔧Refactoring

medium.com·6d·Hacker News, r/C_Programming

Log in to enable infinite scrolling