Stories by matt_d

A Clash Course in Solving Sudoku (Functional Pearl) [pdf]

Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive

"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

Cycle-Accurate 8088 Emulation [video]

UNIX: A History and a Memoir by Brian Kernighan [video]

Specification and Formal Verification of Hardware–Software Contracts

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

How to Think About GPUs

Basic dependency injection with objects in OCaml

Invertible Syntax Without the Tuples (Functional Pearl)

A Python CLI for Verifying Assembly

ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video]

Numerical Considerations in Weighted Model Counting

State of torch.compile for training (August 2025)

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing

OCaml Blockly

Binary Search–Think Positive

Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis

Vector Types and Debug Performance

1
2
3
4
5
6
7
8
9
10