Stories by ingve

Working on the “Web” Browser for the MEGA65

Porting Digital Research's seminal 1977 operating system CP/M to the 6502

Checking statistical properties of protocols using TLA+

Biren’s BR100: A Machine Learning GPU from China

GNU Indirect Function

GNU Indirect Function and x86 ELF ABIs

On “correct and efficient work-stealing for weak memory models”

From Paxos to BFT

The Hype Cycle of OOP

Making the most of Apple Silicon power: M-series chips are different

Trimmer: Context-Specific Code Reduction [pdf]

Linux Kernel ASLR Implementation

Covid may have pushed a leading seasonal flu strain to extinction

DangZero: Efficient Use-After-Free Detection via Direct Page Table Access [pdf]

Serving static files and web apps in Go

Hurricane-names-by-oil-company-CEO: Giving credit where credit is due

Jc: CLI tool that converts output of popular command-line tools to JSON

Introduction to the Theory of Programming Languages (1991)

Cosmodoc: 141K words about how the DOS game Cosmo’s Cosmic Adventure worked

Id3vx: Library for parsing and encoding ID3 tags