Stories by ingve

Undisembodying Recorded Music

Verification = TCB/PB Reduction

Crefl: Runtime library and compiler plug-in to support reflection in C

CO673/CS794: Optimization for Data Science

Perverse Downstream Consequences of Debunking

What are the page sizes used by Windows on various processors?

Arbitrary Code Execution in the Universal Turing Machine

The Super Nintendo SA-1 Demo cartridge has been dumped and released

Adding ANSI C11 C compiler to D so it can import and compile C files directly

Objective-S: architecture-oriented language based on Smalltalk and Objective-C

Commodore’s Assemblers: Overview

General Guide for Exploring Large Open Source Codebases

I try not to make unlikable software (and features)

Unintended Instructions on x86

C++: Removing an empty base class can break ABI

PatchELF: Simple utility for modifying existing ELF executables and libraries

Towards an HD44780-Based Video Mode

A Unified Theory of Garbage Collection [pdf]

Reimagining Apple’s Documentation

Reticle: Virtual Machine for Programming Modern FPGAs [pdf]