Stories by matt_d

Demystifying ARM SME to Optimize General Matrix Multiplications

Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video]

Magellan: Autonomous Discovery of Compiler Optimization Heuristics w/AlphaEvolve

Automatic Data Enumeration for Fast Collections

An MLIR Lowering Pipeline for Stencils at Wafer-Scale

The JAX sharding type system

AutoSP: Unlocking Long-Context LLM Training via Compiler-Based SP (ICLR 2026)

Disentangling unification and implicit coercion (subtyping interaction problem)

Global vs. Local SPMD

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 talks

Long branches in compilers, assemblers, and linkers

Megatron via shard_map

Cloud-Hardware Co-Design for Memory Bandwidth-Bound HPC Workloads: Azure HBv5

CuTile on Blackwell: NVIDIA's Compiler Moat Is Already Built

Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video]

Computing Sharding with Einsum

What Is Control Flow Analysis for Lambda Calculus? [audio]

Introduction to Coinduction in Agda Part 1: Coinductive Programming

Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in CLIs

19 20 21 22 23 24 25 26 27 28