🔍 Static Analysis - smalldong · Scour

Benchmarking a Bug Scanner 🔧Refactoring

blog.detail.dev·5h·Hacker News

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·14h·Hacker News, r/programming

The Final Form of Software Development 🔧Refactoring

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

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation 🏗️System Design

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

huggingface.co·11h·Hacker News

Spinel: Ruby AOT Native Compiler 🔧Refactoring

github.com·6d·Lobsters, Hacker News

GCC 16.1 released 💻OPENCODE

·11h·Hacker News

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

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

Utah’s New Law Targeting VPNs Goes Into Effect Next Week 🚪API Gateway

eff.org·1h·Hacker News

Software is dead, long live Software 🔧Refactoring

ashpreetbedi.com·1d·Hacker News

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

p.agnihotry.com·6d·Hacker News

Introducing Stage: Engineers deserve a better code review platform 👔Engineering Management

stagereview.app·1d·Hacker News

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

polarity.so·5d·Hacker News

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

blog.trintler.me·1d·Hacker News

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

pocketcasts.com·2d·Hacker News

Clojure on Fennel part three: parsing ☕JAVA

andreyor.st·3d·Hacker News

Pie Thieves 🤖AI

endnotes.net·2d·Hacker News

Where Optimizations Come From 🔧Refactoring

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

Why Law Is Law-Shaped 🔧Refactoring

lawvm.org·1d·Hacker News

Log in to enable infinite scrolling