The Writings of Leslie Lamport (2026) (lamport.azurewebsites.net) 1 points by locknitpicker 1mo ago ↗ HN
1 comment
[ 4.5 ms ] story [ 14.0 ms ] thread