paxos

5 notes carry this tag — 1 claim, 1 observation, 1 question, 1 capture, 1 essay. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

beside the joke

essay drafting 2026-09-04 · internet-history, arpanet, chatbots, eliza, parry

Everything else

Vint Cerf's 1973 RFC recording a chatbot-vs-chatbot ARPANET conversation shares the vault's 'serious CS work wrapped in a joke' pattern with Lamport's Paxos allegory — with the opposite reception outcome

capture promoted Tier 1 2026-09-04 · internet-history, arpanet, chatbots, eliza, parry
Cerf's 1973 RFC 439 and Lamport's Paxos allegory are the vault's two documented cases of serious computer-science work framed as a joke — with mirrored reception outcomes

observation seedling Tier 1 2026-09-04 · cross-domain-bridge, history-of-cs, distributed-systems, paxos, leslie-lamport
Lamport wrote Paxos as a Greek-parliament allegory, and reviewers read it as a joke — delaying the algorithm's publication from 1990 to 1998

claim seedling Tier 1 2026-07-09 · distributed-systems, consensus, paxos, lamport, priority-myth
Verify Lamport's own account of the Paxos / 'Part-Time Parliament' rejection and 1990→1998 publication delay

question answered 2026-07-09 · verification, paxos, lamport, distributed-systems, history-of-cs