Stories by matt_d

"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

A Generalized Algebraic Theory of Directed Equality

Cppless: Single-Source and High-Performance Serverless Programming in C++

Gluon: a GPU programming language based on the same compiler stack as Triton

Machine Scheduler in LLVM – Part I

Safepoints and Fil-C

Simon Peyton Jones: Pursuing a Trick a Long Way, Just to See Where It Goes [video]

Faux Type Theory: three minimalist OCaml simple proof checker implementations

5
6
7
8
9
10
11
12
13
14