🧪 Compiler Testing - abnv · Scour

Fuzzing to Zero-Day: Pwning V8CTF With TurboFan Type Confusion, CVE-2025-2135 🚀V8 Internals

zellic.io·3d·Hacker News·

April 1, 2026 🔬Nanopasses

the grugq's newsletter via buttondown.com·13h·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

PSFuzz: Rethinking Web Fuzzing in the Age of AI 🎲Parser Fuzzing

infosecwriteups.com

·3d·

Your AI Just Wrote 500 Lines of Code. Can You Prove Any of It Works? 🔍Static Analysis

pub.towardsai.net

·18h·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·2h·

Mutation testing for the agentic era 🎲Test Generators

blog.trailofbits.com·23h·Hacker News·

Runtime type checking is great (2023) ✅Type Checking

blog.jez.io·1d·Lobsters·

Why Smart Developers Get Bad Results from AI Tools 🗑️Dead Code

the-main-thread.com·10m·

Rust's next-generation trait solver 🔒Rust Borrowing

lwn.net

·2d·

Test Builders: Less Setup, Better Tests 🎲Test Generators

spin.atomicobject.com·6d·

Modern integration testing: Tools, techniques, and strategies for continuous quality 🧪Zig Testing

ministryoftesting.com·2d·

Writing Test Programs, Not Just Tests – Going Beyond the Test Runner 🎯Symbolic Execution

testflows.com·5d·Hacker News·

Book Review: Building a Debugger 🐛Interactive Debuggers

blogs.newardassociates.com·2d·Hacker News·

Callgraph analysis 🦀MIR Optimization

ferrous-systems.com·1d·

From if Statements to Classes: How Refactoring Taught Me Testable Code 🔍Static Analysis

github.com·5d·DEV·

Taming LLMs: Using Executable Oracles to Prevent Bad Code 🏗️LLVM

john.regehr.org·6d·Hacker News·

Zero-Dependency Programming 🪆Embedded DSLs

conjure.pages.dev·3d·Hacker News·

APIEval-20: A Benchmark for Black-Box API Test Suite Generation 🛡️Error Ergonomics

huggingface.co·3d·Hacker News·

Loading more...