Stories by ingve

Correctness and Safety Testing of Stateful Systems

Xcode Through the Years

The Curious Case of Dropbox and macOS 12.3

Open Sourcing the App Engine Standard Java Runtime

Performance Optimizations for the Shell Prompt

Can we objectively measure beauty and legibility?

Rendering a triangle using Vulkan and Rust

Understanding Nix's String Context

Building a better BERT: achieving 2x training speed with GroupBERT

Destroy All Values: Designing Deinitialization in Programming Languages

A Simple Task Management System That Works

W2c2: Translate WebAssembly Modules to C

Update on the Bagel language

Bootloader Basics

How you can’t promote threads on an M1

Which Programming Paradigm Gives the Most Expressive Code?

Show and tell: my old tech books

Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation [pdf]

Ketman Assembly Language Tutorial

Cheap EMUlator: lightweight multi-architecture assembly playground