Stories by matt_d

State of Clang as a C and C++ Compiler – Aaron Ballman, 2024 LLVM Dev Meeting [video]

Programming and reasoning about actors that share state

The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining [pdf]

Strong Components and Weak Components: 2024 Annual Christmas Lecture, Don Knuth [video]

2024 LLVM Developers' Meeting Videos

"Communicating Chorrectly with a Choreography" is out

From Gates to Pixels: Making Your Own Graphics Hardware [video]

The Hoare Cube

"Performance Analysis and Tuning on Modern CPUs": Second Edition Released

What Goes Around Comes Around... And Around... - Andy Pavlo, Dijkstra Award 2024

Bicameral, Not Homoiconic

The Denotational Semantics of SSA

Counterexamples in Safe Rust

Tacit Talk Episode 8: Tacit Definition (1991)

C++ Switch Statements Under the Hood in LLVM – Hans Wennborg [video]

Reverse engineering Microsoft BASIC [video]

Introduction to SASS and GPU Microarchitecture – GPU Mode Lecture 37 [video]

ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos

Type Theory Forall: What Is Type Theory and What Properties We Should Care About

Exploring parsing APIs: what to generate, and how

4
5
6
7
8
9
10
11
12
13