Stories by matt_d

Learning to love mesh-oriented sharding

Microbenchmarking NVIDIA's Blackwell: An In-Depth Architectural Analysis

tritonBLAS: Triton-based Analytical Approach for GEMM Kernel Parameter Selection

RFC: Forming a Working Group on Formal Specification for LLVM

hls4ml: A Flexible, OSS Platform for ML Acceleration on Reconfigurable Hardware

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf]

SAT Etudes 2: Toy DPLL

The Hitchhiker's Guide to Coherent Fabrics: 5 Programming Rules

Optimizing libdwarf .eh_frame enumeration

GSoC 2025: ClangIR Upstreaming

Normal Forms for MLIR – 2025 US LLVM Developers' Meeting – Alex Zinenko [video]

Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing [video]

LLM Inference Beyond a Single Node: From Bottlenecks to Mitigations

What Scala can learn from Rust, Swift, and C++ [video]

Lifetime Safety in Clang – 2025 US LLVM Developers' Meeting [video]

Constant-time support coming to LLVM: Protecting cryptographic code

Seymour Cray at 100 – Clive England – TNMoC Talk [video]

Mitigating Application Resource Overload with Targeted Task Cancellation

MetaOCaml: Ten Years Later System Description

Where "Simulation" Came From

7 8 9 10 11 12 13 14 15 16