Stories by matt_d

Simple Data Structures

8bitworkshop IDE: Designing Hardware with Verilog

Searching statically-linked vulnerable library functions in executable code

Removing a recursion in Python, part 2 (implementing continuation passing style)

On the Architecture of a (Verifying) Compiler

Never Again: Spectre-Proofing Chip Designs with End-To-End Formal Methods

9cc: A Small C Compiler

Gradual Typing: A New Perspective [pdf]

Donald Knuth's 24th Annual Christmas Lecture: Dancing Links

Can a compiler guarantee multi-owner memory safety?

Gems of Corrado Böhm

Guaranteed Copy Elision Does Not Elide Copies

Breaking Down Barriers – Part 6: Experimenting with Overlap and Preemption

Register Allocation: More Than Coloring – 2018 LLVM Developers’ Meeting

How Approximate Model Counting Works

You are a Program Synthesizer

FWRISC (Featherweight RISC-V): Sizing Up the RISC-V Architecture

A Bug-Free RISC-V Core Without Simulation

RISC-V ASM Tutorial Collection – Western Digital

The Swiss Army Knife of Hashmaps

115 116 117 118 119 120 121 122 123 124