Stories by matt_d

Breaking Control Flow Integrity by Abusing Modern C++ (Coroutines) – BH USA 2025 [video]

Programming the Loop

Scalable Training of Mixture-of-Experts Models with Megatron Core

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks

Formalizing Data Structures and Algorithms with Agents

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Advent of Computing: Dan Temkin – Forty-Four Esolangs

Checking Write Bandwidth on GPUs

Challenges in Decompilation and Reverse Engineering of CUDA-Based Kernels [pdf]

Block Number Formats Are Direction Preservers

Cutie Fly: CuTe Layout Representation and Algebra, CuTeDSL, FlyDSL

Converting Binary Floating-Point Numbers to Shortest Decimal Strings

Controlling Floating-Point Determinism in NVIDIA CCCL

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using LLMs

Custom Data Structures in E-Graphs

Formal Verification in the Age of AI

CuTe Layout Representation and Algebra

Bespoke OLAP: Synthesizing Workload-Specific One-Size-Fits-One Database Engines

SkyDiscover: A Flexible Framework for AI-Driven Sci. and Algorithmic Discovery

Silent Backwards Compatibility Breaking Changes in PyTorch

1 2 3 4 5 6 7 8 9 10