Pratt parsing is a black box https://lobste.rs/s/bzazar #compilers #plt
https://vinipsmaker.github.io/blog/article/pratt-parsing-is-a-black-box/
plt
Introduction to Programming in ATS https://lobste.rs/s/oqj2zo #book #plt
https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html
A Second Futamura Projection via @abnv https://lobste.rs/s/ihvhfk #compilers #plt
https://blog.veitheller.de/A_Second_Futamura_Projection.html
Declarative Dragging via @edwintorok https://lobste.rs/s/jplxxr #design #graphics #plt
https://declarative-dragging.github.io/
Rust to WGSL transpiler `wgsl-rs` released https://lobste.rs/s/enijty #graphics #plt #rust
https://renderling.xyz/articles/wgsl-rs-beta-release.html
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
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
We Should be Able to Change our Languages via @arcade https://lobste.rs/s/oeflod #plt
https://jimmyhmiller.com/change-our-languages
Arrows to Arrows, Categories to Queries https://lobste.rs/s/gqis6q #databases #haskell #plt
https://reasonablypolymorphic.com/blog/arrows-to-arrows/
Keeping Futhark off the GPU via @fanf https://lobste.rs/s/8f5elm #plt
https://futhark-lang.org/blog/2026-10-02-cpu_function.html
The Era of Programming Languages Exploration is upon Us via @abnv https://lobste.rs/s/1rmsib #plt #vibecoding
https://kirancodes.me/posts/log-end-of-pl.html
Inform is a programming language for creating interactive fiction https://lobste.rs/s/immpvk #plt
https://ganelson.github.io/inform-website/
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
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/
How to prove equations using diagrams, part 1 https://lobste.rs/s/jvicvb #compilers #math #plt
https://www.epatters.org/post/e-graphs-1/
Bidirectional Type Slicing https://lobste.rs/s/odew1t #pdf #plt
https://arxiv.org/pdf/2607.12197
How to prove equations using diagrams, part 3 https://lobste.rs/s/dr5zrz #compilers #math #plt
https://www.epatters.org/post/e-graphs-3/
The Goose Programming Language https://lobste.rs/s/bk6pte #plt #vibecoding
https://github.com/aardappel/goose
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/
Valen's Memory Safety: A New Kind of Borrow Checking https://lobste.rs/s/gmnqhj #compilers #plt
https://verdagon.dev/blog/valen-group-borrowing
What we ended up doing about alias propagation via @fanf https://lobste.rs/s/lwwtpu #plt #vibecoding
https://futhark-lang.org/blog/2026-10-11-what-we-did-about-aliasing.html
Accelerating the Zig Tokenizer (with AVX-512) https://lobste.rs/s/jref3l #video #plt #zig
https://www.youtube.com/watch?v=E6dWIwPLx3s
rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) https://lobste.rs/s/mr7pk9 #plt #rust #vibecoding
https://henniger.dev/post/djinn/