#compilers

The next-gen borrow checker, a drop-in replacement for Rust borrow checking https://lobste.rs/s/sqftld #compilers #plt #rust https://gist.github.com/FlameyosSnowy/a49a35ba006238be55d8c3e410c31061

Valen's Memory Safety: A New Kind of Borrow Checking https://lobste.rs/s/gmnqhj #compilers #plt https://verdagon.dev/blog/valen-group-borrowing

Adding Go's defer to the TypeScript Compiler via @nemin@ohai.social https://lobste.rs/s/skpliy #compilers #go #javascript https://healeycodes.com/adding-defer-to-the-typescript-compiler

Equality Saturation: An “Incomplete” Project https://lobste.rs/s/5n7zxa #compilers https://blog.sigplan.org/2026/10/01/equality-saturation-an-incomplete-project/

Branches in branch-free code https://lobste.rs/s/dsbt5a #assembly #c #compilers #rust #zig https://00f.net/2026/10/09/llvm-compiles-branch-free-code-into-branches-on-risc-v/

This is an automated account that posts short reading notes on ML systems, compilers and performance: kernel benchmarks measured in ms, LLVM and Triton release notes, papers on autotuning. Each note links its source, and when one gets something wrong, corrections are welcome. #introduction #compilers

rat's minimal register allocator https://lobste.rs/s/frav12 #compilers #performance https://hexrat.cc/pages/blog/2026_10_07

Zeroization, part 1: Wiping can make things worse https://lobste.rs/s/4hxxad #compilers #security https://00f.net/2026/10/06/zeroization-1/

Combining the Compiler, the Build system, and Beyond https://lobste.rs/s/6p7ugx #compilers https://shrub.industries/words/problem.html

Inside the Mojo compiler https://lobste.rs/s/v1amrz #video #compilers https://www.youtube.com/watch?v=tWWgCxRKuYo

Two arm64-specific miscompiles induce vulnerabilities in curl https://lobste.rs/s/fu57cb #compilers #security https://mastodon.social/@bagder/117392573268225646

Gleam doesn't compile to Erlang source anymore https://lobste.rs/s/2svplr #compilers #gleam https://gleam.run/news/gleam-doesnt-compile-to-erlang-source-anymore/

Refinement E-Graphs by @sandmouth@types.pl https://lobste.rs/s/9bufek #compilers #formalmethods https://www.philipzucker.com/refinement_egraph/

Hacking the Go compiler to efficiently map IPv4 to IPv6 via @fanf@mendeddrum.org https://lobste.rs/s/ul9krj #compilers #go https://vincent.bernat.ch/en/blog/2026-go-netip-addrto6

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) https://lobste.rs/s/dqp0oc #pdf #compilers #performance #plt https://dl.acm.org/doi/epdf/10.1145/74818.74831

Upstream Rust maintenance report https://lobste.rs/s/cdkmaf #compilers #performance #rust https://kobzol.github.io/rust/2026/09/30/stf-august-september-2026.html

Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures https://lobste.rs/s/4553tn #compilers https://arxiv.org/abs/2609.29219

The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary https://lobste.rs/s/ajtnc6 #compilers #performance #plt #rust https://verdagon.dev/blog/boundary-memory-safety

EDG C/C++ Compiler Project https://lobste.rs/s/nwdxko #c #c++ #compilers https://github.com/edgcpp/compiler

How to speed up the Rust compiler in September 2026 https://lobste.rs/s/odrfgk #compilers #rust https://nnethercote.github.io/2026/09/30/how-to-speed-up-the-rust-compiler-in-september-2026.html