Stories by matt_d

Hardware Trends Impacting Floating-Point Computations in Scientific Applications

Evaluating Human Factors Beyond Lines of Code

Oral History of Nolan Bushnell [video]

DBSP: Automatic Incremental View Maintenance for Rich Query Languages

Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video]

Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf]

Creating Your Own Programming Language – Laurence Tratt [video]

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

5
6
7
8
9
10
11
12
13
14