Stories by matt_d

The History of Standard ML (HOPL IV) [pdf]

Hardware Store Elimination

C++ Coroutines: Understanding Symmetric Transfer

Freedom for the SQL-Lambda: JIT-Compiling User-Injected Functions in PostgreSQL [pdf]

Frederick (“Fred”) Brooks, 1999 A.M. Turing Award Recipient

Past, Present, & Future of Computer Graphics with Ed Catmull and Richard Chuang

Key-value-stores from the Lens of Shared Memory

Resources for the working programmer to learn more about programming languages

Power Delivery in a Modern Processor

From Programs to Deep Models – Part 3: Code Completion

Getting Swole: Generating Access-Aware Code with Predicate Pullups [pdf]

ImPlot: Advanced 2D Plotting for Dear ImGui

Highlights from FCCM 2020

Rust Verification Tools

Idris 2: Quantitative Type Theory in Action

Software Verification Literature Review

Numerical Behavior of the NVIDIA Tensor Cores

A History of Nvidia Stream Multiprocessors

peepmatic: a DSL and compiler for peephole optimizers for Cranelift

Reducing jitter on Linux with task isolation

73
74
75
76
77
78
79
80
81
82