⚙️ Compilers - meib · Scour

The Complicated Nature of Programming Languages 🔍Static Analysis

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

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study 🪝eBPF

Everything I know about debugging LLVM 🪝eBPF

clangbuiltlinux.github.io·16h

Changes, New Features, and Fixes 🪝eBPF

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

The Final Form of Software Development ✅Formal Verification

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

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🔍Static Analysis

github.com·12h·r/cpp

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs 🔍Static Analysis

nowarp.io·6d·Hacker News

Coloring Code: How Compilers Use Graph Theory 🔍Static Analysis

youtube.com·22h·Lobsters, Hacker News

Clojure on Fennel part three: parsing ✅Formal Verification

andreyor.st·2d·Hacker News

GCC 16.1 Released With AMD Zen 6 Support, Algol 68 & Many C/C++ Improvements 💾CPU Architecture

phoronix.com·3h·r/linux

VoidZero’s Experimental Oxc Angular Compiler with Up to 20x Faster Build Performance 📐SIMD

#643, April 27th 2026 🪝eBPF

llvmweekly.org·2d

Two Compilers, One Moment 🔍Static Analysis

intertwingly.net·4d·Hacker News

424: File List Optimization 🪝eBPF

blog.codepen.io·23h

Bun’s Zig fork got 4x faster compilation times 📐SIMD

Apple researchers built an AI that tests several ideas in parallel before answering ✅Formal Verification

9to5mac.com·15h

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 🔍Static Analysis

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

New features in GCC 16: Improved error messages and SARIF output 🔍Static Analysis

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

Where Optimizations Come From 🔍Static Analysis

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

On Lisp: A review of Paul Graham's 1993 book 🔢Type Theory

alexvear.com·3d·Hacker News

Log in to enable infinite scrolling