#plt

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

What we ended up doing about alias propagation via @fanf@mendeddrum.org https://lobste.rs/s/lwwtpu #plt #vibecoding https://futhark-lang.org/blog/2026-10-11-what-we-did-about-aliasing.html

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

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 https://blueberrywren.dev/blog/primes/

The Goose Programming Language https://lobste.rs/s/bk6pte #plt #vibecoding https://github.com/aardappel/goose

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

Building a RAG Pipeline for Semantic Code Search https://lobste.rs/s/ok0m3n #editors #plt #vibecoding https://blog.jetbrains.com/ai/2026/09/building-a-rag-pipeline-for-semantic-code-search-a-developer-diary-and-field-notes/

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

Plumbers, chains, and famous painters: The (updated) history of the pipe operator in R https://lobste.rs/s/tob6sq #plt http://adolfoalvarez.cl/blog/2021-09-16-plumbers-chains-and-famous-painters-the-history-of-the-pipe-operator-in-r/

The Era of Programming Languages Exploration is upon Us via @abnv@fantastic.earth https://lobste.rs/s/1rmsib #plt #vibecoding https://kirancodes.me/posts/log-end-of-pl.html

Keeping Futhark off the GPU via @fanf@mendeddrum.org https://lobste.rs/s/8f5elm #plt https://futhark-lang.org/blog/2026-10-02-cpu_function.html

We Should be Able to Change our Languages via @arcade@merveilles.town https://lobste.rs/s/oeflod #plt https://jimmyhmiller.com/change-our-languages

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

A Simple Language With Flow Typing (2021) via @abnv@fantastic.earth https://lobste.rs/s/7k5jce #plt https://ayazhafiz.com/articles/21/lang-narrow

Typeclasses vs Modules via @abnv@fantastic.earth https://lobste.rs/s/crlwst #haskell #ml #plt https://sm2n.ca/articles/typeclasses-vs-modules/

The wasted potential of Haskell: Language & Compiler https://lobste.rs/s/tipabd #video #haskell #plt #rant https://www.youtube.com/watch?v=6kD-wMvqBqo

What makes Lisp difficult to read? https://lobste.rs/s/fqype1 #plt https://paultm.nl/paren-thesis

Acid: A Debugger Built From A Language (1996) https://lobste.rs/s/nzzcn0 #pdf #debugging #plt https://inferno-os.org/inferno/papers/acidpaper.pdf

Do not let your type system reason about aliasing in your programming language via @fanf@mendeddrum.org https://lobste.rs/s/huj44r #plt https://futhark-lang.org/blog/2026-09-22-aliasing.html