Stories by matt_d

The Wild West of post-POSIX IO Interfaces [video]

Using the `vpternlogd` instruction for signed saturated arithmetic

Indexed Reverse Polish Notation, an Alternative to AST

ASM Visualizer: a new assembly visualization tool

Oral History of Jensen Huang – Computer History Museum [video]

The Equational Theories Project: Collaborative Mathematical Research at Scale

The Quest Toward That Perfect Compiler – ACM SPLASH / OOPSLA 2025 Keynote [video]

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

1
2
3
4
5
6
7
8
9
10