Stories by matt_d

Typed-Untyped Interactions: A Comparative Analysis

Calendrical C++: std:chrono, History, Mathematics and the Computus

Advent of Computing: Episode 101 – Origins of Ada

A Multi-Threaded Fast Hardware Compiler for HDLs [pdf]

Low-Level Software Security for Compiler Developers

Distinguishing an Interpreter from a Compiler

Revisiting Language Support for Generic Programming

Tiny Pointers

Bounded Flexible Arrays in C

Adding custom instructions in the RISC-V ISA

Oral History of Ken Thompson

AVX512: Generating Constants

Compiling higher-order specifications to SMT solvers

POPL 2023 Proceedings (Principles of Programming Languages)

Hunter: Using Change Point Detection to Hunt for Performance Regressions

Myths and Legends in High-Performance Computing

Value Semantics: Safety, Independence, Projection, & Future of Programming

The Design and Implementation of User-Schedulable Languages

26 programming languages in 25 days, Part 2: Reflections on language design

Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing

42
43
44
45
46
47
48
49
50
51