Stories by ingve

(Unix) Directory traversal and symbolic links

Journal: CLI for Journaling to Structured Data

The Widgetification of Apple

Detecting whether a tree-like data structure contains a cycle

I was wrong, 80 characters is fine

Future-Proofing Evernote’s Foundations

Toolchain Notes on MIPS

A Test Suite for the Intel 8088

A Test Suite for the Intel 8088

DTrace at 20

Leaving GitHub

Mastering curl: interactive text guide

Locating ‘identifiers’ quickly (ARM NEON edition)

“The Computer” by Jens Müller and Julius Wiedemann

Performance Through Memory Layout

How to write correct code by construction using the Coq Proof Assistant

Randomised trial of psychiatrists' personal vs. professional perspectives

RIP, WordPad

Adding a cooling fan to the Commodore 128DCR

Cancellation in Concurrency