Type inference has usability problems (2019) https://lobste.rs/s/mfhss4 #plt

PL Education in the Age of AI: Interview with Shriram Krishnamurthi https://lobste.rs/s/eoaw1h #audio #education #plt

jank reimagines C++ errors and gets an official native package repo https://lobste.rs/s/rhjedr #compilers #c++ #clojure #plt

A defense of object-orientated programming https://lobste.rs/s/krtqbk #plt

smolts: a pedagogical IDE for a teaching language (eighty-twenty news) https://lobste.rs/s/hr2txa #education #plt

CTTI is Exponential, RTTI is Linear https://lobste.rs/s/mj9qti #compilers #plt

Dependent if expressions without dependent types https://lobste.rs/s/yomxcl #plt

Bluefin is a capability system https://lobste.rs/s/v1wxh0 #haskell #plt

Coherence and orphan instance rules https://lobste.rs/s/vbu5ay #haskell #plt

The Robot Framework language https://lobste.rs/s/e1pwba #plt

Aiki Alpha 3 Released - Performance Improved https://lobste.rs/s/hutycp #go #release #plt #vibecoding