⚙️ Compilers - amy.throwaway.lovely · Scour

The Complicated Nature of Programming Languages 🖥️Interpreters

functiondispatch.substack.com·6d·r/programming

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping 🧮Symbolic Execution

rustc_codegen_gcc: Progress Report #41 ⚡JIT Exploitation

blog.antoyo.xyz·6h·r/rust

Veryl 0.20.0: logic synthesis and type inference are supported ⛓️ROP Chains

veryl-lang.org·5h·Hacker News

The Final Form of Software Development ✅Formal Verification

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

Changes, New Features, and Fixes 🛡️Exploit Mitigations

gcc.gnu.org·19h·Lobsters, Hacker News, r/cpp

Two Compilers, One Moment ⚡JIT Exploitation

intertwingly.net·5d·Hacker News

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! 📜Decompilation

Everything I know about debugging LLVM 💾Binary Analysis

clangbuiltlinux.github.io·1d

GCC 16.1 released 📜Decompilation

·17h·Hacker News

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places ⛓️ROP Chains

github.com·1d·Hacker News

#643, April 27th 2026 🧮Symbolic Execution

llvmweekly.org·3d

GCC 16 debuts C++20 by default, adds Algol 68 and boosts diagnostics 💾Binary Analysis

alternativeto.net·14h

New features in GCC 16: Improved error messages and SARIF output ⚡JIT Exploitation

developers.redhat.com·2d·Hacker News, r/C_Programming, r/cpp

pyembed 💾Binary Analysis

Where Optimizations Come From 🧮Symbolic Execution

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

Coloring Code: How Compilers Use Graph Theory 🌊Dataflow Analysis

youtube.com·1d·Lobsters, Hacker News

std::numpunct::thousands_sep,do_thousands_sep (3) Linux Manual Page 🐚Shellcoding

systutorials.com·23h

Extending Ruzzy with LibAFL 🎲Fuzzing

malware.news·1d

Bun’s Zig fork got 4x faster compilation times 🧮Symbolic Execution

Log in to enable infinite scrolling