Stories by matt_d

Quotient Polymorphism [pdf]

Labelled preorders and coercions: different approaches to multiple inheritance

GPU Mode Lecture 80: How FlashAttention 4 Works [video]

When You Have a Fuzzer, Everything Looks Like a Reachability Problem [pdf]

F3: The Open-Source Data File Format for the Future

Efficient LLM:Bandwidth, Compute, Synchronization, and Capacity are all you need

HieraSynth: A Parallel Framework for Complete Super-Optimization [pdf]

Fusion: An Analytics Object Store Optimized for Query Pushdown

Type Theory Forall – Philip Wadler – Type Classes, Monads, Logic, Future of PL [video]

3rd Largest Element: SIMD Edition

FP64 Floating-Point Emulation in INT8

A Early History of Algebraic Data Types

RISC-V Conditional Moves

Global Economic History: Cradle of Modernity [pdf]

"Is it time for a new proof assistant?" – Jon Sterling [video]

OpenSTA: Open-source static timing analysis for FPGAs

Arm SIMD Loops – C, ACLE intrinsics, inline assembly – Neon, SVE, SME

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2

Weak Memory Model Formalisms: Introduction and Survey

Program Optimisations via Hylomorphisms for Extraction of Executable Code

1
2
3
4
5
6
7
8
9
10