Stories by JNRowe

Reproducible Software Releases

Writing your own C++ standard library from scratch

Getting precise timings out of RS-232 output

Extrinsic termination proofs for well-founded recursion in Lean

Sum Types and Subtypes and Unions

Flathub Safety: A Layered Approach from Source to User

The secret maze of Debian images

Supercharge Your Installs with apt-eatmydata: Who Needs Crash Safety Anyway?

Surnames from nicknames nobody has any more

What's new in GTK, winter 2025 edition

An introduction to Cabal Hooks for package authors

Writing a formatter has never been so easy: a Topiary tutorial

Making Life Harder with GADTs

Linux 6.13, I WANT A GUITAR PEDAL

Blocking comment spammers on an Ikiwiki blog

Flatpak 1.16 Is Out

Measuring Code Size and Performance

Investigating the popularity of Python build back ends over time (II)

A Brimful of ASHA

Solving Advent of Code "Seating System" with Comonads and Stencils

1
2
3
4
5
6
7
8
9
10