david.garden

Recent Resource

CodeBase overview
Jul 09, 2026
QEMU Dev Start[youtube] notes
Jul 09, 2026
QEMU Memory Model
Jul 04, 2026

See 39 more →

Recent Project

QBOX
Jul 15, 2026
rpclib (msgpack)
Jul 14, 2026
Notes about DTS
Jun 14, 2026

See 20 more →

Recent Area

cmake_cpm
Jul 15, 2026
CMake Presets
Jul 15, 2026
First Concepts not SFINAE
Jul 15, 2026
faster compile
Jul 12, 2026
Emacs
Mar 11, 2026

See 112 more →

❯

❯

Leslie Lamport Writing Web

Leslie Lamport Writing Web

Feb 25, 20261 min read

https://lamport.azurewebsites.net/pubs/pubs.html

Recent Resource

CodeBase overview
Jul 09, 2026
QEMU Dev Start[youtube] notes
Jul 09, 2026
QEMU Memory Model
Jul 04, 2026

See 39 more →

Recent Project

QBOX
Jul 15, 2026
rpclib (msgpack)
Jul 14, 2026
Notes about DTS
Jun 14, 2026

See 20 more →

Recent Area

cmake_cpm
Jul 15, 2026
CMake Presets
Jul 15, 2026
First Concepts not SFINAE
Jul 15, 2026
faster compile
Jul 12, 2026
Emacs
Mar 11, 2026

See 112 more →

Graph View

Backlinks

Time, Clocks, and the Ordering of Events in a Distributed System

Created with Quartz v4.5.1 © 2026

GitHub