Stories by matt_d

Estimating Branch Probabilities

A SAT Attack on Tarski's High School Algebra Problem

What Evolves When We Talk About Harness Evolution?

LSPs for LLMs

mmiotic: Latency x-ray for undocumented hardware

The Unseen Delta: Characterizing the Compiler Optimization Landscape

Don't Stall Me Now: Hiding Memory Latency in eBPF

A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPU

Scope and Lifetime Restrictions in Swift

RISC-V: Public Review for the RVA23.1 and RVB23.1 Profiles

Cylic Trait Implementations: Motivation

Moving integer division to floating-point is trivial

Optimizing GEMM and Activation on CDNA4 with TLX

EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agents

Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)

Let's Stop Calling Everything "Linear Attention"

Scaling Logical Reasoning on Modern HPC Hardware

HCCL: Collective Communication for Meta Training and Inference Accelerators

How do programming languages impact token efficiency and correctness?

Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs [video]

1 2 3 4 5 6 7 8 9 10