Stories by ingve

Make the iPad more like the Mac: What I learned using macOS on the iPad Pro

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation

Lessons from One Year of Bootstrapping

SuperGloo: Open-Source Service Mesh Orchestration Platform

C++: Guaranteed Copy Elision Does Not Elide Copies

Tapir: Typed API Descriptions

Pijul: distributed version control system based on a sound theory of patches

Unix is Dead

Netflix Information Security: Preventing Credential Compromise in AWS

Updates in D Land

Using errors as control flow in Swift

Comparing Kotlin Performance with Graal and C2

How to refurbish legacy code into a maintainable state

Exploring the Pippin ROM(s)

On Self-Publishing “A Programmer’s Introduction to Mathematics”

When Self-Help Just Makes Your Life Worse

Types and Implicity

Compiling Clang from Scratch

The Road to Code: An Interview with Brad Cox, the Man Behind Objective-C

Brain, refactored