Stories by matt_d

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

Design & Implementation of a Verified File System with End-to-End Data Integrity

Check for borrows in bitwise operations

Build simple fuzzer – part 3

Verified sequential malloc/free [pdf]

Here We Go Again: Why Is It Difficult for Developers to Learn Another Prog Lang?

61
62
63
64
65
66
67
68
69
70