weblings: Compiling Rust to WASM from inside WASM https://lobste.rs/s/k5ygl4 #compilers #rust
https://github.com/AngelOnFira/weblings
compilers
Why ML/OCaml are good for writing compilers https://lobste.rs/s/kzo2fe #compilers #ml
https://flint.cs.yale.edu/cs421/case-for-ml.html
What "Memory Compiler" Actually Means: From Bitcells to GDS Tiling https://lobste.rs/s/xdoavp #compilers #hardware
https://thecloudlet.github.io/technical/compiler/memory-compiler/
Triton language for Alibaba SAIL https://lobste.rs/s/y8okbv #ai #compilers #hardware
https://github.com/t-head/triton-for-sail
25x Performance, Three Optimizations via @abnv https://lobste.rs/s/rhto2r #compilers #lisp #performance #rust
https://maplant.com/2025-04-20-25x-Performance,-Three-Optimizations.html
Making a game on a custom bytecode VM in 7 days and 3kB via @abnv https://lobste.rs/s/he9kpd #compilers #games
https://laurent.le-brun.eu/blog/making-a-game-on-a-custom-bytecode-vm-in-7-days-and-3kb
Cylic trait implementations: motivation https://lobste.rs/s/zq9czz #compilers #plt #rust
https://smallcultfollowing.com/babysteps/blog/2026/08/10/cyclic-trait-solving/
Seriously, what is the large code-model even for? https://lobste.rs/s/snetpk #assembly #compilers
https://fzakaria.com/2026/07/26/seriously-what-is-the-large-code-model-even-for
Singeli: High-level interface for low-level programming https://lobste.rs/s/jnutrb #apl #compilers #performance
https://github.com/mlochbaum/Singeli
Inside Zig's Incremental Compilation by @mlugg https://lobste.rs/s/rmzzdb #compilers #performance #zig
https://mlugg.co.uk/posts/incremental-compilation-internals/
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
How GCC Eliminates Unnecessary Integer Division https://lobste.rs/s/6lntik #c #compilers
https://leetarxiv.substack.com/p/how-gcc-eliminates-unnecessary-integer
designing a query system via @fanf https://lobste.rs/s/awdorz #compilers #rust
https://bal-e.org/speed/krabby/2026/query-system-design/