#programming-languages
Wiki 5
- causality.blog Anonymous essay blog on programming-language foundations, concurrency, and the questions the mainstream debate skips
- gingerbill.org (Ginger Bill) Ginger Bill's blog — creator of the Odin language, writing on tool design, language design, and programming culture
- icefox (wiki.alopex.li) Simon Heath's personal wiki; programming-language design, systems programming, software culture
- Type System Axes Static/dynamic (when types are checked) and strong/weak (how much implicit coercion) are independent dimensions
- Type Systems Vocabulary Lewis Campbell's pet-peeve note on the orthogonal axes of type systems and why "strict typing" is an amateur term
talks 1
- PL Education in the Age of AI Shriram Krishnamurthi on teaching PL to the 90% who won't do research, confidence over proof, and what agentic coding leaves CS to teach