Stories by matt_d

Modern Macros

ARMore: Pushing Love Back into Binaries [pdf]

D2X: An eXtensible conteXtual Debugger for Modern DSLs

Modularizing ISA Specifications

TLB Hit: Parsers Podcast

Continuation-Passing to Direct Style: Typed and Tight

Clocks in Digital Circuits

Advent of Computing: Episode 102 – Application of Ada

The Iowa Type Theory Commute Podcast: Verified Memory Management

Formal Verification of Just-in-Time Compilation

Stepwise Debugging for Hardware Accelerators [pdf]

Aquascope: Interactive visualizations of Rust at compile-time and run-time

Designing Access Methods: The RUM Conjecture

core-v-wally: Configurable RISC-V Processor

Top byte ignore for fun and memory savings

Typed-Untyped Interactions: A Comparative Analysis

Calendrical C++: std:chrono, History, Mathematics and the Computus

Advent of Computing: Episode 101 – Origins of Ada

A Multi-Threaded Fast Hardware Compiler for HDLs [pdf]

Low-Level Software Security for Compiler Developers

52 53 54 55 56 57 58 59 60 61