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

evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it https://lobste.rs/s/kpegs1 #plt #concatenative

Named and Optional Arguments are Awesome https://lobste.rs/s/xlbphk #rust #plt

Lambda MicroEgg https://lobste.rs/s/o6vyfj #formalmethods #plt

Union vs sum types https://lobste.rs/s/cummnx #rust #plt

Intuitionistic Type Theory (2024) https://lobste.rs/s/wczmj7 #math #plt

The Golden Spike, and Resurrecting the Vale(n) Programming Language https://lobste.rs/s/fjnkn4 #rust #plt

pyMalbolge: Malbolge interpreter in python https://lobste.rs/s/pldcqg #python #plt

How I Wrote a Forth (Without Knowing How) https://lobste.rs/s/ccy1nr #plt #concatenative

Type Systems You Might Not Know (But Will Love) https://lobste.rs/s/89pcze #video #plt

Kythe, a pluggable, language-agnostic ecosystem for building tools that work with code https://lobste.rs/s/uqezny #plt #editors

“A Few Good Ideas In Programming Languages”, Pranoy Dutta (prydt.xyz/blog/a-few-g...).

Via HN: news.ycombinator.com/item?id=4967...

On Lobsters: lobste.rs/s/er0hfp/few...

#Programming #ProgrammingLanguages #PLDI #Types #BorrowChecker #DesignByContract #FlowSensitiveTyping #PLT

A Few Good Ideas in Programming Languages https://lobste.rs/s/er0hfp #plt

Is truth futureproof? On the possible futures of mechanized proofs https://lobste.rs/s/cmgzlj #pdf #math #plt