Inside Zig's Incremental Compilation by @mlugg https://lobste.rs/s/rmzzdb #compilers #performance #zig
https://mlugg.co.uk/posts/incremental-compilation-internals/
compilers
Why Rocq is better than Lean for program verification https://lobste.rs/s/vnh6b2 #compilers #formalmethods #ml #plt
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
Proof types in Dart: Using final classes as computational witnesses https://lobste.rs/s/wdo7aj #compilers #security
https://modulovalue.com/blog/proof-types-in-dart/
Overengineered calculator: Zig + QBE https://lobste.rs/s/ozules #compilers #zig
https://tomekw.com/overengineered-calculator-zig-qbe/
Adding JIT-compilation to a toy interpreter with libgccjit https://lobste.rs/s/pkktjt #compilers
https://gcc.gnu.org/onlinedocs/jit/intro/tutorial04.html
A question about a factorial operator https://lobste.rs/s/itp1nm #ask #compilers
RISC-V: They Should Have Known Better https://lobste.rs/s/pu3yzg #assembly #compilers
https://dmitry.gr/?r=06.%20Thoughts&proj=12.%20RV
How to speed up the Rust compiler in July 2026 https://lobste.rs/s/ycsivx #compilers #performance #rust
https://nnethercote.github.io/2026/07/31/how-to-speed-up-the-rust-compiler-in-july-2026.html
Compile-Time Improvements in LLVM 23 via @meowray https://lobste.rs/s/ku4v3b #compilers
https://aengelke.net/llvm23-ct.html
GPU Offload in Rust: Portable, Safe, and Fast https://lobste.rs/s/agafnk #pdf #compilers #rust
https://arxiv.org/pdf/2608.13759
Could Cargo's scheduler be better? https://lobste.rs/s/by7xg6 #compilers #rust
https://spirali.github.io/blog/cargo-scheduler/
harlan: language for GPU computing https://lobste.rs/s/guwuzx #compilers #lisp
https://github.com/eholk/harlan/
Writing a Fast Compiler via @abnv https://lobste.rs/s/6i1at9 #compilers
https://tibleiz.net/blog/2024-02-04-writing-a-fast-compiler.html
designing a query system via @fanf https://lobste.rs/s/awdorz #compilers #rust
https://bal-e.org/speed/krabby/2026/query-system-design/
Retrofitting a build system into a compiler https://lobste.rs/s/izkimy #compilers #ml
https://www.dra27.uk/blog/platform/2025/09/25/building-with-effects.html
How Compiler Explorer Runs on AWS in 2026 https://lobste.rs/s/1eie3y #compilers #devops #vibecoding
https://xania.org/202608/how-compiler-explorer-runs-on-aws
How I developed an Am29000 C compiler and web browser https://lobste.rs/s/sfiihp #browsers #c #compilers #retrocomputing
https://nanochess.org/am29000_c_compiler_web_browser.html
Opinions About Compiler Building https://lobste.rs/s/vt7qpp #compilers #plt
https://programmingsimplicity.substack.com/p/opinions-about-compiler-building
Porffor goes alpha August 11th https://lobste.rs/s/9w5eos #compilers #javascript
https://honk.foo/porffor-alpha/
mold: A Massively Parallel Linker https://lobste.rs/s/e291dc #pdf #compilers #performance
https://arxiv.org/abs/2608.23228
Catching NaN at the MLIR Pass Boundary https://lobste.rs/s/uvclgk #c++ #compilers #hardware
https://thecloudlet.github.io/technical/compiler/catching-nan-at-the-mlir-pass-boundary/
Why I'm excited about effect systems (2025) https://lobste.rs/s/abkikp #compilers
https://osa1.net/posts/2025-06-28-why-effects.html
CTTI is Exponential, RTTI is Linear https://lobste.rs/s/mj9qti #compilers #plt
https://www.gingerbill.org/article/2026/09/02/ctti-is-exponential-rtti-is-linear/