rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) https://lobste.rs/s/mr7pk9 #rust #plt #vibecoding

Accelerating the Zig Tokenizer (with AVX-512) https://lobste.rs/s/jref3l #video #plt #zig

Data-oriented Design for Mortals https://lobste.rs/s/es1vaj #video #plt

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

What we ended up doing about alias propagation https://lobste.rs/s/lwwtpu #plt

Valen's Memory Safety: A New Kind of Borrow Checking https://lobste.rs/s/gmnqhj #compilers #plt

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda https://lobste.rs/s/4dwrz0 #design #plt

Unison 1.5.0 released with support for GADTs https://lobste.rs/s/q3n06u #release #plt

The Goose Programming Language https://lobste.rs/s/bk6pte #plt

Bidirectional Type Slicing https://lobste.rs/s/odew1t #pdf #plt

Building a RAG Pipeline for Semantic Code Search https://lobste.rs/s/ok0m3n #plt #editors #vibecoding

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

The Era of Programming Languages Exploration is upon Us https://lobste.rs/s/1rmsib #plt #vibecoding

Keeping Futhark off the GPU https://lobste.rs/s/8f5elm #plt

Plumbers, chains, and famous painters: The (updated) history of the pipe operator in R https://lobste.rs/s/tob6sq #plt

We Should be Able to Change our Languages https://lobste.rs/s/oeflod #plt

The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary https://lobste.rs/s/ajtnc6 #rust #compilers #performance #plt

Typeclasses vs Modules https://lobste.rs/s/crlwst #haskell #ml #plt

A Simple Language With Flow Typing (2021) https://lobste.rs/s/7k5jce #plt

Rust to WGSL transpiler `wgsl-rs` released https://lobste.rs/s/enijty #rust #graphics #plt