david.garden

Recent Resource

Modeling a clock tree in QEMU
Oct 08, 2026
CPU loop
Sep 01, 2026
QEMU IRQ
Aug 31, 2026

See 43 more →

Recent Project

Atomic Commit in SQLite
Oct 16, 2026
Write-Ahead Logging
Oct 16, 2026
QBOX
Jul 15, 2026

See 23 more →

Recent Area

How to track who is sending SIGKILL to a process
Sep 14, 2026
AI Agent 成为抽象层的问题
Sep 03, 2026
Pi vs DeepSeek Harness
Sep 03, 2026
Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026

See 125 more →

❯

❯

Leslie Lamport Writing Web

Leslie Lamport Writing Web

Feb 25, 20261 min read

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

Recent Resource

Modeling a clock tree in QEMU
Oct 08, 2026
CPU loop
Sep 01, 2026
QEMU IRQ
Aug 31, 2026

See 43 more →

Recent Project

Atomic Commit in SQLite
Oct 16, 2026
Write-Ahead Logging
Oct 16, 2026
QBOX
Jul 15, 2026

See 23 more →

Recent Area

How to track who is sending SIGKILL to a process
Sep 14, 2026
AI Agent 成为抽象层的问题
Sep 03, 2026
Pi vs DeepSeek Harness
Sep 03, 2026
Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026

See 125 more →

Graph View

Backlinks

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

Created with Quartz v4.5.1 © 2026

GitHub