🧪 Testing Compilers - abnv · Scour

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·21h

🩺Compiler Diagnostics

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·11h·

Discuss: Hacker News

🔒Rust Borrowing

#1 - Spot Problems Before Reading Any Code

dev.to·6h·

Discuss: DEV

💬Error Messages

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·14h

🛡️Taint Analysis

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·15h·

Discuss: Hacker News

🔄Incremental Compilation

CodeSOD: Validation Trimmed Away

thedailywtf.com·20h

🛡️Parser Security

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·21h

🎯Symbolic Execution

Ensure correctness by changing when the first failure occurs

doliver.org·2d·

Discuss: Hacker News

🚂Error Propagation

Designing a Programming Language for the Desert

futhark-lang.org·10h·

Discuss: Hacker News

🔄Bootstrapping

Use of Assertions

blog.regehr.org·11h

🔍Static Analysis

Improve your AI code output with AGENTS.md (+ my best tips)

builder.io·11h

🎲Test Generators

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·17h·

Discuss: r/golang

📊Call Graphs

Stop Overusing Interfaces (2017)

blog.hovland.xyz·12h·

Discuss: Hacker News

🌉Cross-Platform FFI

Type-Safe Routing Without the Build Step

werkbank.dev·8h·

Discuss: Hacker News

⚙️TOML Parsers

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

📜Bytecode Interpreters

Evolution of LLMs use by a programmer

asfaload.com·9h·

Discuss: Hacker News

🎮Language Ergonomics

Test Your Elixir Package Against Different Versions of Its Dependencies

mimiquate.com·1d

📦Package Managers

Stop coding tests, and start testing code

blog.samuellevy.com·23h

🔬Code Analysis

PHPStan Now 25~40% Faster For Static Analysis

phoronix.com·16h

🏃Escape Analysis

Loading more...