Stories by matt_d

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

Identity Types

Categorical Foundations for CuTe Layouts

Transforming recursion into iteration for LLVM loop optimizations

Unweaving Warp Specialization

The grind tactic in Lean 4 [video]

10 Myths of Scalable Parallel Languages Part 6: Performance of High-Level Langs

Reflection – C++'s decade-defining rocket engine

11 12 13 14 15 16 17 18 19 20