🔍 Static Analysis - nmarshall · Scour

trailofbits/skills: Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows 🤖AI Coding Tools

github.com·6d·Hacker News

The Final Form of Software Development ∀Lean4

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

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

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

Python translated to English, Spanish, French – 100% AST verified, 99K free 🏗️Cranelift

huggingface.co·1h·Hacker News

Where Optimizations Come From 🔍Query Compilers

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

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine ☁️Serverless Rust

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

From Convergence to Confidence: Push-Button Verification for RDTs ∀Lean4

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

Clojure on Fennel part three: parsing 🦀Rust Macros

andreyor.st·2d·Hacker News

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

nowarp.io·6d·Hacker News

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time 🦀Rust Macros

github.com·2d·Hacker News

Two AIs, One PR: Adversarial Code Review with LLMs 🤖AI Coding Tools

p.agnihotry.com·5d·Hacker News

Assuring Comprehensive Security Coverage In Hardware Design 🔍Chip Verification

semiengineering.com·1d

Code review advice for vibe coders 🔍Code Review

xata.io·5d·Hacker News

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. ☁️Serverless Rust

github.com·2d·Hacker News

Automatic Enum Stringification in C via Build-Time Code Generation 🦀Rust Macros

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

Agent regression testing: cutting detection from days to minutes 👁️Observability

polarity.so·4d·Hacker News

Microsoft Edit 2.0.0 – A compiler for syntax highlighting 📝editors

github.com·1d·Hacker News, Hacker News

Show HN: LawVM, a compiler for replaying amendment acts into point-in-time law ⚙️LLVM

lawvm.org·4d·Hacker News

Spinel: Ruby AOT Native Compiler 🦀Rust Macros

github.com·6d·Lobsters, Hacker News

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. 📘TypeScript

github.com·5d·r/javascript, r/typescript

Log in to enable infinite scrolling