Stories by fanf2

ZeroVer: 0-Based Versioning

Far too many ways to wait on a child process with a timeout

Gorton Recreations

Formal mechanised semantics of CHERI C: capabilities, undefined behaviour, and p

Advanced TypeScript Types (2021)

The network is reliable? An informal survey of real-world communications failure

For want of a relative path to ld.so

A security analysis of STARTTLS in email protocols

SSH Agent Restriction

Writing to the macOS clipboard the hard way

Get a random selection of lines in a file using reservoir sampling in Rust

Sealed Capability Types for CHERIoT

A practical comparison of build and test speed between C++ and Rust

Algol 68: A Retrospective

The solid-state register allocator

Conway's law: how do committees invent?

IPCC-downloader: download iOS cellular carrier profiles

Small-data computing: Hans-J Boehm's correct calculator arithmetic

45
46
47
48
49
50
51
52
53
54