Stories by matt_d

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

C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video]

Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines

Analyzing Control Flow More Like a Human [video]

libsemigroups: C++ library for semigroups and monoids

Type Universes as Kripke Worlds

14 15 16 17 18 19 20 21 22 23