Link dump for articles, talks, slides, and papers relating to Programming Languages and Compiler
This is a list of article I keep within reach to refer back or ponder.
C Is Not a Low-level Language. Your computer is not a fast PDP-11.
Memory-safe PNG decoders now vastly outperform C PNG libraries
The Error Model (long, article about error handling in Midori)
Effects, Capabilities, and Boxes, From Scope-Based Reasoning to Type-Based Reasoning and Back. (Academic paper)
Compilation On The GPU? A Feasibility Study (Academic paper)
NSan: A Floating-Point Numerical Sanitizer (Academic paper)
Literal types, what they are good for? (Conference talk)
Scala 3: Dependent Types, Part I (Medium article)
Type-level Programming in Scala (Slides)
Dependent Types in Scala: