Stories by matt_d

What on Earth Does Pointer Provenance Have to Do with RCU?

Adventures in Type Theory 1 – Locally Nameless STLC (Part 1)

Extending the C/C++ Memory Model with Inline Assembly [video]

Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads

How to Optimize SQL Queries? A Comparison [pdf]

Which Programming Language Should I Teach First: the least productive question

10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers

Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging

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

7
8
9
10
11
12
13
14
15
16