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

The wasted potential of Haskell: Language & Compiler https://lobste.rs/s/tipabd #video #rant #haskell #plt

What makes Lisp difficult to read? https://lobste.rs/s/fqype1 #plt

Acid: A Debugger Built From A Language (1996) https://lobste.rs/s/nzzcn0 #pdf #debugging #plt

Do not let your type system reason about aliasing in your programming language https://lobste.rs/s/huj44r #plt

A First Futamura Projection https://lobste.rs/s/uahccr #plt

Design your programming languages right (2024) https://lobste.rs/s/fdgccx #plt