⚙️ Compilers - meib · Scour

The Complicated Nature of Programming Languages 🔍Static Analysis

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

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

Changes, New Features, and Fixes 🪝eBPF

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

rustc_codegen_gcc: Progress Report #41 🦀Rust

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

The Final Form of Software Development ✅Formal Verification

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

Veryl 0.20.0: logic synthesis and type inference are supported ✅Formal Verification

veryl-lang.org·1h·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🔍Static Analysis

github.com·15h·Hacker News

Clojure on Fennel part three: parsing ✅Formal Verification

andreyor.st·3d·Hacker News

Everything I know about debugging LLVM 🪝eBPF

clangbuiltlinux.github.io·1d

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! 🔍Static Analysis

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

phoronix.com·16h·r/linux

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

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

Two Compilers, One Moment 🔍Static Analysis

intertwingly.net·5d·Hacker News

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

alternativeto.net·10h

Coloring Code: How Compilers Use Graph Theory 🔍Static Analysis

youtube.com·1d·Lobsters, Hacker News

#643, April 27th 2026 🪝eBPF

llvmweekly.org·3d

std::__detail::_Compiler (3) Linux Manual Page 🦀Rust

systutorials.com·1d

No-Node Native Apps, Sub-Millisecond Text Math, and Sending 3,000 Lines of C++ to Valhalla 🎮Game Engines

thereactnativerewind.com·2d·r/reactjs

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

I'm depressed so I'm writing a rust compiler 🦀Rust

reddit.com·2d·r/rust

Log in to enable infinite scrolling