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

📚Past Life Therapy: Manual and Certification for Therapists.
From the basics of reincarnation to advanced regressive hypnosis techniques, this book guides you step by step on a transformative journey.
#Reading #Book #Therapy #PLT
Click to Amazon ⬇️
amazon.com/dp/B0CWSLPQFV

A Design Space Exploration of Async/Await https://lobste.rs/s/rghafd #plt

Rust: When Empty Isn't Bottom https://lobste.rs/s/lf3est #rust #plt

WebCorC: Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology https://lobste.rs/s/zvpelp #formalmethods #plt