Stories by matt_d

Story-time: C++, bounds checking, performance, and compilers

How linear types control the future and prevent bugs [video]

Exo 2: Growing a Scheduling Language

Memory Bandwidth and System Balance in HPC Systems: 2024 Update [video]

The Art of Deconstraining: A guide to convex optimization in PyTorch

Data Race Freedom à la Mode [pdf]

Modern CPUs Assign Registers to Speed Up Your Code - Matt Godbolt [video]

Hello SME! Generating Fast Matrix Multiplication Kernels Using the SME

RISC-V Vector Extension overview

Hitchhiker's Guide to Programming and Optimizing CXL-Based Heterogeneous Systems

ACM ByteCast Episode 57: Xavier Leroy

PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [video]

Safe and efficient C++ interoperability via non-escapable types and lifetimes

MLIR Project Charter and Restructuring Survey

Big Specification: Specification, Proof, and Testing at Scale 2024

Automated reasoning often makes systems more efficient and easier to maintain

Function Effect Analysis – Clang 20.0.0

A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video]

Static Basic Block Versioning

[RFC] MLIR Project Charter and Restructuring

2
3
4
5
6
7
8
9
10
11