Symbolics XL1200 Repairs

The console for my Symbolics XL1200 survived but beam adjustment is a bit off. The special cable connecting the console to the workstation got lost too. I asked David Schmidt for a replacement. Meanwhile I'll tinker with the console using the field manual for the Symbolics 3600.

Click here to download:
Symbolics_3600_Series_Basic_Field_Maint_Jul86.pdf (18.25 MB)
(download)

The Byzantine Generals Problem

Click here to download:
byzantine-generals-problem.pdf (1.19 MB)
(download)

I'm designing a new distributed system for a customer which unlike the legacy system will have to scale horizontally. And of course we run into a lot of classic design problems when building a distributed system. The Lamport, Shostak, Pease paper is a classic and worth reading again.

 

The Declarative Imperative: Experiences and Conjectures in Distributed Logic

Click here to download:
The-Declarative-Imparative-EECS-2010-90.pdf (227 KB)
(download)

Paper recommended by Coda Hale and Ryan Kennedy of Yammer.

I can also recommend their Riak and Scala at Yammer presentation.

Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller

Click here to download:
robust-composition-mark.s.miller-thesis-current.pdf (1.79 MB)
(download)
Mark S. Miller did some deep thinking about security and the web. Back in the Xanadu days he worked together with Mark Stiegler. Stiegler later developed CapDes wrote the novel Earthweb about idea futures and reputation systems.