PinnedGregory TerzianAn afternoon in the park with 杜可風 — Christopher Doyle, Shanghai, 2021On a sunny mid-autumn afternoon in Shanghai, Christopher Doyle, also known by his Chinese name 杜可風(“like the wind”), was enjoying the…2 min read·Dec 10, 2021----
Gregory TerzianTalk at GOSIM Europe May 2024I will hold a talk at Gosim 2024, May 6 at 15:10, on Modularity in Servo:1 min read·5 days ago--1--1
Gregory TerzianWhy TLA+ is important(for concurrent programming)Sometimes, one is asked why TLA+ is useful, in particular in the light that “it cannot verify code.”6 min read·Apr 23, 2024--1--1
Gregory TerzianUnderstand Viewstamped Replication with Rust, Automerge, and TLA+Viewstamped Replication is the underdog of consensus algorithms: invented just before Paxos, and revisited in 2012, it so far missed the…7 min read·Nov 26, 2023----
Gregory TerzianUnderstand Paxos with Rust, Automerge, and TLA+ — Part 3: Multi-Decree.In the first part of this series, we went over the single-decree synod algorithm of Paxos. In the second part we discussed a mechanism for…5 min read·Oct 18, 2023----
Gregory TerzianUnderstand Paxos with Rust, Automerge, and TLA+ — Part 2: ElectionOne way of doing election in Paxos8 min read·Oct 2, 2023----
Gregory TerzianUnderstand Paxos with Rust, Automerge, and TLA+ — Part 1: The Synod.What a computing device does next depends on its current state, not on what steps it took in the past. Leslie Lamport, in Teaching…12 min read·Sep 25, 2023----
Gregory TerzianDistributing Lamport’s bakery with Automerge, and a touch of TLA+Leslie Lamport discovered the the Bakery Algorithm in 1974 as an alternative solution to Edsger W. Dijkstra’s mutual exclusion problem…10 min read·Jul 28, 2023----
Gregory TerzianModelling Guido’s Semaphore in TLA+The other day, I wanted to see what Python’s creator Guido van Rossum had been up-to, and so I read some of his latest blog articles. I was…6 min read·May 27, 2023----
Gregory TerzianinThe Web Platform ExplainedThe Management of the WebAs running software, the Web is represented by three browser engines: Webkit, Chromium, and Gecko. Each of these is owned by a corporation…2 min read·Apr 6, 2023----