Articles by ingve
5

C++26: Standard Library Hardening (sandordargo.com)

26

SQL: Incorrect by Construction (chreke.com)

1

I lost a database and learned to use AI (aran.dev)

1

Go fuzzing was missing half the toolkit. We forked the toolchain to fix it (trailofbits.com)

3

Cplt: Run AI coding agents or a plain shell inside a kernel-level sandbox (github.com/navikt)

3

Zig vs. Rust in 2026 (zackoverflow.dev)

1

Piping terminal output to the browser using systemfd (izissise.net)

1

Watching for File Changes on macOS (alexwlchan.net)

1

A Tour of Txtar (rednafi.com)

1

Fighting Hyrum's Law in LLVM (maskray.me)

1

The Return of the Unix Workstation (Now with AI) (jasoneckert.github.io)

1

The Memex Method (pluralistic.net)

9

VGA Memory Access Is Complicated (os2museum.com)

2

Platform Engineering End-to-End (lucavall.in)

5

The agent principal-agent problem (crawshaw.io)

67

Mythical Man Month (martinfowler.com)

2

Pure-Swift, cross-platform reimplementations of CLI tools for working with repos (github.com/cocoanetics)

3

Solod v0.1: Go ergonomics, practical stdlib, native C interop (antonz.org)

3

Running a Local LLM Coding Server on MacBook Pro M5 Pro 48 GB (kulman.sk)

2

Concurrent, atomic MSI hash tables (nullprogram.com)

2

High Throughput, Low Completion (cate.blog)

113

Lessons for Agentic Coding: What should we do when code is cheap? (dbreunig.com)

17

How do I inform Windows that I'm writing a binary file? (devblogs.microsoft.com/oldnewthing)

1

Computer Science, Software Engineering, and Vibe Coding (compsciforvibing.substack.com)

1

Text Files as a User Interface (ratfactor.com)

2

Designing Microkernel IPC (seiya.me)

1

SwiftScript: Tree-walking interpreter, library and CLI for Swift (github.com/cocoanetics)

1

Using Playwright to test my static sites (alexwlchan.net)

1

Microtonal Sid Music? Angine de Poitrine Bassline in C64 Basic [video] (youtube.com)

46

Running Adobe's 1991 PostScript Interpreter in the Browser (pagetable.com)

1

The Tiny Languages of Task Runners (massicotte.org)

1

Learning my lesson that Python virtual environments aren't always movable (utcc.utoronto.ca)

2

A text editor as a user interface (ratfactor.com)

2

Thoughts on WebAssembly as a Stack Machine (thegreenplace.net)

2

Extending Ruzzy with LibAFL (trailofbits.com)

7

Building a Basic Cache with SQLite (alexwlchan.net)

2

Virtualisation on Apple Silicon Macs is different (eclecticlight.co)

2

You can beat the binary search (lemire.me)

1

Untyped, on Purpose (intertwingly.net)

1

Implementation of the Carrier Pigeon Internet Protocol, RFC1149, 25 Years Later (bsdly.blogspot.com)

1

Using group theory to explore the space of positional encodings for attention (janestreet.com)

2

SwiftBash: Pure-Swift, sandboxed bash interpreter (github.com/cocoanetics)

2

Filestash: Open-Source Platform for File Sharing/Document Management/Archiving (filestash.app)

3

Maybe you should learn something (marginalia.nu)

20

Who Asked for This? (calnewport.com)

2

Two Compilers, One Moment (intertwingly.net)

57

[flagged] What's missing in the 'agentic' story: a well-defined user agent role (mnot.net)

2

Some data on the shape of the forgetting curve (natemeyvis.com)

49

Martin Galway's music source files from 1980's Commodore 64 games (github.com/martingalway)

27

8087 Emulation on 8086 Systems (os2museum.com)

1

Static Types for Dynamic Targets (intertwingly.net)

1

Trailmark Turns Code into Graphs (trailofbits.com)

1

Debugging WASM in Chrome DevTools (thegreenplace.net)

1

Inter-Process Remote Execution: Low-latency IPC/RPC using merged address spaces (libriscv.no)

220

GitHub CLI now collects pseudoanonymous telemetry (cli.github.com)

6

The invisible engineering behind Lambda's network (allthingsdistributed.com)

100

XOR'ing a register with itself is the idiom for zeroing it out. Why not sub? (devblogs.microsoft.com/oldnewthing)

1

What we learned using AI agents to refactor a monolith (1password.com)

1

256 Lines or Less: Test Case Minimization (matklad.github.io)

1

How did code handle 24-bit formats with video cards with bank-switched memory? (devblogs.microsoft.com/oldnewthing)

26

Highlights from Git 2.54 (github.blog)

2

What's that "structured" in Structured Concurrency? (macguru.dev)

2

Accepted proposal: UUID in the Go standard library (rednafi.com)

8

Why I de-Googled (kevinboone.me)

3

20000 Gates and 20 MIPS [pdf] (bitsavers.org)

3

Tiny Go and Rust programs appear to start equally fast (on some machines) (utcc.utoronto.ca)

1

Today I shipped 20 apps and a screensaver (gingerbeardman.com)

2

Mystery Cpuid Bit (os2museum.com)

6

We beat Google's zero-knowledge proof of quantum cryptanalysis (trailofbits.com)

2

Multi merge sort, or when optimizations aren't (nibblestew.blogspot.com)

3

Does your DSL little language need operator precedence? (utcc.utoronto.ca)

87

Android CLI: Build Android apps 3x faster using any agent (googleblog.com)

2

Who even uses jemalloc in 2026 anyway? (theconsensus.dev)

5

Parkinson's (tidyfirst.substack.com)

2

Floating Point Fun on Cortex-M Processors (danielmangum.com)

7

Zero-Copy Pages in Rust: Or How I Learned to Stop Worrying and Love Lifetimes (redixhumayun.github.io)

3

An Arm Mainboard for the Framework Laptop (jeffgeerling.com)

2

Plain Text Accounting and Financial Reporting (ztoz.blog)

3

Comparing Compression Tools (arp242.net)

3

How an SSD Works: An Introduction to Quantum Physics (thecoder.cafe)

1

Terminator: Code You See Onscreen [video] (youtube.com)

1

Microsoft Raises the Prices of All Surface Devices Due to Memory Costs (thurrott.com)

2

The Global API Injection Pattern (elbeno.com)

1

Syntonic Dentiforms Redux (aras-p.info)

1

Adventures in Slop: Can an AI Agent Generate Web Traffic? (tomdalling.com)

1

Fun with an indecisive AI coding agent (benhoyt.com)

2

Revisiting and Optimising go-iso8601-duration (xnacly.me)

3

In defense of GitHub's poor uptime (evanhahn.com)

2

Auditing my local Python packages (alexwlchan.net)

3

AuRevoir: View/remove notification messages from Apple's Notification Database (github.com/objective-see)

1

Watgo: WebAssembly Toolkit for Go (thegreenplace.net)

4

There's a Good Reason You Can't Concentrate (nytimes.com)

1

Fewer Computers, Fewer Problems: Going Local with Builds and Deployments (jim-nielsen.com)

4

Amazon is ending support for older Kindles and Kindle Fires (theverge.com)

6

C++: Freestanding Standard Library (sandordargo.com)

1

The Value of a Performance Oracle (wingolog.org)

10

Investigating Split Locks on x86-64 (chipsandcheese.com)

2

AI "Guardrails" Are Just Suggestions (atomicobject.com)

1

Running AI agents safely in a microVM using Docker sandbox (andrewlock.net)

1

58% of PRs in our largest monorepo merge without human review (vercel.com)